Ethproofs Community Call #2 (provers) | May 23, 2025

Ethproofs Community Call 02, May 23, 2025

Agenda

Agenda Section Agenda Item Details Presentation
Intro 00 Ethproofs Provers Introduction link to follow
zkVM Team Intros - - -
- 01 Ligero with Muthu link to follow
- 02 Miden VM with Bobbin Threadbare link to follow
- 03 Nock VM with Logan Allen link to follow
Proving Incentives 04 Real-time proving grant program w/ Alex Hicks link to follow
Real-time Proving - - -
- 05 Brevis with Mo Dong link to follow
- 06 Snarkify with Ouyang Jiannan link to follow
- 07 RISC Zero with Jeremy Bruestle link to follow
- 08 Succinct with John Guibas link to follow
- 09 ZisK with Jordi Baylina link to follow
- 10 ZKM with Stephen Duan link to follow
- 11 Open VM with Yi Sun link to follow
GPR Proving - - -
- 12 Snarkify with Ouyang Jiannan link to follow
- 13 Ingonyama with Omer Schlomovits link to follow
- 14 Supernational with Kelly Olson link to follow
- 15 ZAN with TBD link to follow
ASIC Proving - - -
- 16 Ponos with Slobodan Lukovic link to follow
- 17 Irreducible with Radi Cojbasic link to follow
- 18 Cysic with Leo Fan link to follow
- 19 Fabric with Michael Gao link to follow
- 20 Accseal with Mingyu Gao link to follow
Distributed Proving - - -
- 21 ZkCloud with Norbert Vadas link to follow
- 22 Fermah with Vanishree Rao link to follow

Facilitator email: will@ethereum.org
Facilitator telegram: @corcoranwill

GitHub Issue

1 Like