PQ Ethereum Workshop 2025

Cambridge, United Kingdom · 4-6 Oct 2025

Hosted by Ethereum Foundation.

35 talks

• ArkLib: Verified Proof Systems in Lean
• Generic VM Compilation Architectures
• zk(E)VM Formal Verification
• Minimal zkVM - Cairo M Design
• Proximity Prize (workshop) (Day 1)
• Proximity Prize (workshop) (Day 3)
• Devnet Breakout (p2p)
• Lean p2p
• PQ Ethereum Workshop - Day 3 Recap
• Minimal zkVM
• The ethSTARK Toy Problem
• Mutual Correlated Agreement (Day 2), part 1