Post-Quantum

Preparing Ethereum and its applications for quantum attacks: migration paths and quantum-resistant schemes.

187 talks

• PQ Ethereum Workshop - Day 2 Recap
• Mutual Correlated Agreement (Day 2), part 2
• Minimal zkVM
• PQ Ethereum Workshop - Day 2 Kickoff
• The ethSTARK Toy Problem
• PQ Devnet Updates
• WHIR Performance (workshop)
• zk(E)VM Formal Verification
• Minimal zkVM for Lean Ethereum
• PQ P2P Aggregation
• PQ Ethereum Workshop - Day 1 Kickoff
• Proximity Prize (workshop) (Day 1)
• Devnet Specs (workshop)
• P2P Performance
• Introduction to LeanSig
• WHIR Performance
• Hash-based zkSNARKs
• Seven Years in Poseidon
• PQ Ethereum Workshop - Day 1 Recap
• XMSS Signature Aggregation
• ArkLib: Verified Proof Systems in Lean
• leanVM-01: leanVM Crash Course and Sumcheck Optimization
• leanVM-02: Memory Models and Lookup Arguments
• leanVM-03: Compiler (Workshop)