vac:tke::codex:contract-defaults § status: 0% CC: Frederico Description § Design of the slashing mechanism. Justification §