Module ergotree_interpreter::sigma_protocol::verifier [−][src]
Verifier
Structs
| TestVerifier | Test Verifier implementation |
| VerificationResult | Result of Box.ergoTree verification procedure (see |
Enums
| VerifierError | Errors on proof verification |
Traits
| Verifier | Verifier for the proofs generater by |