Crate miden_prover
Source - crypto
- math
- utils
- AdviceInputs
- Inputs container to initialize advice provider for the execution of Miden VM programs.
- ExecutionProof
- A proof of correct execution of Miden VM.
- MerkleTreeVC
- A fully-balanced Merkle tree.
- PrecompileRequest
- Represents a single precompile request consisting of an event ID and byte data.
- Proof
- A proof generated by Winterfell prover.
- ProvingOptions
- A set of parameters specifying how Miden VM execution proofs are to be generated.
- StackInputs
- Defines the initial state of the VM’s operand stack.
- StackOutputs
- Output container for Miden VM programs.
- Word
- A unit of data consisting of 4 field elements.
- DeserializationError
- Defines errors which can occur during deserialization.
- ExecutionError
- FieldExtension
- Defines an extension field for the composition polynomial.
- HashFunction
- A hash function used during STARK proof generation.
- InputError
- AsyncHost
- Analogous to the SyncHost trait, but designed for asynchronous execution contexts.
- BaseHost
- Defines the common interface between SyncHost and AsyncHost, by which the VM can interact
with the host.
- SyncHost
- Defines an interface by which the VM can interact with the host.
- prove
- Executes and proves the specified
program and returns the result together with a STARK-based
proof of the program’s execution.