Enum OffenseType 

pub enum OffenseType {
    ProposerEquivocation,
    InvalidBlock,
    AttesterDoubleVote,
    AttesterSurroundVote,
}

The four slashable consensus offenses.

Per SPEC §3.2, a validator can be slashed for exactly one of these reasons on the DIG L2 blockchain. Inactivity leak is NOT a slashable event — it is continuous accounting (see InactivityScoreTracker, SPEC §9).

Variants

ProposerEquivocation

Validator signed two different blocks at the same slot.

Evidence: two SignedBlockHeaders with matching slot and proposer_index but different message hashes, both with valid BLS signatures under the validator’s pubkey. Verified by verify_proposer_slashing (DSL-013).

InvalidBlock

Validator proposed a block that fails canonical validation.

Evidence: one SignedBlockHeader plus a failure witness that the consensus layer (via InvalidBlockOracle, DSL-020) can reproduce. Verified by verify_invalid_block (DSL-018..020).

AttesterDoubleVote

Validator cast two attestations with the same target epoch but different data — “double vote” in Ethereum terminology.

Evidence: two IndexedAttestations with a.data.target.epoch == b.data.target.epoch && a.data != b.data, both aggregate-signed by an overlapping committee. Verified by verify_attester_slashing double-vote predicate (DSL-014).

AttesterSurroundVote

Validator’s attestations form a surround vote — one’s FFG span strictly contains the other’s.

Evidence: two IndexedAttestations where a.source.epoch < b.source.epoch && a.target.epoch > b.target.epoch (or the mirror). Verified by verify_attester_slashing surround-vote predicate (DSL-015).

Implementations

impl OffenseType

pub const fn base_penalty_bps(&self) -> u16

Base penalty in basis points (10_000 = 100%) for this offense.

Implements DSL-001. Traces to SPEC §2.1 (BPS constants) and SPEC §3.2 (mapping table).

Returns

Variant	Return value	Source constant
ProposerEquivocation	500	EQUIVOCATION_BASE_BPS
InvalidBlock	300	INVALID_BLOCK_BASE_BPS
AttesterDoubleVote	100	ATTESTATION_BASE_BPS
AttesterSurroundVote	100	ATTESTATION_BASE_BPS

Invariants

• Return value < MAX_PENALTY_BPS (1_000) for every variant.
• Return value > 0 for every variant.

Both invariants are enforced by tests/dsl_001_offense_type_bps_mapping_test.rs.

Downstream consumers

• Base-slash formula in SlashingManager::submit_evidence (DSL-022): base_slash = max(eff_bal * base_penalty_bps() / 10_000, eff_bal / MIN_SLASHING_PENALTY_QUOTIENT).
• Reporter-penalty path in AppealAdjudicator (DSL-069): uses InvalidBlock BPS as the false-evidence cost.

Why a method, not a const

A method keeps the variant-to-BPS mapping a single source of truth that match exhaustiveness can defend. If a new OffenseType variant is ever added, the compiler refuses to build until base_penalty_bps() is updated — which is exactly the review point the protocol wants.

Trait Implementations

impl Clone for OffenseType

fn clone(&self) -> OffenseType

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for OffenseType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for OffenseType

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for OffenseType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for OffenseType

fn eq(&self, other: &OffenseType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for OffenseType

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for OffenseType

impl Eq for OffenseType

impl StructuralPartialEq for OffenseType