Struct snapps_txn_reference_impl::pickles::Proof

pub struct Proof {}

Zero-knowledge proofs in the pickles recursive proof system.

Implementations

impl Proof

pub fn verify(proof: Proof, verification_key: VerificationKey) -> bool

Verify that a pickles proof is valid according to the given verification key.

Must return true if and only if the proof has valid form and passes all checks defined in the specification of the pickles recursive proof system.

Trait Implementations

impl Clone for Proof

fn clone(&self) -> Proof

Returns a copy of the value.

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

Performs copy-assignment from source.