Enum ProofPayload 

#[repr(C)]
pub enum ProofPayload {
    Hash {
        hash: [u8; 32],
    },
    MerkleWitness {
        root: [u8; 32],
        leaf_index: u32,
        path_len: u8,
        path: [[u8; 32]; 32],
    },
    CoherenceCert {
        score_before: u16,
        score_after: u16,
        partition_id: u32,
        signature: [u8; 64],
    },
}

Proof payload containing the actual proof data.

The kernel verifies the proof payload according to the tier.

Variants

Hash

Hash check payload for Reflex tier. Contains a 32-byte hash of the mutation.

Fields

hash: [u8; 32]

SHA-256 hash of the mutation data.

MerkleWitness

Merkle witness for Standard tier. Contains the Merkle path from leaf to root.

Fields

root: [u8; 32]

Root hash of the Merkle tree.

leaf_index: u32

Leaf index in the Merkle tree.

path_len: u8

Number of path elements (max 32 for depth-32 tree).

path: [[u8; 32]; 32]

Path elements (siblings along the path). Only first path_len elements are valid.

CoherenceCert

Coherence certificate for Deep tier. Contains coherence scores and partition metadata.

Fields

score_before: u16

Coherence score before mutation (0.0-1.0 as u16, 0-10000).

score_after: u16

Expected coherence score after mutation.

partition_id: u32

Partition ID affected by the mutation.

signature: [u8; 64]

Signature over the coherence data.

Trait Implementations

impl Clone for ProofPayload

fn clone(&self) -> ProofPayload

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofPayload

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

Formats the value using the given formatter.

impl Default for ProofPayload

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for ProofPayload

fn eq(&self, other: &ProofPayload) -> 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 Copy for ProofPayload

impl Eq for ProofPayload

impl StructuralPartialEq for ProofPayload