dig_slashing/evidence/
mod.rs

1//! Evidence-domain types + verification.
2//!
3//! Traces to: [SPEC.md §3, §5](../../docs/resources/SPEC.md), catalogue rows
4//! DSL-001..DSL-021 + DSL-157..DSL-158.
5//!
6//! This module owns the offense catalogue, evidence envelopes, attestation
7//! data model, and per-offense deterministic verifiers. Every public type
8//! here is consumed by the lifecycle, appeal, and REMARK modules but does
9//! NOT depend on them (one-way edge).
10
11pub mod attestation_data;
12pub mod attester_slashing;
13pub mod checkpoint;
14pub mod envelope;
15pub mod indexed_attestation;
16pub mod invalid_block;
17pub mod offense;
18pub mod proposer_slashing;
19pub mod verify;
20
21pub use attestation_data::AttestationData;
22pub use attester_slashing::AttesterSlashing;
23pub use checkpoint::Checkpoint;
24pub use envelope::{SlashingEvidence, SlashingEvidencePayload};
25pub use indexed_attestation::IndexedAttestation;
26pub use invalid_block::{InvalidBlockProof, InvalidBlockReason};
27pub use offense::OffenseType;
28pub use proposer_slashing::{ProposerSlashing, SignedBlockHeader};
29pub use verify::{
30    VerifiedEvidence, block_signing_message, verify_attester_slashing, verify_evidence,
31    verify_evidence_for_inclusion, verify_invalid_block, verify_proposer_slashing,
32};
dig_slashing/evidence/mod.rs

dig_slashing/evidence/
mod.rs
