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
- The Evolution from ZKP2P to Peer
- Mert Mumtaz & Dev: Private Money Is The Final Frontier (Massive Upside)
- The 'Useless' Theory Behind Modern SNARKs (ft. Gödel Prize Winner Noam Nisan)
- Meetup #21 - Devconnect ARG recap
- How Shafi Goldwasser Co-Invented Zero-Knowledge Proofs
- zkPACT: ZK Private Crosschain Token Transfer Framework
- Episode 406 - Alex Ozdemir on where Theorem Provers and ZK meet
- Episode 404 - Pushing the Limits of Proof Systems with Benedikt Bünz
- Episode 403 - Building ZK-Powered AI Guardrails with Wyatt Benno
- Mert Mumtaz & Illia Polosukhin: What Happened to Zcash (Full Explanation)
- Proving Ethereum in Real Time with OpenVM 2.0
- Cypherpunk Is Dead, Long Live Cypherpunk
- Why Institutional Custody Breaks on Shielded Chains
- Proof Over Promises
- Building the Data Layer for Ethereum's Institutional Era
- Onchain Privacy for Institutions
- Keccacheck: solving the Keccak bottleneck in zk SNARKs
- ZK14: Miden's Arithmetic Circuit Evaluation (ACE) chiplet - Adrian Hamelink (Miden)
- ZK14: Confidential and Verifiable Telemetry using Zero-Knowledge Proofs - Janwillem Swalens
- ZK14 - Resource-Sharing Permutations for Computational Integrity - Fabian Schmid (TU Graz)
- ZK14 - SNARKs for Integers with Low Overhead - Lucas Xia (NYU)
- ZK14 - ZK-AntiCheat: a novel approach for video game anti-cheat software - Khaled Suliman
- ZK14 - eDAS: Extending Data Availability Sampling with Privacy and Compliance - Isobel Watkins (UCL)
- ZK14 - Making verifiable FHE practical - Daniele Cozzo (IMDEA Software Institute)