Module 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