Crate miden_verifier

Modules

• math

Structs

• Digest
• ExecutionProof
  A proof of correct execution of Miden VM.
• Kernel
  A list of procedure hashes defining a VM kernel.
• ProgramInfo
  A program information set consisting of its MAST root and set of kernel procedure roots used for its compilation.
• StackInputs
  Initial state of the stack to support program execution.
• StackOutputs
  Output container for Miden VM programs.

Enums

• AcceptableOptions
• VerificationError
  TODO: add docs
• 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.

Type Aliases

• Word
  A group of four field elements in the Miden base field.