miden::core::sys::vm
Use miden::core::sys::vm::verify_proof to check an execution claim inside another MASM program.
It returns a security descriptor and a root for any deferred precompile work.
Verifying proofs in MASM explains how to prepare the inputs, check
the proof's security level, and settle the deferred work with a PVM proof.
Modules
| Module | Description |
|---|---|
miden::core::sys::vm::aux_trace | Procedures for observing the auxiliary execution trace in the recursive verifier. |
miden::core::sys::vm::constraints_eval | Procedures that perform the constraints evaluation check and manage its associated parameters. |
miden::core::sys::vm::deep_queries | Utilities that construct the DEEP queries needed during proof verification. |
miden::core::sys::vm | Verifies MVM execution claims and returns their security descriptors and deferred roots. |
miden::core::sys::vm::ood_frames | Helpers for processing out-of-domain evaluation frames. |
miden::core::sys::vm::public_inputs | Routines for loading, hashing, and processing public inputs. |