Real-Time Proofs in Motion
Hi ZisK at Devconnect 2025 — Real-Time Proofs in Motion
Following our recent milestone in real-time zk-proofing of Ethereum, we’re continuing the conversation at Devconnect.
Join the ZisK team and contributors from across the ecosystem for Real-Time Proofs in Motion a day focused on the architecture, distributed proving model, and the path ahead for scalable, trustless computation.
These session brings together researchers, protocol engineers, and builders shaping the future of verifiable computation. We’ll explore ZisK’s architecture, distributed proof generation and verification frameworks with speakers and collaborators from Ethereum Foundation, OpenZeppelin, and more.
📍 Event Details
Date: Thursday, November 20
Time: 11:00 AM – 6:00 PM (GMT-3)
Location: Aleph Hub, C1426DGG, Ciudad Autónoma de Buenos
Agenda
12:00 – 12:30 — Kickoff & Context: What is ZisK, Real-Time Proofs in Motion
Speaker: Jordi Baylina, ZisK
12:30 – 1:00 — Prover Session 1: Proofman Performance Optimisation
Speakers: Rick, ZisK
1:00 – 1:30 — Standardiing a zkEVM Target
Speaker: Kev (Ethereum Foundation)
1:30 – 3:00 — Break & Networking
Format: Break
3:00 – 3:30 — Findings from the ZisK Open Source Review
Speaker: Adrià Torralba-Agell (OpenZeppelin)
3:30 – 4:00 — Prover Session 2: ZisK architecture Demo & Workshop
Speaker: Xavi, ZisK
4:00 – 4:30 — A General Approach to Verifying zkVM Arithmetisations
Speaker: Albert Rubio, (Costa Group)
4:30 – 5:00 — 128 Bits of Security: Why Less Isn’t Enough
Speaker: Hector, ZisK
5:00 – 6:00 — Technical Challenges of zkVMs: How Far Can We Push Latency and Cost?
Speakers: Junda Liu (Brevis) • Marcin (zkSync) • Lucian Stroie (Boundless) • Jordi Baylina (ZisK ) • Yi Sun (Axiom) • Eugene (Succinct)
Moderator: Sophia ( Ethereum Foundation)
6:00 onwards — Drinks, Snacks & Hangout
Featuring a special something from the OpenVino team
Who Should Attend
• zk researchers and protocol engineers
• Teams building rollups or verifiable compute systems
• Protocols and teams exploring zk integrations
• Anyone interested in the next phase of trustless computation