Here we report on the progress of the leading builders in the zkVM ecosystem, documenting recent significant releases, technical breakthroughs and general updates
@SuccinctLabs has launched SP1-2FA, a new feature that adds a second security layer to its SP1 zkVM via Trusted Execution Environments: https://blog.succinct.xyz/sp1-2fa/ This system requires matching results from both ZKPs and secure hardware attestations. Developers can activate it with one line of code. Now in private beta, SP1-2FA boosts protection for production apps without adding complexity, complementing audits and ongoing formal verification efforts.
In other news, OP Succinct was deployed to the @Mantle_Official Testnet, marking a key step in Mantle's goal to become a future liquidity hub. The partnership enables Mantle to adopt zkRollup technology without losing any of its core features: https://x.com/SuccinctLabs/status/1904912715317207404…
Finally, Succinct, in collaboration with @PhalaNetwork, tested SP1 in TEE mode on an Nvidia H200 to evaluate private cloud proving. The results showed under 20% overhead for end-to-end proof generation. This enables developers to use third-party provers for sensitive use cases like ZK identity, expanding privacy-preserving apps in the cloud: https://x.com/SuccinctLabs/status/1903180098834199018
@ProjectZKM reported notable progress across zkVM performance, the zkMIPS Rust toolchain, and the ZKM proof network infrastructure: https://x.com/ProjectZKM/status/1900484394974122155…
• Shifting to the MIPS32R2 ISA cut instruction counts by about 9%, improving execution efficiency.
• Updated toolchains and LLVM patches reduced program sizes.
• Network workflow improvements and zkMIPS+ integration laid the groundwork for better proving performance.
The project has also released more new research articles, including:
• A deep dive into how Lookup Arguments enable efficient membership proofs in zero-knowledge systems. The article explains polynomial transformations, multiset checks, and their role in zkVMs for validating inputs against precomputed tables: https://zkm.io/blog/lookup-argument-in-zero-knowledge-proofs…
• An outline of the Prover architecture based on Plonky2, covering proof generation for Plonkish tables, aggregation into a single Root Proof, and SNARK-level compression to reduce verification overhead: https://zkm.io/blog/zkm-prover-proof-generation-and-aggregation…
• A technical breakdown of arithmetic and CPU instruction handling in zkVMs, including how operations are structured, validated, and translated into circuit constraints within the STARK proving system: https://zkm.io/blog/zkm-prover-arithmetic-operations-and-cpu-operations…
In other news, ZKM Developer Lead @sd_eigen took part in Boundless House of ZK - the flagship ZK event at the @festival_web3 in Hong Kong, organized by @boundless_xyz and @HouseofZK: https://x.com/ProjectZKM/status/1908777775692931078…He spoke on the day’s first panel - “The ZK Road to Enshrinement”, alongside @CKapibara, Marketing Director at @serotonin_hq, @tomngodefi, CEO of @MetisL2, @odesium, CCO of @taikoxyz, and @victorJi15, Co-founder of @MantaNetwork.
Stephen also joined ZKConnect, an event held by @brevis_zk: https://x.com/ProjectZKM/status/1908544764066021413…Together with @henlojseam, Engineer at @ezklxyz, @anuragarjun, Co-founder of @AvailProject, @sinka2022, Founder of @DelphinusLab, and @qc_qizhou, Founder of @EthStorage, they discussed how ZK optimizes modular architecture in Web3.
@boundless_xyz and @HouseofZK co-hosted the Boundless House of ZK event as part of the @festival_web3 in Hong Kong. The @RiscZero team also participated in key sessions of the program, including:
• A presentation by @0xEverly, Product Lead at RISC Zero and Boundless, where he discussed the limitations of today’s blockchain ecosystems and gave an overview of Boundless - a universal ZK protocol for deploying and executing ZK apps: https://x.com/HouseofZK/status/1908794313342890284…
• A fireside chat with Jacob, @otaliptus of @citrea_xyz and @nake13 of @ChainFeedsxyz, discussing the integration between Citrea and RISC Zero, its significance for scaling Bitcoin, and its potential impact on developers and the broader community: https://x.com/HouseofZK/status/1908815306073448823…
• A panel moderated by Tina Liu, Head of Global Marketing at RISC Zero. Together with @no89thkey of @brevis_zk, @sinka2022 of @DelphinusLab, @yq_acc of @alt_layer, and @leofanxiong of @cysic_xyz, they explored who is shaping the developer perception of ZK, which projects are defining user expectations, and how education and branding strategies influence mass adoption: https://x.com/HouseofZK/status/1908802899196445054…
In other news, @reka_eth shared an article explaining how “berryfiable compute” reframes verifiable computation through the Boundless protocol: https://x.com/reka_eth/status/1907100469010309244… The article presents a market-driven model where ZK-proofs are generated, traded, and reused like commodities. This approach aims to scale blockchain execution efficiently, enable open participation, and make computation portable, secure, and interoperable across chains.
@0xEverly also shared an article explaining how verifiable compute helps eliminate inefficiencies caused by reliance on outdated, opaque systems across industries like finance and AI: https://x.com/0xEverly/status/1904934669121957905… By proving computations are executed correctly, it reduces operational costs, fosters innovation through open markets, and protects sensitive data. ZKPs make this scalable, private, and efficient - unlocking broader application and adoption.
@openvm_org has released its first stable version, v1.0.0, after a year of development and audits by @cantinaxyz and the @axiom_xyz team: https://x.com/openvm_org/status/1906738331305869677…
The update brings major performance gains: @ethereum blocks can now be verified on CPU in under three minutes at a cost of $0.0015 per transaction. OpenVM is ready for production use, including in @Scroll_ZKP’s upcoming upgrade, and is supported by a new hosted proving API: https://openvm.dev/whitepaper.pdf
@0xLita introduced Lita Studios, a new initiative to showcase real-world applications of the Valida zkVM, a versatile zero-knowledge virtual machine supporting Rust, C, and WASM: https://lita.foundation/blog/introducing-lita-studios…Through projects like Cat Runner, LitaPay, Taste, and ReVa, they aim to highlight Valida’s flexibility in gaming, payments, and AI. Lita Studios also fosters community collaboration, feedback, and awareness around ZK technology.
The Lita team hasalso integrated a Keccak Acceleration Chip with the Valida zkVM, cutting @ethereum block proving time from 183 to 23 seconds in early tests: https://lita.foundation/blog/keccak-acceleration-chip-and-benchmarks…The chip speeds up Keccakf-1600 computations, a major blockchain bottleneck. Its memory integration and pointer-based communication streamline hashing, enabling faster, more efficient proof generation for Ethereum’s cryptographic operations.
@NexusLabs has partnered with @Orbiter_Finance to integrate its cross-chain bridge on the Nexus Devnet, enabling smoother asset transfers across networks: https://blog.nexus.xyz/orbiter-finance-partnership/…
The collaboration aims to improve interoperability and liquidity, while also expanding the Nexus ecosystem. Joint strategies will support future deployments, focusing on seamless, secure cross-chain experiences for developers and users alike.
@sinka2022, founder of @DelphinusLab, spoke on the panel "Who Owns the ZK Narrative? A Fight for Mindshare" as part of The Boundless House of ZK - an event organized by @boundless_xyz (@RiscZero), and @HouseofZK: https://x.com/HouseofZK/status/1908802899196445054…He joined @no89thkey of @brevis_zk, @yq_acc of @alt_layer, @leofanxiong of @cysic_xyz, and Tina Liu of @RiscZero to discuss which projects are shaping the perception of ZK, attracting developers, and driving ecosystem growth through branding and education.
Also, in a recent episode of House of ZK Radio, Sinka joined @alicelingl and @pavel_sinel to discuss how to make zkVMs more approachable, the role of WASM in that process, the challenges of onboarding, and why ZK should be a tool - not a barrier - on the path to mass adoption: https://x.com/HouseofZK/status/1902390582707974638
