Struct ZkpProof 

pub struct ZkpProof {
    pub data: Vec<u8>,
    pub proof_type: ProofType,
    pub security_level: u32,
    pub metadata: ProofMetadata,
}

A zero-knowledge proof

Fields

data: Vec<u8>

The proof data (serialized STARK proof)

proof_type: ProofType

The proof type

security_level: u32

Security level

metadata: ProofMetadata

Proof-specific metadata (required for verification)

Implementations

impl ZkpProof

pub fn from_stark_proof<C>( proof: &Proof<C>, metadata: ProofMetadata, ) -> Result<ZkpProof, Error>

where C: StarkGenericConfig, Proof<C>: Serialize,

Serialize a STARK proof into a ZkpProof with metadata

All proofs must include metadata for proper verification. This method is used internally by the high-level API functions.

pub fn to_stark_proof<C>(&self) -> Result<Proof<C>, Error>

where C: StarkGenericConfig, Proof<C>: for<'de> Deserialize<'de>,

Deserialize a ZkpProof into a STARK proof

pub fn merkle_tree_depth(&self) -> Option<u8>

Get the tree depth from Merkle inclusion proof metadata

Returns Some(depth) if this is a Merkle inclusion proof with metadata, None otherwise.

Trait Implementations

impl Clone for ZkpProof

fn clone(&self) -> ZkpProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ZkpProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ZkpProof

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ZkpProof

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.