Module ergotree_interpreter::sigma_protocol::prover [−][src]
Interpreter with enhanced functionality to prove statements.
Structs
| ConstantParsingError | Error parsing Constant from base16-encoded string |
| ContextExtension | User-defined variables to be put into context |
| ProverResult | Proof of correctness of tx spending |
| TestProver | Test prover implementation |
Enums
| ProofBytes | Serialized proof generated by [‘Prover’] |
| ProverError | Prover errors |
Traits
| Prover | Prover |