PQ Ethereum Workshop 2026

Cambridge, United Kingdom · 10-12 Oct 2026

Hosted by Ethereum Foundation.

44 talks

• leanVM in Lean 4
• Hash-Based Proofs Without Hashes
• Ethena Cryptanalysis, BLAKE3 Tweak
• Constrained Signing
• ROM Lower Bounds
• 1.5-Time Signatures and More
• Threshold Signing
• MPC Signing
• leanXMSS/leanSPHINCS in Lean 4
• QROM Grover Barrier
• Recursion Security
• Day 1 Learnings