Crate miden_verifier 

Modules

math

Structs

ExecutionProof

A proof of correct execution of Miden VM.

Kernel

A list of procedure hashes defining a VM kernel.

PrecompileVerifierRegistry

Registry of precompile verifiers.

ProgramInfo

A program information set consisting of its MAST root and set of kernel procedure roots used for its compilation.

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.

Enums

AcceptableOptions

PrecompileVerificationError

VerificationError

Errors that can occur during proof verification.

VerifierError

Represents an error returned by the verifier during an execution of the protocol.

Functions

verify

Returns the security level of the proof if the specified program was executed correctly against the specified inputs and outputs.

verify_with_precompiles

Identical to verify, with additional verification of any precompile requests made during the VM execution. The resulting aggregated precompile commitment is returned, which can be compared against the commitment computed by the VM.

Type Aliases

PrecompileError

Type alias for precompile errors.

PrecompileTranscriptDigest

Type alias representing the finalized transcript digest.