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

//! REMARK wire encoding + on-chain admission helpers.
//!
//! Traces to: [SPEC §16](../docs/resources/SPEC.md).
//!
//! # Role
//!
//! Evidence and appeal payloads travel on-chain inside CLVM
//! `REMARK` conditions. This module owns the serialisation format,
//! the magic prefixes that namespace DIG slashing payloads
//! against foreign REMARK apps sharing the same on-chain
//! namespace, and the parser that the consensus / mempool layer
//! invokes on every block.
//!
//! # Scope (incremental)
//!
//! Opens Phase 6 REMARK Admission. Module grows one DSL at a
//! time. First commit lands DSL-102 — the evidence-side wire
//! encoder + parser. Future DSLs extend this surface:
//!
//!   - DSL-103: `slashing_evidence_remark_puzzle_reveal_v1`
//!   - DSL-104/105: admission preconditions (coin match / mismatch)
//!   - DSL-106..108: mempool policy (expiry, dupe, caps)
//!   - DSL-109: payload cap
//!   - DSL-110..120: full appeal-side parity
//!
//! # Submodules
//!
//! - [`evidence_wire`] — DSL-102 evidence encoder + parser
//!
//! Further submodules (`evidence_puzzle`, `appeal_wire`,
//! `appeal_puzzle`, `admission`, `policy`) land with their
//! DSL-NNN requirements.

pub mod admissions;
pub mod appeal_wire;
pub mod evidence_wire;
pub mod policy;

pub use admissions::{BlockAdmissionReport, process_block_admissions};
pub use appeal_wire::{
    encode_slash_appeal_remark_payload_v1, parse_slash_appeals_from_conditions,
    slash_appeal_remark_puzzle_hash_v1, slash_appeal_remark_puzzle_reveal_v1,
};
pub use evidence_wire::{
    encode_slashing_evidence_remark_payload_v1, parse_slashing_evidence_from_conditions,
    slashing_evidence_remark_puzzle_hash_v1, slashing_evidence_remark_puzzle_reveal_v1,
};
pub use policy::{
    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,
};