​​​ZKONNECT organized by Brevis will explore how ZKVMs, ZK Coprocessors, ZKML and ZK-TLS are moving from concept to production. We'll examine real implementations solving actual problems in verifiable computation today.

​​The event covers how projects are deploying these technologies to enable cross-chain data access, verifiable AI inference, and trustless computation at scale. Attendees will see concrete examples of ZK infrastructure powering live applications.

​Join us with

• ​Michael, Co-founder & CEO of Brevis

• ​Will Corcoran, Research Coordinator at the Ethproofs

• ​Florian Huc, Architect at Consensys

• ​Dr. Julian Sutherland, Head of Formal Verification of Nethermind

• ​Jason Morton, Founder of EZKL

• ​Arthur Remy, Product Lead of Linea

• ​Francesco, DevRel of MetaMask

• ​Vladimir Tikhomirov, Co-founder of Algebra

• ​Diego Kingston, Co-founder of Aligned

• ​Matt Murry, Product Manager of EigenDA at EigenCloud

• ​Sylve Chevet, CEO of Hyli

• ​Chi Zhang, Co-founder & CEO of KITE AI

• ​Diego Kingston, Head of Research at LambdaClass

• ​Xiang Xie, Co-founder of Primus Labs

• ​Tamir Hemo, Head of Cryptography of Succinct

• ​Haichen Shen, Co-founder of Scroll

• ​Gustavo Gonzalez, Director of Engineering at Taiko

• ​Robbie Klages, Co-founder of The Rollup

• ​Alice Liu, Host at House of ZK

• ​Stephen Duan, CTO of ZKM

• ​Rolf Versluis, Co-founder and Growth Lead of zkVerify

• ​George V, Strategic Partnership Lead of 0G

​Agenda

• ​13:00 - 13:30 Registration & Welcome Drinks

• ​13:30 - Opening 

• ​13:35 - 13:50 Keynote

  • ​"Brevis: The Infinite Compute Layer For Everything" by Michael, Co-founder & CEO of Brevis

• ​13:50 - 14:05 Keynote

  • ​"Speedrun 2025: Or How I Learned to Stop Worrying and Love the Meme" by Will Corcoran, Research Coordinator at the EF

• ​14:10 - 14:40 Panel Discussion

  • ​"Beyond TPS: The Modular Road to Scale"

    • ​Moderator

      • ​Robbie Klages, Co-founder of The Rollup

    • ​Speakers

      • ​Matt Murry, Product Manager of EigenDA EigenCloud

      • ​Diego Kingston, Head of Research of LambdaClass & Co-founder of Aligned

      • ​Gustavo Gonzalez, Director of Engineering of Taiko

      • ​Tamir Hemo, Head of Cryptography of Succinct

• ​14:45 - 15:15 Panel Discussion

  • ​ "EVM Proved in 10 Secs: The Race to Real-Time Proving"

    • ​Moderator

      • ​Francesco, DevRel of Consensys and MetaMask

    • ​Speaker

      • ​Arthur Remy, Product Lead of Linea 

      • ​Stephen Duan, CTO of ZKM

      • ​Michael, Co-founder & CEO of Brevis

      • ​Haichen Shen, Co-founder of Scroll

• ​15:20 - 15:35 Keynote

  • ​"On the Use of ZK Proof from Validation to Privacy" by Florian Huc, Architect at Consensys

• ​15:35 - 15:50 Keynote

  • ​"RISC and Reward: Formally Verifying zkVMs" by Dr. Julian Sutherland, Head of Formal Verification of Nethermind

• ​15:55 - 16:25 Panel Discussion

  • ​"From Proofs to Products: Shipping What Matters"

    • ​Moderator

      • ​Wanli, Head of Ecosystem of Brevis

    • ​Speaker

      • ​Vladimir Tikhomirov, Co-founder of Algebra

      • ​Xiang Xie, Co-founder of Primus Labs

      • ​Sylve Chevet, CEO of Hyli

      • ​Rolf Versluis, Co-founder and Growth Lead of zkVerify

• ​16:30 - 17:00 Panel Discussion

  • ​"Proving Intelligence: Agentic AI with Verifiable Autonomy"

    • ​Moderator

      • ​Alice Liu, Host at House of ZK

    • ​Speaker

      • ​Jason Morton, Founder of EZKL

      • ​Chi Zhang, Co-founder & CEO of KITE AI

      • ​George V, Strategic Partnership Lead of 0G

      • ​Tom Langer, Head of Engineer of Fhenix

• ​17:00 - 18:00 Networking

​

​Brevis is a smart verifiable computing platform powered by zero-knowledge proofs that serves as the infinite compute layer for Web3. It enables Web3 applications to offload data-intensive, complex, and expensive computations from constrained on-chain environments to a high-performance, low-cost off-chain verifiable computing engine.