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

//! Evidence-domain types + verification.
//!
//! Traces to: [SPEC.md §3, §5](../../docs/resources/SPEC.md), catalogue rows
//! DSL-001..DSL-021 + DSL-157..DSL-158.
//!
//! This module owns the offense catalogue, evidence envelopes, attestation
//! data model, and per-offense deterministic verifiers. Every public type
//! here is consumed by the lifecycle, appeal, and REMARK modules but does
//! NOT depend on them (one-way edge).

pub mod attestation_data;
pub mod attester_slashing;
pub mod checkpoint;
pub mod envelope;
pub mod indexed_attestation;
pub mod invalid_block;
pub mod offense;
pub mod proposer_slashing;
pub mod verify;

pub use attestation_data::AttestationData;
pub use attester_slashing::AttesterSlashing;
pub use checkpoint::Checkpoint;
pub use envelope::{SlashingEvidence, SlashingEvidencePayload};
pub use indexed_attestation::IndexedAttestation;
pub use invalid_block::{InvalidBlockProof, InvalidBlockReason};
pub use offense::OffenseType;
pub use proposer_slashing::{ProposerSlashing, SignedBlockHeader};
pub use verify::{
    VerifiedEvidence, block_signing_message, verify_attester_slashing, verify_evidence,
    verify_evidence_for_inclusion, verify_invalid_block, verify_proposer_slashing,
};