Here we track the progress of leading zkVM's, documenting recent significant releases, technical breakthroughs and general updates.
@RiscZero has launched zkVM 1.2, introducing 'application-defined precompiles', enabling apps to ship precompiles directly, boosting control, flexibility, and performance. Early adopters saw ~180x cost reductions. This approach allows seamless optimization without altering verifier contracts or zkVM infrastructure: https://risczero.com/blog/risczero-zkvm-1.2…
@ProjectZKM has released zkMIPS v0.2.0, introducing a Rust Toolchain for seamless program compilation, a Project Template for end-to-end zkMIPS deployments, and Upgradeable Precompiles for modular proof verification across chains. These updates streamline ZK apps development, enhance privacy, and enable batch proof aggregation, paving the way for scalable and efficient blockchain solutions. Developers can now build, prove, and verify on-chain proofs with greater ease, leveraging zkMIPS to accelerate innovation in the ZK ecosystem: https://zkm.io/blog/zkmips-v0-2-0-major-updates-to-enhance-developer-experience… You can familiarise yourself with the new features here: https://github.com/zkMIPS
@SuccinctLabs SP1 zkVM now supports Solana, enabling developers to use ZKPs for scalability, privacy, and cross-chain interoperability. Developers can verify SP1 proofs on Solana, unlocking scalable rollups, ZK KYC, and secure cross-chain bridges. This update enhances Solana's capacity for network extensions, SVM rollups, and verifiable credentials. Developers can start building with SP1’s Solana verifier via GitHub, simplifying ZKP adoption for Rust-based Solana applications: https://blog.succinct.xyz/solana-sp1/Additionally, Mantle is transforming from an OP rollup to a ZK rollup. Partnering with Succinct, Mantle will leverage SP1 and a zkEVM framework to achieve faster finality - cutting wait times from 7 days to 1 hour: https://blog.succinct.xyz/succinct-mantle/…
@0xLita introduced Valida 0.7.0 , with WASM support in its compiler toolchain, boosting Rust stdio input, offering ARM Docker image support for faster compile times, and new floating-point emulation enhances C program compatibility. Bug fixes include "run --fast" and output issues: https://lita.foundation/blog/announcing-valida-0-7-0…
@NexusLabs recently completed its testnet, driven by the Nexus zkVM and including over 1.5m global nodes that contributed compute power, with 100k active nodes at once: https://blog.nexus.xyz/the-new-nexus-testnet-is-live/…Nexus also announced the upcoming launch of its Ambassador Program in January 2025: https://blog.nexus.xyz/nexus-testnet-recap/…
@axiom_xyz launched @openvm_org, an open-source, modular zkVM framework created with @Scroll_ZKP and contributors like @maxgillett. OpenVM enables developers to customize ZK circuits, ISAs, and proof systems without sacrificing performance. The v0.1 release supports Rust programs, onchain verification, and sub-cent transaction costs. Unlike monolithic zkVMs, OpenVM's flexible design prevents vendor lock-in and fosters collaborative development. Axiom is now focusing on OpenVM development, ending support for Axiom V2 on December 21, 2024: https://blog.axiom.xyz/openvm/
