Enum ProofMetadata 

pub enum ProofMetadata {
    None,
    MerkleInclusion {
        tree_depth: u8,
    },
    HashPreimage {
        output_size: u16,
    },
    HashPreimageNist {
        output_size: u16,
    },
    Circuit {
        num_witnesses: u32,
        num_public: u32,
    },
    Credential {
        attribute_sizes: Vec<u16>,
        reveal_mask: Vec<bool>,
    },
    Identity {
        dsa_level: u8,
    },
}

Metadata specific to different proof types

This enum stores proof-specific parameters that are required for verification. The metadata is serialized alongside the proof to make proofs self-describing.

All proofs must include appropriate metadata for their proof type.

Variants

None

No metadata (default variant, but proofs should use specific metadata types)

MerkleInclusion

Merkle tree inclusion proof metadata

Fields

tree_depth: u8

Depth of the Merkle tree (required for AIR reconstruction)

HashPreimage

Hash preimage proof metadata (Poseidon-128)

Fields

output_size: u16

Output size in bytes

HashPreimageNist

NIST hash preimage proof metadata (cSHAKE256)

Fields

output_size: u16

Output size in bytes (e.g. 32 for cSHAKE256)

Circuit

Circuit computation proof metadata

Fields

num_witnesses: u32

Number of witness values

num_public: u32

Number of public values

Credential

Credential proof metadata for selective disclosure

Fields

attribute_sizes: Vec<u16>

Serialized credential schema (attribute sizes in bytes)

reveal_mask: Vec<bool>

Reveal mask (which attributes are revealed: true = revealed, false = hidden)

Identity

Identity Token ownership proof metadata

Fields

dsa_level: u8

ML-DSA security level: 44, 65, or 87

Trait Implementations

impl Clone for ProofMetadata

fn clone(&self) -> ProofMetadata

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofMetadata

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

Formats the value using the given formatter.

impl Default for ProofMetadata

fn default() -> ProofMetadata

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ProofMetadata

fn deserialize<__D>( __deserializer: __D, ) -> Result<ProofMetadata, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ProofMetadata

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ProofMetadata

impl StructuralPartialEq for ProofMetadata