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
- Episode 242: Halo 2 with Daira Hopwood and Str4d
- SNARK Design, Part I, with Justin Thaler | a16z crypto research talks
- Zero-Knowledge Smart Contracts with Alex Pruden of Aleo
- SNARK Design, Part II, with Justin Thaler | a16z crypto research talks
- ZK Whiteboard Sessions - Module Six: Lookup Tables for Performance Optimisation
- ZKV presents... Privacy on Celo (Full event video)
- How Polygon scales Ethereum with zero-knowledge proofs and Polygon ID
- ZK Whiteboard Sessions - Module Five: PLONK and Custom Gates with Adrian Hamelink
- An Evolution of Models for Zero-Knowledge Proofs with Sarah Meiklejohn | a16z crypto research talks
- ZK Whiteboard Sessions - Module Four: SNARKs vs STARKs with Bobbin Threadbare
- ZK Whiteboard Sessions - Module Three: Building a SNARK, pt 2 by Dan Boneh
- ZK Whiteboard Sessions - Module Two: Building a SNARK, pt 1 by Dan Boneh
- ZK Whiteboard Sessions - Module One: What is a SNARK? by Dan Boneh
- Polynomial Commitment KZG with Examples ( part 2 )
- Polynomial Commitment KZG with Examples ( part 1 )
- Polygon teams up w/ Reddit, Aztec Connect live - The Daily Gwei Refuel #402 - Ethereum Updates
- Caulk: zkStudyClub: Caulk - Lookup Arguments in Sublinear Time (Arantxa Zapico)
- Episode 237 - Exploring ZK Research with Jens Groth
- zkStudyClub: Gemini - Elastic SNARKs for Diverse Environments (Michele Orrù)
- Stark Recursion
- Gate your app without doxing your users
- Attestations as Web3 Cookies: Leverage your on-chain Data
- Vamp-IR: a universal language for arithmetic circuits
- STARK Recursion / Avihu Mordechai Levy