Privacy
Cryptography for private and provable computation.
2775 talks
- GrapheneOS Workshop: Secure by Design, Private by Default
- Encrypted, Not Anonymous: A Hands-On Introduction to Confidential Solidity
- Everyone is thinking about VPNs wrong
- Rage-Coding the Mother of All VPNs: Notes from Iran's Internet Blackouts
- PQC: Post-Quantum Collaboration?
- Enshrined Payment Channels: A Stateless, Post-Quantum, Confidential Rollup Design
- Towards Formally Verified zkEVMs
- From Production Rust to Lean 4 Proofs: A Verification Pipeline
- Formally Verifying a Shielded Pool in Lean 4
- Digital Objects: What, Why, and How
- Privacy in Other Words, Infrastructure for Expressive Freedom
- LeanVM
- An update on Local Mixing (iO)
- How to improve privacy and censorship-resistance by integrating a mixnet
- EEZ: Building Synchronous Ethereum with Real-Time ZK Proofs
- When the Network Shuts You Out: Measuring Resilience in Permissionless Networks
- Beyond Crypto: Only together are we strong
- Diamond iO: New Cryptanalysis and Efficiency Improvements
- Anonymity Is Censorship Resistance: Efficient Anonymous Broadcast Under Censorship
- The Future of Privacy and How to Stop it
- Challenges of Quantum-Safe Privacy on Ethereum
- Hiding Network Metadata: Introduction to Mixnets
- From First Mover to Blueprint: Lessons from Bhutan’s Decentralized ID
- You can't withdraw your privacy: PQ analysis of Kohaku privacy protocols