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
- ZK HACK mini- Introduction to Puzzle M1
- ZK HACK mini - Introduction to Miden VM
- Fireside Chat with Zooko - Zooko Wilcox O'Hearn
- Getting Started with Aleo Building ZK powered Applications Using Leo Alex Pruden
- Web2 vs Web3, Zero knowledge talk and much more - The Daily Gwei Refuel #285 - Ethereum Updates
- Amir Taaki, Ivan Jelincic & Rose O'Leary: DarkFi – Let There Be Dark (Part 2 of 2) #424
- Amir Taaki, Ivan Jelincic & Rachel-Rose O'Leary: DarkFi – Let There Be Dark (Part 1 of 2) #423
- Hasu gets STARK-pilled - with Eli Ben-Sasson (StarkWare)
- Episode 210: The Road to STARKs and Miden with Bobbin Threadbare
- ZK HACK - Introduction to SnarkyJS and Snapps with Mina
- ZK HACK - Aleo Workshop Part 2 - Leo the circuit compiler: the why and the what
- ZK HACK - Aleo Workshop Part 1, Deriving value from zkSNARKs: an example with ZEXE
- ZK HACK - Introduction to Puzzle 6
- ZK HACK - Aleo Workshop Part 3 - Leo circuit compiler workshop
- ZK HACK - Introduction to Puzzle 5
- zkStudyClub: PLONKUP & Reinforced Concrete [Luke Pearson, Joshua Fitzgerald, Dmitry Khovratovich]
- ZK HACK - Ferveo and Plonkup Workshop - Anoma
- ZKStudyClub: Eclipse and Lunar with Matteo Campanelli
- Episode 205: Curating JPEGs with JPG
- fflonk: a Fast-Fourier inspired verifier efficient version of PlonK [Ariel Gabizon, Aztec]
- ZK HACK - Introducing Circom 2.0 - Iden3
- ZKPodcast: MPC and DAGs with Aleph Zero’s Adam Gagol & Matthew Niemerg
- ZK HACK - How to Make SNARKs - Alessandro Chiesa
- ZK HACK - zkSNARKs from Polynomial Commitments - Pratyush Mishra