Skip to main content Crate miden_prover Copy item path 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 precompile transcript at the end of execution. ExecutionProof A proof of correct execution of Miden VM. ProcessorAir Miden VM Processor AIR implementation. 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. 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. DeserializationError Defines errors which can occur during deserialization. ExecutionError HashFunction A hash function used during STARK proof generation. InputError 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 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_stark Generates a STARK proof for the given trace and public values. prove_sync Synchronous wrapper for prove()