PQ Ethereum Workshop 2026

Cambridge, United Kingdom · 10-12 Oct 2026

Hosted by Ethereum Foundation.

44 talks

• Ethereum Specs in Lean 4
• Binary Counterexamples
• Digesting better.codes
• Generative Cryptography
• Sub-100KiB 128-bit Proofs
• leanDA and da.fast
• Optimised Merkle Caps
• Soundness with Collisions?
• Ethereum PQ Integration
• Digesting snark.fast
• RISC-V zkVMs in Lean 4
• Ethlambda Experiments