Struct PredicateProof 

pub struct PredicateProof {
    pub proof: Vec<u8>,
    pub vk: Vec<u8>,
}

A self-contained predicate proof: the compressed Groth16 proof plus the verifying key it was produced under (per-statement setup, see module docs). A verifier with only this struct and the public statement can check validity.

Fields

proof: Vec<u8>

Compressed arkworks Proof<Bls12_381> bytes.

vk: Vec<u8>

Compressed arkworks VerifyingKey<Bls12_381> bytes.

Implementations

impl PredicateProof

pub fn size_bytes(&self) -> usize

Total serialized size in bytes (proof + VK), useful for telemetry.

Trait Implementations

impl Clone for PredicateProof

fn clone(&self) -> PredicateProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PredicateProof

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

Formats the value using the given formatter.

impl PartialEq for PredicateProof

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

impl StructuralPartialEq for PredicateProof