Zero-Knowledge Proofs
Proving systems and the tooling to build with them: how they work, what they cost, and the general-purpose virtual machines that prove arbitrary program execution.
1395 talks
- ZK8: SAFE: Faster and simpler hashing for ZKPs - JP Aumasson - Taurus
- Episode 250: What's the Deal with Hash Functions?
- Vampire, a Novel, Cheap to Verify, zkSNARK by Michal Zajac | Devcon Bogotá
- Improving Performance of Provable Computations Using Rust | Devcon Bogotá
- Rate Limiting Nullifier by AtHeartEngineer | Devcon Bogotá
- Private Value Transfer in 10 Lines by Maxim Vezenov | Devcon Bogotá
- Non-interactive, Unique Nullifiers: The Key to The Next Era of ZK by Aayush Gupta
- ZK Application Design Patterns | Devcon Bogotá
- Scaling Privacy with Starlight | Devcon Bogotá
- ZKPs and "Programmable Cryptography" by gubsheep | Devcon Bogotá
- Are Your Zero-Knowledge Proofs Correct? by Jon Stephens | Devcon Bogotá
- Private Exchange on ZKOPRU by Takamichi Tsutsumi | Devcon Bogotá
- ZK Proof Performance and Security Characteristics by Brian Wilkes, CFA | Devcon Bogotá
- Scalability is Boring, Privacy is Dead: ZK-Proofs, What are They Good for? by Ian Miers
- Recursive ZK Applications and Affordances | Devcon Bogotá
- Anonymous Signalling on Ethereum by Cedoor | Devcon Bogotá
- Building Privacy-Protecting Infrastructure by Oskar Thorén | Devcon Bogotá
- A SNARKs Tale: A Story of Building SNARK Solutions on Mainnet | Devcon Bogotá
- Penumbra: Building a Private DEX with ZKPs and Threshold Cryptography by Henry de Valence
- Worldcoin
- SNARK Light Clients
- The Future of PlonK ish System
- ELI5: Zero Knowledge by Wanseob Lim | Devcon Bogotá
- A ZoKrates Update by Thibaut Schaeffer | Devcon Bogotá