Trait zkp_stark::Verifiable

pub trait Verifiable {
    fn constraints(&self) -> Constraints;

    fn verify(&self, proof: &Proof) -> Result<(), VerifierError> { ... }
}

Required methods

fn constraints(&self) -> Constraints

Loading content...

Provided methods

fn verify(&self, proof: &Proof) -> Result<(), VerifierError>

Loading content...

Implementors

Loading content...