Ethproofs Day at Devconnect Argentina 2025

Buenos Aires, Argentina · 22 Nov 2025

Hosted by Ethereum Foundation.

22 talks

• Keynote: Distributed Real-Time Proving in ZisK by Jordi Baylina, ZisK
• Lightning Talk: Expanding Ethereum’s Proving Landscape with Ethrex by Leandro Ferrigno, LambdaClass
• Keynote: zkSync Airbender: Fullstack zkVM Customizations by Porter Adams, MatterLabs
• Lightning Talk: Security & Diversity in VMs by Mauro Toscano, LambdaClass
• Lightning Talk: Proof Orchestration in Rust: Scaling Proof Workflows by Mohsen Ahmadvand, Zircuit
• Panel Discussion: Formal Verification & Fuzzing moderated by Alexander Hicks, Ethereum Foundation
• Keynote: Brevis Pico VM: From Modularity to RTP by Michael Dong, Brevis
• Lightning Talk: L2BEAT ZK Catalog 🤝 Ethproofs by Sergey Shemyakov, L2BEAT
• Keynote: OpenVM: RTP for Ethereum L1, the Modular Approach by Yi Sun, Axiom
• Lightning Talk: On the (In-)Security of Fiat-Shamir by Ron Rothblum, Succinct