Skip to main content

Module protection

dig_slashing

Module protection 

Source
Expand description

Self-slashing protection for a single validator.

Traces to: SPEC §14, catalogue rows DSL-094..101.

§Role

SlashingProtection is a per-validator local-state struct that prevents a running validator from signing two messages that would slash itself on restart / fork-choice change. Lives on the validator’s machine, not the chain — purely advisory at the network level, but load-bearing at the single-validator level.

§Scope (incremental)

Module grows one DSL at a time. First commit lands DSL-094 (proposal-slot monotonic check). Future DSLs add:

  • DSL-095: attestation same-(src,tgt) different-hash check
  • DSL-096: would-surround self-check
  • DSL-097: record_proposal + record_attestation persistence
  • DSL-098: rewind_attestation_to_epoch
  • DSL-099/100/101: reorg, bootstrap, persistence details

Structs§

SlashingProtection
Per-validator local slashing-protection state.