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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132

//! # dig-slashing
//!
//! Validator slashing, attestation participation accounting, inactivity
//! accounting, and fraud-proof appeal system for the DIG Network L2 blockchain.
//!
//! Traces to: [SPEC.md](../docs/resources/SPEC.md) v0.4+.
//!
//! # Scope
//!
//! Validator slashing only. Four discrete offenses (`ProposerEquivocation`,
//! `InvalidBlock`, `AttesterDoubleVote`, `AttesterSurroundVote`). Continuous
//! inactivity accounting (Ethereum Bellatrix parity). Optimistic slashing
//! lifecycle with 8-epoch fraud-proof appeal window.
//!
//! DFSP / storage-provider slashing is **out of scope** — different
//! subsystem, different future crate.
//!
//! # Re-exports
//!
//! The crate root re-exports every public type and constant named in any
//! `DSL-NNN` requirement. Downstream consumers should import from here,
//! not from individual modules, to keep dependency edges clean.
//!
//! # Module layout
//!
//! - [`constants`] — protocol constants (BPS, quotients, domain tags)
//! - [`evidence`] — offense types, evidence envelopes, verifiers
//!
//! (Further modules land as their DSL-NNN requirements are implemented.)

pub mod appeal;
pub mod bonds;
pub mod constants;
pub mod error;
pub mod evidence;
pub mod inactivity;
pub mod manager;
pub mod orchestration;
pub mod participation;
pub mod pending;
pub mod protection;
pub mod remark;
pub mod system;
pub mod traits;

// ── Public re-exports (alphabetical within category) ────────────────────────

