Trait ergotree_interpreter::sigma_protocol::verifier::Verifier

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

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

Provided methods

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.

Loading content...

Implementors

impl Verifier for TestVerifier

Loading content...