Here we report on the progress of the leading builders in the zkVM ecosystem, documenting recent significant releases, technical breakthroughs and general updates
@boundless_xyz (by @RiscZero) is integrating @fermah_xyz’s prover network, bringing ultra-fast proving infrastructure to developers for the most cost-efficient proofs on any chain. As the Boundless ecosystem expands, it strengthens every connected chain, enhancing scalability and efficiency across the network: https://x.com/boundless_xyz/status/1887542648380031285…
In addition, @BruestleJeremy of RiscZero joined @robbie_rollup and @jimpo_potamus of @IrreducibleHW on the @therollupco podcast to discuss how innovations in binary fields and hardware acceleration are making ZK proofs more accessible. They covered real-time proof generation on phones, automatic DeFi verification, simplified cross-chain communication, and universal computation verification, potentially replacing traditional blockchain consensus with efficient proving markets: https://x.com/therollupco/status/1885364374283391078
@ProjectZKM introduced a new research article focused the DEEP-FRI Protocol, an advanced iteration of the FRI proof system used in ZKPs: https://zkm.io/blog/the-deep-fri-protocol…
The article states how DEEP-FRI optimizes polynomial folding and verification, reducing proof sizes while maintaining efficiency. Utilizing deep algebraic structures and quotient operations, DEEP-FRI enhances soundness and minimizes communication costs, strengthening cryptographic proofs and ensuring scalable, secure verification for complex computational systems.
@SuccinctLabs has launched the first testnet phase of its Prover Network, 'Level 1: Crisis of Trust'. Future phases will involve expanded proving capabilities before transitioning to mainnet, with a reward system in place to incentivize contributions. The ultimate aim is to scale @ethereum’s proving capacity: https://blog.succinct.xyz/the-succinct-prover-network-testnet-is-live/
@0xPolygonMiden has launched Miden Alpha Testnet v6, introducing faster account creation, enhanced private smart contracts, and a more efficient virtual machine. Developers now have access to expanded foreign procedure invocation, element-addressable memory, and a restructured mempool using a DAG: https://polygon.technology/blog/polygon-miden-alpha-testnet-v6-is-live
@brevis_zk have introduced Pico, a highly modular and efficient zkVM that allows developers to optimize proving workflows for ZK apps. With customizable proving backends, integrated app-level zkCoprocessors, and record-breaking CPU performance (up to 155% faster than competitors), Pico sets a new industry benchmark. Designed for flexibility and future ZK advancements, it empowers dApps with scalability, security, and performance: https://blog.brevis.network/2025/02/11/introducing-pico-a-modular-and-performant-zkvm/
Co-founder of @NovaNet_zkp, @wyatt_benno posted that NovaNet has integrated Nebula into its zkEngine (v0.9), a WASM-based zkVM, now open-source with contributions from @Microsoft and Nova. The update improves privacy, supports flexible step sizes, and enhances zkVM memory checks. It runs efficiently in browsers and supports Non-Incremental Verifiable Computation: https://x.com/wyatt_benno/status/1884693157226463559
@DelphinusLab has launched Phase 3 of its zkWASM TestNet Prover Network, the final phase before the mainnet launch. With 508 certified nodes and strong investor backing from @BinanceLabs, @OKX_Ventures, @SevenXVentures, @HashKey_Capital, @genventurecap, and @mirana, participants can earn up to 3% of the total token supply. The project offers zkWASM proof mining, revenue opportunities, and a decentralized Web3 ecosystem: https://x.com/DelphinusLab/status/1887394936544501887
@0xLita has unveiled Valida 0.8.0, bringing WASM support for broader language compatibility, CPU runtime detection for optimized performance, and a new Valida API for seamless integration. Additional updates include AVX-2 acceleration, expanded I/O for Rust and C, and CLI improvements. Work on @ethereum block proving and Keccak acceleration is underway: https://lita.foundation/blog/valida-0-
@NexusLabs announced numerous partnerships, namely @Calderaxyz, @SindriLabs, @ZKWorkHQ, @gaib_ai, and @layeredge. Notably, the collaboration with Caldera is focused around optimizing its blockchain performance and to partner on community events to help drive adoption: https://blog.nexus.xyz/caldera-partnership/