pub use appeal::{
    AppealAdjudicationResult, AppealRejectReason, AppealSustainReason, AppealVerdict,
    AttesterAppealGround, AttesterSlashingAppeal, BondSplitResult, ClawbackResult,
    InvalidBlockAppeal, InvalidBlockAppealGround, ProposerAppealGround, ProposerSlashingAppeal,
    ReporterPenalty, ShortfallAbsorption, SlashAppeal, SlashAppealPayload,
    adjudicate_absorb_clawback_shortfall, adjudicate_appeal, adjudicate_rejected_challenge_open,
    adjudicate_rejected_forfeit_appellant_bond, adjudicate_sustained_clawback_rewards,
    adjudicate_sustained_forfeit_reporter_bond, adjudicate_sustained_reporter_penalty,
    adjudicate_sustained_restore_status, adjudicate_sustained_revert_base_slash,
    adjudicate_sustained_revert_collateral, adjudicate_sustained_status_reverted,
    verify_attester_appeal_attestations_identical, verify_attester_appeal_empty_intersection,
    verify_attester_appeal_invalid_indexed_attestation_structure,
    verify_attester_appeal_not_slashable_by_predicate, verify_attester_appeal_signature_a_invalid,
    verify_attester_appeal_signature_b_invalid,
    verify_attester_appeal_validator_not_in_intersection,
    verify_invalid_block_appeal_block_actually_valid,
    verify_invalid_block_appeal_evidence_epoch_mismatch,
    verify_invalid_block_appeal_failure_reason_mismatch,
    verify_invalid_block_appeal_proposer_signature_invalid,
    verify_proposer_appeal_headers_identical, verify_proposer_appeal_proposer_index_mismatch,
    verify_proposer_appeal_signature_a_invalid, verify_proposer_appeal_signature_b_invalid,
    verify_proposer_appeal_slot_mismatch, verify_proposer_appeal_validator_not_active_at_epoch,
};
pub use bonds::{BondError, BondEscrow, BondTag};
pub use constants::{
    APPELLANT_BOND_MOJOS, ATTESTATION_BASE_BPS, BASE_REWARD_FACTOR, BLS_PUBLIC_KEY_SIZE,
    BLS_SIGNATURE_SIZE, BOND_AWARD_TO_WINNER_BPS, BPS_DENOMINATOR, DOMAIN_BEACON_ATTESTER,
    DOMAIN_BEACON_PROPOSER, DOMAIN_SLASH_APPEAL, DOMAIN_SLASHING_EVIDENCE, EQUIVOCATION_BASE_BPS,
    INACTIVITY_PENALTY_QUOTIENT, INACTIVITY_SCORE_BIAS, INACTIVITY_SCORE_RECOVERY_RATE,
    INVALID_BLOCK_BASE_BPS, MAX_APPEAL_ATTEMPTS_PER_SLASH, MAX_APPEAL_PAYLOAD_BYTES,
    MAX_APPEALS_PER_BLOCK, MAX_PENALTY_BPS, MAX_PENDING_SLASHES, MAX_SLASH_PROPOSAL_PAYLOAD_BYTES,
    MAX_SLASH_PROPOSALS_PER_BLOCK, MAX_VALIDATORS_PER_COMMITTEE, MIN_ATTESTATION_INCLUSION_DELAY,
    MIN_EFFECTIVE_BALANCE, MIN_EPOCHS_TO_INACTIVITY_PENALTY, MIN_SLASHING_PENALTY_QUOTIENT,
    PROPORTIONAL_SLASHING_MULTIPLIER, PROPOSER_REWARD_QUOTIENT, PROPOSER_WEIGHT,
    REPORTER_BOND_MOJOS, SLASH_APPEAL_REMARK_MAGIC_V1, SLASH_APPEAL_WINDOW_EPOCHS,
    SLASH_EVIDENCE_REMARK_MAGIC_V1, SLASH_LOCK_EPOCHS, TIMELY_HEAD_FLAG_INDEX, TIMELY_HEAD_WEIGHT,
    TIMELY_SOURCE_FLAG_INDEX, TIMELY_SOURCE_MAX_DELAY_SLOTS, TIMELY_SOURCE_WEIGHT,
    TIMELY_TARGET_FLAG_INDEX, TIMELY_TARGET_MAX_DELAY_SLOTS, TIMELY_TARGET_WEIGHT,
    WEIGHT_DENOMINATOR, WHISTLEBLOWER_REWARD_QUOTIENT,
};
pub use error::SlashingError;
pub use evidence::{
    AttestationData, AttesterSlashing, Checkpoint, IndexedAttestation, InvalidBlockProof,
    InvalidBlockReason, OffenseType, ProposerSlashing, SignedBlockHeader, SlashingEvidence,
    SlashingEvidencePayload, VerifiedEvidence, block_signing_message, verify_attester_slashing,
    verify_evidence, verify_evidence_for_inclusion, verify_invalid_block, verify_proposer_slashing,
};
pub use inactivity::{InactivityScoreTracker, in_finality_stall};
pub use manager::{FinalisationResult, PerValidatorSlash, SlashingManager, SlashingResult};
pub use orchestration::{
    EpochBoundaryReport, JustificationView, ReorgReport, rewind_all_on_reorg, run_epoch_boundary,
};
pub use participation::{
    FlagDelta, ParticipationError, ParticipationFlags, ParticipationTracker, base_reward,
    classify_timeliness, compute_flag_deltas, proposer_inclusion_reward,
};
pub use pending::{
    AppealAttempt, AppealOutcome, PendingSlash, PendingSlashBook, PendingSlashStatus,
};
pub use protection::SlashingProtection;
pub use remark::{
    BlockAdmissionReport, encode_slash_appeal_remark_payload_v1,
    encode_slashing_evidence_remark_payload_v1, enforce_block_level_appeal_caps,
    enforce_block_level_slashing_caps, enforce_slash_appeal_mempool_dedup_policy,
    enforce_slash_appeal_mempool_policy, enforce_slash_appeal_payload_cap,
    enforce_slash_appeal_remark_admission, enforce_slash_appeal_terminal_status_policy,
    enforce_slash_appeal_variant_policy, enforce_slash_appeal_window_policy,
    enforce_slashing_evidence_mempool_dedup_policy, enforce_slashing_evidence_mempool_policy,
    enforce_slashing_evidence_payload_cap, enforce_slashing_evidence_remark_admission,
    parse_slash_appeals_from_conditions, parse_slashing_evidence_from_conditions,
    process_block_admissions, slash_appeal_remark_puzzle_hash_v1,
    slash_appeal_remark_puzzle_reveal_v1, slashing_evidence_remark_puzzle_hash_v1,
    slashing_evidence_remark_puzzle_reveal_v1,
};
pub use system::{GenesisParameters, SlashingSystem};
pub use traits::{
    CollateralError, CollateralSlasher, EffectiveBalanceView, ExecutionOutcome, InvalidBlockOracle,
    ProposerView, PublicKeyLookup, RewardClawback, RewardPayout, ValidatorEntry, ValidatorView,
};

// Re-export the slash-lookback window from `dig-epoch` so downstream
// consumers do not need to pull the dep transitively to compute
// `OffenseTooOld` boundaries for tests or REMARK-admission policy.
// Per SPEC §2.7.
pub use dig_epoch::SLASH_LOOKBACK_EPOCHS;