Ethproofs Report (May 26, 2025)

Share on

The @ethereumfndn's second @eth_proofs community call featured over 140 participants and 25 speakers - focusing on real-time proving, showcasing a surge of open-source zkVMs, and introducing recent breakthroughs in hardware acceleration: https://youtube.com/watch?v=f5AvMBUV4WY&t=257s…

This call was the largest to date, reflecting growing interest and awareness of the initiative in the community.

A significant portion of the call centered on achieving and optimizing real-time proving, with multiple teams demonstrating sub-12-second proving for 99% of @ethereum blocks

New Open-Source ZKVMs

lx zkVM: Open sourced by John Burnham from @argumentxyz, lx introduces a novel approach using Lean 4 and aims to compress formal proofs into ZKPs.

Petra and Boojum 2.0: Petra by @IrreducibleHW is now public, and Boojum 2.0 by @the_matter_labs is expected to be open sourced by the end of the month.

Real-Time Proving Achievements

@SuccinctLabs (SP1 Hypercube): Demonstrated 94% of Ethereum blocks proved under 12 seconds using 240 GPUs. Jagged PCS and SP1 Hypercube offer up to 5x performance improvements.

@RiscZero: Internally achieved real-time proving on over 60% of blocks with 200 GPUs, using fully open-source code. Planning dedicated hardware to reach full coverage.

ZisK by @0xPolygon: Achieved 750 MHz RISC-V emulation, potentially the fastest execution layer in the space.

@Snarkify_ZKP: Claims even faster execution than ZisK and significantly higher GPU throughput, with upcoming release targeting end of June.

@thezkcloud: Already proving every Ethereum block with SP1 and preparing for multi-GPU scaling.

zkMIPS by @ProjectZKM: Released version 1.0 of their open-source zkVM, supporting over 20 million MIPS cycles/sec on CPU and 1.3 million/sec on GPU. Currently undergoing audit and integrated with EthProofs.

Hardware Innovation and Acceleration

ASIC Developments: @FabricCrypto, @axiom_xyz, @cysic_xyz, and others presented upcoming ASIC designs aimed at 10x–20x performance gains and energy efficiency under 5kW.

FPGAs and Binary Tower Fields: @IrreducibleHW showcased their end-to-end FPGA-based binus proof system with plans to release AWS-based deployments.

GPU Library Advances: @_Supranational's Spark library and @zan_team's acceleration platform offer high-performance kernels for key primitives.

Tooling, Benchmarks, and Security

Ethproofs V2 Launch: The upgraded http://ethproofs.org  now features detailed zkVM benchmarking, integration tracking, cluster stats, and a visual “pizza slice” performance indicator.

Benchmark Standardization: A new zkEVM benchmark suite was introduced to test average and worst-case execution scenarios across VMs.

Security Research: @fermah_xyz proposed a new soundness definition for non-ZK-oriented proof systems, addressing a longstanding gap.

Future Outlook

Real-Time Incentives: EF will award three $100,000 grants to teams that prove 99% of blocks under 12 seconds with open-source provers.

Call #3 Preview: Next up-reaching 1 GB/s proving throughput on Ethereum L1 using zkVMs.

@eth_proofs continues to act as a catalyst for ZK ecosystem development, aligning academic research, open-source software, and hardware acceleration toward a scalable, secure @ethereum base layer.

The upcoming @eth_proofs Summit will bring together contributors from across the proving ecosystem to align on the design, benchmarking, and integration of zkVM systems within @ethereum's consensus layer

https://lu.ma/hozkethproofs

June 10th

House of Music, Berlin

Independently organized by @HouseofZK with support from @zksync, @LineaBuild, @thezkcloud, & @ProjectZKM, this is a must-attend event for all Ethproofs contributors and enthusiasts

More articles
Reports
Proving Services Latest (Mar 7, 2025)
Read More
March 7, 2025
Reports
zkL1 Latest (Jun 20, 2025)
Read More
June 20, 2025