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
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.
@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.
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.
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.
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
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
