[−][src]Trait ergo_lib::sigma_protocol::verifier::Verifier
Verifier for the proofs generater by super::prover::Prover
Provided methods
pub fn verify(
&self,
tree: &ErgoTree,
env: &Env,
ctx: Rc<Context>,
proof: &ProofBytes,
message: &[u8]
) -> Result<VerificationResult, VerifierError>
[src]
&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.