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

[will-corcoran]

Ethproofs Community Call 02, May 23, 2025

• May 23, 2025, 14:00-15:00 UTC
• Duration in minutes : 120

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
GPU 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: [email protected]
Facilitator telegram: @corcoranwill

[github-actions]

• Action: Bot processing finished at 2025-05-18 13:58 UTC

Discourse Topic: Title already exists.

• ⚠️ Could not find existing topic ID in mapping for this duplicate title.

Zoom Meeting Created

• Zoom link hidden (sent to facilitator email)

Calendar Event Created

• Google Calendar
• Zoom details sent via email to: [email protected]

Telegram Notification

• Sent message for this occurrence to Ethereum Protocol Updates channel