INSIDE DEVCONNECT

Eth

Eth

proofs

proofs

D

D

ay

ay

race to prove Ethereum in real-time

race to prove Ethereum in real-time

Saturday, November 22nd, 2025
10:00 AM - 6:00 PM

Schedule

10:30 AM - 10:40 AM
LIGHTNING TALK
10:30 AM - 10:40 AM

Welcome to Ethproofs Day

Welcome to Ethproofs Day

Welcome to Ethproofs Day

Will Corcoran, Ethereum Foundation
10:40 AM - 11:00 AM
KEYNOTE
10:40 AM - 11:00 AM

zkAttesting

zkAttesting

zkAttesting

Justin Drake, Ethereum Foundation
11:00 AM - 11:30 AM
PANEL DISCUSSION
11:00 AM - 11:30 AM

L1 zkEVM Update & Discussion

L1 zkEVM Update & Discussion

L1 zkEVM Update & Discussion

Sophia Gold, Ethereum Foundation (moderator)
Special Guest, TBA
Special Guest, TBA
Special Guest, TBA
Special Guest, TBA
11:30 AM - 11:55 AM
KEYNOTE
11:30 AM - 11:55 AM

Road to zkEVM is Paved w/ Good Engineering

Road to zkEVM is Paved w/ Good Engineering

Road to zkEVM is Paved w/ Good Engineering

Kev Wedderburn, Ethereum Foundation
11:55 AM - 12:20 PM
KEYNOTE
11:55 AM - 12:20 PM

zkEVM Soundness

zkEVM Soundness

zkEVM Soundness

Arantxa Zapico, Ethereum Foundation
12:20 PM - 1:00 PM
BREAK
12:20 PM - 1:00 PM

Lunch

Lunch

Lunch

1:00 PM - 1:10 PM
LIGHTNING TALK
1:15 PM - 1:25 PM

Security & Diversity in VMs

Security & Diversity in VMs

Security & Diversity in VMs

Mauro Toscano, LambdaClass
1:10 PM - 1:20 PM
LIGHTNING TALK
2:35 PM - 2:45 PM

SP1 and Subblocks: Low Latency Ethereum Block Proving

SP1 and Subblocks: Low Latency Ethereum Block Proving

SP1 and Subblocks: Low Latency Ethereum Block Proving

Yuwen Zhang, Succinct
1:20 PM - 1:30 PM
LIGHTNING TALK
4:05 PM - 4:15 PM

Expanding Ethereum’s Proving Landscape with Ethrex

Expanding Ethereum’s Proving Landscape with Ethrex

Expanding Ethereum’s Proving Landscape with Ethrex

Special Guest, LambdaClass
1:30 PM - 1:40 PM
LIGHTNING TALK
2:45 PM - 2:55 PM

Binius64: Binary Proofs for Bitwise Operations

Binius64: Binary Proofs for Bitwise Operations

Binius64: Binary Proofs for Bitwise Operations

Jim Posen, Irreducible
1:40 PM - 1:50 PM
LIGHTNING TALK
3:30 PM - 3:40 PM

Autoprecompiles: Compiler-Based Acceleration for zkVMs

Autoprecompiles: Compiler-Based Acceleration for zkVMs

Autoprecompiles: Compiler-Based Acceleration for zkVMs

Leo Alt, powdr
1:50 PM - 2:00 PM
LIGHTNING TALK
3:40 PM - 3:50 PM

Proof Orchestration in Rust: Scaling Proof Workflows

Proof Orchestration in Rust: Scaling Proof Workflows

Proof Orchestration in Rust: Scaling Proof Workflows

Mohsen, Zircuit
2:00 PM - 2:10 PM
LIGHTNING TALK
3:30 PM - 3:40 PM

Native Rollups

Native Rollups

Native Rollups

Luca Donno, L2BEAT
2:10 PM - 2:20 PM
LIGHTNING TALK
3:30 PM - 3:40 PM

L2BEAT ZK Catalog 🤝 Ethproofs

L2BEAT ZK Catalog 🤝 Ethproofs

L2BEAT ZK Catalog 🤝 Ethproofs

Sergey Shemyakov , L2BEAT
2:20 PM - 2:30 PM
LIGHTNING TALK
1:55 PM - 2:05 PM

On the (In-)Security of Fiat-Shamir

On the (In-)Security of Fiat-Shamir

On the (In-)Security of Fiat-Shamir

Ron Rothblum, Succinct
2:30 PM - 3:00 PM
PANEL DISCUSSION
1:25 PM - 1:55 PM

Formal Verification & Fuzzing

Formal Verification & Fuzzing

Formal Verification & Fuzzing

Alexander Hicks, Ethereum Foundation (moderator)
Cody Gunton, Ethereum Foundation
Valentin Wüstholz, Diligence Security
Devon Tuma, Succinct
Kostas Ferles, Veridise
3:00 PM - 3:30 PM
BREAK
12:20 PM - 1:00 PM

Break

Break

Break

3:30 PM - 3:45 PM
KEYNOTE
1:00 PM - 1:15 PM

OpenVM: RTP for Ethereum L1, the Modular Approach

OpenVM: RTP for Ethereum L1, the Modular Approach

OpenVM: RTP for Ethereum L1, the Modular Approach

Yi Sun, Axiom
3:45 PM - 4:00 PM
KEYNOTE
2:20 PM - 2:35 PM

zkSync Airbender: Fullstack zkVM Customizations

