Skip to main content Module program Copy item path Source domain Registered domain selectors for protocol-visible hash commitments. ExecutionClaim The external statement a Miden VM proof attests: the program root and kernel identify the
executed code and its syscall authorization set; the stack inputs and outputs are the
execution’s public I/O. KernelDescriptor A list of exported kernel procedure hashes defining a VM kernel. Program An executable program for Miden VM. 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 Defines the final state of the VM’s operand stack at the end of program execution. InputError KernelError OutputError CLAIM_DOMAIN_TAG Domain tag for the claim commitment: the registered selector
(EXECUTION_CLAIM_DOMAIN_ID << 8) | 1 (see the domain KERNEL_DOMAIN_TAG Domain tag for the kernel commitment: the registered selector
(KERNEL_COMMITMENT_DOMAIN_ID << 8) | 1 (see the domain MIN_STACK_DEPTH Represents: NUM_CLAIM_ELEMENTS Number of field elements in the canonical claim encoding: P ‖ K ‖ I ‖ O. REQUEST_DOMAIN_TAG Domain tag for the proof-request key: the registered selector
(PROOF_REQUEST_DOMAIN_ID << 8) | 1 (see the domain claim_commitment Returns the canonical claim commitment over an already-encoded claim. request_key Returns the advice-map key addressing a proof package for claim_commitment under the
verifier identified by verifier_root.