Privacy & ZK. Privacy and proving systems.
478 items match, 292 of them low signal.
OpenVM v2.1.0 adds optional certified STARK verification and includes security and correctness fixes across the verifier, cryptographic guest libraries, transpiler, and toolchain. Prebuilt binaries for various machines are attached. Security Fixes.OpenVM release notes
. Breaking Changes. sdk: upgrade Tonic to 0.14.6 by @fakedev9999 in · Bug Fixes. x86 JIT remw returns stale RDX for i32::MIN % -1 by @MatusKysel in · prover: recover redelivered core shards by @Farhad-Shabani in · Documentation.SP1 (Succinct) release notes
_This is backwards compatible with 0.17.x, the version bump only indicates the new VM support._ Protocol support updated from 0.17.1 to 0.18.0. Validator migration required. Run miden-validator migrate. Breaking Changes.Miden release notes
Fixes. Fixed release version comparisons to respect prerelease precedence and compare patch releases within their major/minor line. API compatibility checks use stable releases instead of release candidates (#3654).Miden release notes
gnark v0.16.4. This release contains a security fix for a high-severity soundness issue in emulated elliptic-curve scalar multiplication, which made ECDSA signature forgery possible.gnark release notes
Release v0.17.0 Protocol support updated from 0.15.3 to 0.17.0. Rust MSRV updated from 1.93 to 1.98.1. Node migration required. Run miden-node migrate. Validator migration required. Run miden-validator migrate. NTX Builder migration required.Miden release notes
Changes. [BREAKING] Removed the accessor procedures from miden::core::stark::constants; import its constants instead (#3925). [BREAKING] Removed unused procedures from the MASM recursive verifier (#3937). Fixes.Miden release notes
Everything here already leads the page above.