Default Collateral Is an easy implementation with the collateral token. Technically, it's a wrapper above any ERC-twenty token with added slashing background operation. This functionality is optional instead of expected normally. SLASHER is actually a mechanism of slashing in the network. It is made of rules and methods to check https://symbictic.com/