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
- ZK11: SNARK proving ASICs - Justin Drake
- Mainnet Unveiled: The Future of Data Ownership with DOP & ZK-Proofs
- Unveiling the Future of Zero-Knowledge Proofs
- ZK11: Pushing the Performance and Usability of Zero Knowledge Proofs - Daniel Dore
- ZK11: Binius: a Hardware-Optimized SNARK - Jim Posen
- ZK11: The Role of Decentralized Proving Networks in the Modular Stack - Uma Roy
- ZK11: o1VM: Building a Real-World zkVM for MIPS - Danny Willems
- ZK11: Make Lurk Work - Chhi'mèd Künzang
- ZK11: ZK Email: Novel ZK Applications Unlocked by Portable Provenance - Aayush Gupta & Sora Suegami
- ZK11: Anna Rose - Welcome to zkSummit & Sponsor Intro
- ZK Hack Study Group – MoonMath Manual 2024 – Week 1
- ZK11: Aptos Keyless: Blockchain Accounts without Secret Keys - Alin Tomescu
- ZK11: The Last Challenge Attack - Oana Ciobotaru
- ZK11: Insights into Practical Folding - Mara Mihali
- ZK11: Natively Compatible Super-Efficient Lookup Arguments - Matteo Campanelli
- ZK11: Sharing Randomness in Distributed Proving - Tamir Hemo
- ZK11: Common Pitfalls & Optimization for Modern Cryptographic Protocol Implementations - S. Agrawal
- ZK11: Folding, Codes and Linear Algebra - Alex Evans
- ZK11: Circle STARKs - Ulrich Haböck & Shahar Papini
- ZK11: Pretty Optimal: Integrating Application-Specific Circuits and zkVMs - Victor Graf
- Intro to SNARKs 4: Proof systems in the wild
- Jack on "Folding in Consumer Apps" @ ZK Hack Meetup in Athens, 12 April 2024
- Andrew on "Advanced Cryptography for Communities" @ ZK Hack Meetup in Athens, 12 April 2024
- ZK Proof Aggregation with Garvit Goel of Electron Labs