This focused workshop is a collaborative effort between ZKProof and the Ethereum Foundation’s FV-zkEVM team. It aims to advance the practice of formal verification within zero-knowledge-proof systems. Attendees will engage in deep technical discussions, participate in collaborative problem-solving sessions, and contribute to strategic roadmaps for future research and implementation.

What to Expect:

In-Depth Tech Talks: Gain insights from leading figures in the field, including Prof. Alessandro Chiesa and Prof. Jens Groth, on the latest research and challenges in formal verification for ZKPs.
Collaborative Sessions: Work alongside peers and experts to tackle pressing issues in the integration of formal verification processes, particularly those affecting Ethereum’s scalability and security.
Outcome-Oriented Work: Contribute to the development of actionable roadmaps for adding formal verification to the ZKP and Ethereum ecosystem.

*********************************************************************************************************
The workshop is by invitation only, participation is free but space is limited.
If you are interested in participating, please email contact@zkproof.org with your full name, title, and company, and briefly describe why you are interested in participating in the workshop.
*********************************************************************************************************

https://verified-zkevm.org

ZKProof & EF Workshop: Formal Verification of ZKP