Skip to main contentCrate miden_prover
Source - config
- STARK configuration factories for different hash functions.
- crypto
- field
- serde
- utils
- AdviceInputs
- Inputs container to initialize advice provider for the execution of Miden VM programs.
- ExecutionOptions
- A set of parameters specifying execution parameters of the VM.
- ExecutionOutput
- The output of a program execution, containing the state of the stack, advice provider, memory,
and final deferred state at the end of execution.
- ExecutionProof
- A proof of correct execution of Miden VM.
- ProgramInfo
- A program information set consisting of its MAST root and set of kernel procedure roots used
for its compilation.
- ProvingOptions
- A set of parameters specifying how Miden VM execution proofs are to be generated.
- PublicInputs
- StackInputs
- Defines the initial state of the VM’s operand stack.
- StackOutputs
- Defines the final state of the VM’s operand stack at the end of program execution.
- StarkProof
- A serialized STARK proof and the hash function used during proof generation.
- TraceBuildInputs
- Inputs required to build an execution trace from pre-executed data.
- TraceGenerationContext
- TraceProvingInputs
- Inputs required to prove from pre-executed trace data.
- Word
- A unit of data consisting of 4 field elements.
- DeferredProof
- Proof material for the precompile claims associated with an execution proof.
- DeserializationError
- Defines errors which can occur during deserialization.
- ExecutionError
- HashFunction
- A hash function used during STARK proof generation.
- InputError
- MidenAir
- AIR instance identifier for the Miden multi-AIR statement.
- FutureMaybeSend
- Alias for a
Future - Host
- Defines an async interface by which the VM can interact with the host during execution.
- SyncHost
- Defines a synchronous interface by which the VM can interact with the host during execution.
- prove
- Executes and proves the specified
program and returns the result together with a final
STARK-based proof of the program’s execution. - prove_from_trace_sync
- Builds an execution trace from pre-executed trace inputs and proves it synchronously.
- prove_partial
- Executes and proves the specified
program, preserving wire-backed deferred proof material. - prove_partial_from_trace_sync
- Builds an execution trace from pre-executed trace inputs and proves it synchronously, preserving
wire-backed deferred proof material.
- prove_partial_sync
- Synchronous variant of
prove_partial(). - prove_stark
- Generates a multi-AIR STARK proof for the Miden trace set and public values.
- prove_sync
- Synchronous variant of
prove().