zkSync Airbender: Fullstack zkVM Customizations

zkSync Airbender: Fullstack zkVM Customizations

Porter Adams, MatterLabs
4:00 PM - 4:15 PM
KEYNOTE
2:05 PM - 2:20 PM

Jolt: A Simpler Path to High-Performance zkVMs

Jolt: A Simpler Path to High-Performance zkVMs

Jolt: A Simpler Path to High-Performance zkVMs

Markos Georghiades, a16z
4:15 PM - 4:30 PM
KEYNOTE
2:55 PM - 3:10 PM

Brevis Pico VM: From Modularity to RTP

Brevis Pico VM: From Modularity to RTP

Brevis Pico VM: From Modularity to RTP

Michael Dong, Brevis
4:30 PM - 4:45 PM
KEYNOTE
3:50 PM - 4:05 PM

SP1 Hypercube: Step into a Higher Dimension

SP1 Hypercube: Step into a Higher Dimension

SP1 Hypercube: Step into a Higher Dimension

Tamir Hemo, Succinct
4:45 PM - 5:00 PM
KEYNOTE
4:15 PM - 4:30 PM

Distributed Real-Time Proving in ZisK

Distributed Real-Time Proving in ZisK

Distributed Real-Time Proving in ZisK

Jordi Baylina, ZisK
5:00 PM - 5:30 PM
PANEL DISCUSSION

Who Pays the Provers?

Who Pays the Provers?

Who Pays the Provers?

Sophia Gold, Ethereum Foundation (moderator)
Julian Ma, Ethereum Foundation
4:30 PM - 5:00 PM
Uma Roy, Succinct
Shiv Shankar, Boundless
Kubi Mensah, Gattaca

FAQs

Q: What is Ethproofs Day, and do I need a Devconnect ticket to attend?
Q: What is Ethproofs Day, and do I need a Devconnect ticket to attend?
A: Ethproofs Day is a special event held during Devconnect on November 22, 2025, at La Rural in Buenos Aires, Argentina. Yes, a Devconnect ticket is mandatory to access the venue and attend Ethproofs Day. This ticket also grants access to shared facilities like co-working spaces, food and beverage areas, and more. Please ensure you have a valid Devconnect ticket to avoid entry issues.
Q: When and where is Ethproofs Day taking place?
Q: When and where is Ethproofs Day taking place?
A: Ethproofs Day will be held on November 22, 2025, at La Rural in the Palermo neighborhood of Buenos Aires, Argentina, primarily in the Yellow Pavilion. Doors open at 9:00 AM, with the event running from 10:00 AM to 6:00 PM.
Q: What is the capacity for Ethproofs Day, and how does registration work?
Q: What is the capacity for Ethproofs Day, and how does registration work?
A: The event has a capacity of 252 seats, with 225 reserved for attendees and additional space for speakers and staff. Registration is managed via a Luma page, and the event is currently over capacity with a waitlist. Attendees must confirm their Devconnect ticket to secure their spot. If you’ve already signed up, ensure you’ve received confirmation and check communications for any additional steps.
Q: Will food and drinks be provided at Ethproofs Day?
Q: Will food and drinks be provided at Ethproofs Day?
A: Yes, Devconnect provides all-day heavy snacks, coffee, tea, and drinks for free across the venue, including the Yellow Pavilion. Ethproofs Day attendees will also enjoy three breaks: lunch, afternoon coffee, and a happy hour. Food trucks will be available on-site for purchasing additional meals. Food and beverages must be consumed in the designated catering area shown on the event floor plan.
Q: What facilities are available at the venue for Ethproofs Day?
Q: What facilities are available at the venue for Ethproofs Day?
A: The venue offers desks at each seat for note-taking, shared Wi-Fi, and basic power outlets. For additional electrical needs, contact the Devconnect production team. Restrooms are located near the Yellow Pavilion, and a networking area with high tables and chairs will be available for conversations and breaks to maintain stamina without disrupting presentations.
Q: Will the event be streamed or recorded?
Q: Will the event be streamed or recorded?
A: Ethproofs Day will not be streamed live but will be recorded and shared on the Ethereum YouTube page a few days after the event concludes.
Q: What is the event format, and what should attendees expect?
Q: What is the event format, and what should attendees expect?
A: Ethproofs Day will feature a mix of 15-minute presentations, 30-minute panel discussions, and 10-minute lightning talks, with a focus on lightning talks to encourage stimulating content and dialog via Q&A. The stage will have audio-visual support, including microphones for speakers, managed by on-site technical staff. Attendees can expect a structured schedule with breaks for networking and refreshments, plus a complimentary Ethproofs Day t-shirt.
Q: How is ticketing and entry managed for Ethproofs Day?
Q: How is ticketing and entry managed for Ethproofs Day?
A: All attendees must have a Devconnect ticket to enter La Rural. At the event space, volunteers will check registrations to ensure only confirmed attendees enter. For special cases like speakers or VIPs without a Devconnect ticket, organizers can submit a list of emails two weeks prior to the event (by November 8, 2025) to arrange complimentary tickets. Day passes may be available for purchase at the venue for those without a full Devconnect ticket.
Q: Can I still sign up if the event is over capacity?
Q: Can I still sign up if the event is over capacity?
A: Ethproofs Day is currently over capacity with 225 confirmed attendees and additional interested attendees on the waitlist. You can join the waitlist via the Luma page, but entry is not guaranteed. Check the event’s communications for updates on additional openings or cancellations.