Trait ergotree_interpreter::sigma_protocol::verifier::Verifier

source · 
pub trait Verifier {
    // Provided method
    fn verify(
        &self,
        tree: &ErgoTree,
        env: &Env,
        ctx: Rc<Context>,
        proof: ProofBytes,
        message: &[u8]
    ) -> Result<VerificationResult, VerifierError> { ... }
}
Expand description

Verifier for the proofs generater by super::prover::Prover

Provided Methods§

source

fn verify( &self, tree: &ErgoTree, env: &Env, ctx: Rc<Context>, proof: ProofBytes, message: &[u8] ) -> Result<VerificationResult, VerifierError>

Executes the script in a given context. Step 1: Deserialize context variables Step 2: Evaluate expression and produce SigmaProp value, which is zero-knowledge statement (see also SigmaBoolean). Step 3: Verify that the proof is presented to satisfy SigmaProp conditions.

Implementors§