Struct SubtreeAuditChallenge 

pub struct SubtreeAuditChallenge {
    pub challenge_id: u64,
    pub nonce: [u8; 32],
    pub challenged_peer_id: [u8; 32],
    pub expected_commitment_hash: [u8; 32],
}

Gossip-triggered contiguous-subtree storage audit challenge (ADR-0002).

The auditor pins the commitment a peer just gossiped and sends a fresh random nonce. The nonce alone deterministically selects one contiguous subtree of the peer’s committed Merkle tree (see crate::replication::subtree::select_subtree_path); the auditor does not name keys. The responder must reply with a SubtreeAuditResponse::Proof for that selected subtree against the pinned commitment, or a SubtreeAuditResponse::Rejected if it genuinely cannot (for a recently gossiped pinned commitment a rejection is a confirmed failure, since the responder retains its last two gossiped commitments).

Fields

challenge_id: u64

Unique challenge identifier.

nonce: [u8; 32]

Random nonce. Selects the subtree AND freshens each leaf’s possession hash, so a stored answer cannot be replayed.

challenged_peer_id: [u8; 32]

Challenged peer ID. Bound into each leaf’s possession hash.

expected_commitment_hash: [u8; 32]

The auditor’s pin: the crate::replication::commitment::commitment_hash of the commitment the peer just gossiped. The response’s commitment must hash to exactly this value.

Trait Implementations

impl Clone for SubtreeAuditChallenge

fn clone(&self) -> SubtreeAuditChallenge

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SubtreeAuditChallenge

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SubtreeAuditChallenge

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SubtreeAuditChallenge

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

where __S: Serializer,

Serialize this value into the given Serde serializer.