STARK-based virtual machine0xMiden/miden-vm on GitHub
61 items match, 41 of them low signal.
Features. Added Prover::prove_vm_witness() so callers can prove a split VmWitness without deferred precompile work (#3837). [BREAKING] Added optional per-STARK minimum conjectured security enforcement with Verifier::with_min_conjectured_security_level_per_star…Miden release notes
Release v0.16.0 Breaking Changes. Protocol: Updated miden-protocol dependencies to use the next branch (v0.16). Block and transaction account updates now use the absolute AccountPatch representation instead of the relative AccountDelta, and the miden-tx-batch-…Miden release notes
Changes. Cached loaded MAST forests in FastProcessor so repeated external calls reuse the forest and merge its advice map once (#3764). [BREAKING] Removed the trace bus debugger APIs from miden-air and the bus-debugger feature from miden-processor (#3775).Miden release notes
Features. Added has_precompiles() to ExecutionWitness and ExecutionProof so callers can check for precompile work without consuming the witness or inspecting proof variants (#3757).Miden release notes
Features. [BREAKING] Added inline call-chain metadata to package source maps so debuggers can reconstruct inlined stack frames, and preserved source-node context during stepped execution.Miden release notes
Changes. [BREAKING] Recursive MASM verification now accepts a claim commitment and authenticates the advice-supplied claim and kernel witness. Rust callers construct request-addressed inputs with RecursiveVerifierInputs::for_request (#3447). Fixes.Miden release notes
Features. Added the miden-precompiles crate with the official deferred precompile registry used by the VM/prover/verifier path (#3222).Miden release notes
Everything here already leads the page above.