Blog
Fixes Fixed PartialSmt::from_unique_nodes() reconstruction for partial trees containing both inclusion and exclusion proofs by processing leaf-derived and inner-node-derived branches in a shared bottom-up priority order ( #3470 ). Added ecdsa_k256_keccak::verify_bytes for verifying signatures over variable-length Keccak256 message bytes stored in VM memory ( #3563 ). Fixed persistent…
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 [BREAKING] Fixed collisions between empty input and full rate blocks in domain-separated field-element hashing by marking nonzero-domain empty input in…
Features Added the miden-precompiles crate with the official deferred precompile registry used by the VM/prover/verifier path ( #3222 ). Added partial deferred-proof APIs in miden-prover ( prove_partial , prove_partial_sync , and prove_partial_from_trace_sync ) and Verifier::verify_partial . [BREAKING] Removed the public miden::core::crypto::dsa::ecdsa_k256_keccak::verify_prehash and raw…
Fix validation of procedure names in package manifest exports when extracting module info. [BREAKING] Consolidate all package debug info sections into PackageDebugInfo , and rewrite its serialization format to remove as much excess overhead as possible. This addresses the issue where the presence of package debug info causes massive execution-time overhead when requesting the debug info for the…
Use the wincode crate re-exported by serde-wincode for proof encoding.
Update wincode dependency to v0.6.
Add package post-processing hooks to the ProjectSourceProvider trait ( #3375 ). Expose some assembler configuration methods, and ProjectAssembler::assemble_source_project ( #3383 ).
Use Package::read_from_bytes_trusted when loading preassembled packages from registry/cache during project assembly.
Update wincode dependency to v0.5.5.
Support constructing initial ResumeContext for execution stepping from a Package , in order to ensure debug context is correctly initialized ( #3358 ).