Module ergotree_interpreter::sigma_protocol::prover

Interpreter with enhanced functionality to prove statements.

Modules

• hint
  Hints for a prover which helps the prover to prove a statement.

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