Privacy & ZK. Privacy and proving systems.
376 items match, 168 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
Date: 2026-08-17 · Tag: v5.2.0 · Baseline: v5.1.0 · Minor release Install: aztec-up install 5.2.0 · Docker: aztecprotocol/aztec:5.2.0 Summary.Aztec 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
Everything here already leads the page above.