dig-slashing 0.1.0

Validator slashing, attestation participation, inactivity accounting, and fraud-proof appeals for the DIG Network L2 blockchain.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

//! Continuous inactivity accounting (Ethereum Bellatrix parity).
//!
//! Traces to: [SPEC ยง9](../../../docs/resources/SPEC.md),
//! catalogue rows
//! [DSL-087..093](../../../docs/requirements/domains/inactivity/specs/).
//!
//! # Role
//!
//! Inactivity-leak regime detection + per-validator score
//! accumulation. Activates when finality stalls beyond
//! `MIN_EPOCHS_TO_INACTIVITY_PENALTY` and zero-resets scores
//! on recovery.
//!
//! # Scope (incremental)
//!
//! Module grows one DSL at a time. First commit lands DSL-087
//! (`in_finality_stall` threshold). Future DSLs add:
//!
//!   - DSL-088: `InactivityScoreVec` storage
//!   - DSL-089: per-epoch accumulate
//!   - DSL-090: recovery reset
//!   - DSL-091: penalty formula
//!   - DSL-092: leak-only gate
//!   - DSL-093: post-stall zero penalties

pub mod penalty;
pub mod score;

pub use penalty::in_finality_stall;
pub use score::InactivityScoreTracker;