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
31
32
33

//! Participation-flag accounting (Ethereum Altair parity).
//!
//! Traces to: [SPEC.md §3.10, §8](../../../docs/resources/SPEC.md),
//! catalogue rows
//! [DSL-074..086](../../../docs/requirements/domains/participation/specs/).
//!
//! # Role
//!
//! Tracks the three Ethereum Altair participation flags
//! (`TIMELY_SOURCE`, `TIMELY_TARGET`, `TIMELY_HEAD`) per
//! validator per epoch. Drives Ethereum-parity reward + penalty
//! computation for attestation inclusion.
//!
//! # Scope (incremental)
//!
//! Module grows one DSL at a time. First commit lands DSL-074
//! (the `ParticipationFlags` bitmask type). Future DSLs add:
//!
//!   - DSL-075..077: `classify_timeliness`
//!   - DSL-078..080: `ParticipationTracker` state machine
//!   - DSL-081..086: reward / penalty deltas

pub mod error;
pub mod flags;
pub mod rewards;
pub mod timeliness;
pub mod tracker;

pub use error::ParticipationError;
pub use flags::ParticipationFlags;
pub use rewards::{FlagDelta, base_reward, compute_flag_deltas, proposer_inclusion_reward};
pub use timeliness::classify_timeliness;
pub use tracker::ParticipationTracker;