Cryptography
Cryptographic primitives in production, including signature schemes and threshold cryptography.
306 talks
- Formal Verification in Lean
- Everyone is thinking about VPNs wrong
- leanSPHINCS: Signing for the long run
- Post-Quantum Accounts Today: Benchmarking Falcon-512 Verification Inside Starknet's `__validate__`
- Steal Now, Reveal Never: The Quiet Arrival of Quantum Attacks
- An update on Local Mixing (iO)
- Prisoners of Work: Can Proof-of-Work Detect Quantum Computers?
- Diamond iO: New Cryptanalysis and Efficiency Improvements
- Anonymity Is Censorship Resistance: Efficient Anonymous Broadcast Under Censorship
- FRIVail: A Data Availability Scheme based on FRI Binius
- Challenges of Quantum-Safe Privacy on Ethereum
- Hiding Network Metadata: Introduction to Mixnets
- leanSPHINCS for developers: how to build on Post-Quantum Ethereum
- Beyond the Johnson Bound: A Path to Smaller Post-Quantum SNARKs
- Lattice-based Post-Quantum Stealth Address Protocol
- PQ Ethereum Q&A
- Post-Quantum Transition
- Lyn Alden on whether Bitcoin has bottomed and what could spark a breakout
- 'Bunker Mode': Is Crypto's Cryptography Running Out of Time?
- Could AI-Accelerated Math Break Crypto's Keys Before Quantum Does?
- AI Agents, Quantum, and ETH
- AI Threatens Crypto Security
- Zero Knowledge
- Will AI Break Cryptography?