# Let's watch videos with David ## Program ### consensus - [ ] [Introduction to Consensus (Part I) with Andrew Lewis-Pye | a16z crypto research talks](https://www.youtube.com/watch?v=2fiC3sWnD9c) (01:10) - [ ] [A Survey of Proof-of-Stake (PoS) Blockchain Designs with Valeria Nikolaenko | a16z crypto research](https://www.youtube.com/watch?v=mZ-Ya7NRDxM) (01:25) - [ ] [Long-range Attacks on Proof-of-Stake (PoS) Blockchains w/ Valeria Nikolaenko | a16z crypto research](https://www.youtube.com/watch?v=-uxHoEfxXC4) (01:03) - [ ] [Direct Acyclic Graph (DAG) Based Consensus Protocols: An Introduction | a16z crypto research talks](https://www.youtube.com/watch?v=v7h2rXNtrV0) (01:18) - [ ] [DAG Meets BFT: The Next Generation of BFT Consensus with Alexander Spiegelman | a16z crypto research](https://www.youtube.com/watch?v=NGOXVSFzYdI) (00:50) ### ZKP schemes - [ ] [Gemini: Elastic SNARKs for Diverse Environments - Michele Orru at Zcon3](https://www.youtube.com/watch?v=onRiyf160fs&list=PL40dyJ0UYTLJm-Cl7ez3UXp8R4IuUNDfb) (00:25) - [ ] [Nova: Recursive Zero-Knowledge Arguments from Folding Schemes - Srinath Setty](https://www.youtube.com/watch?v=mY-LWXKsBLc) (00:25) - [ ] [Vampire, a Novel, Cheap to Verify, zkSNARK](https://www.youtube.com/watch?v=fl5N6KCtXyI) (00:08) - [ ] [ZK8: Hyperplonk: PLONK without FFTs and with high degree gates - Benedikt Bünz](https://www.youtube.com/watch?v=2JDBD5oMS0w) (00:30) ### First principles ZKP - [ ] [Understanding the Moon Math of ZK Snarks workshop led by Anna Kaplan and Liz Steininger](https://www.youtube.com/watch?v=gaXiYRBnBPE&list=PL40dyJ0UYTLJm-Cl7ez3UXp8R4IuUNDfb) (00:42) - [ ] [SNARK Design, Part I, with Justin Thaler | a16z crypto research talks](https://www.youtube.com/watch?v=tg6lKPdR_e4) (01:28) - [ ] [SNARK Design, Part II, with Justin Thaler | a16z crypto research talks](https://www.youtube.com/watch?v=cMAI7g3UcoI) (01:39) - [ ] [SNARKY Design, Part II](https://www.youtube.com/watch?v=ZEjuh1UBg6A) (01:40) - [ ] [An Evolution of Models for Zero-Knowledge Proofs with Sarah Meiklejohn | a16z crypto research talks](https://www.youtube.com/watch?v=HO97kVMI3SE) (00:54) - [ ] [zkporter's class](https://www.youtube.com/watch?v=QDplVkyncYQ) - [ ] [risc zero study club playlist](https://www.youtube.com/playlist?list=PLcPzhUaCxlCjdhONxEYZ1dgKjZh3ZvPtl) ### ZK whiteboards - [ ] [ZK Whiteboard Sessions - Module Six: Lookup Tables for Performance Optimisation](https://www.youtube.com/watch?v=1oLzrbTBlbc) (00:52) - [ ] [ZK Whiteboard Sessions – Module Seven: Zero Knowledge Virtual Machines (zkVM) with grjte](https://www.youtube.com/watch?v=GRFPGJW0hic) (00:58) - [ ] [ZK Whiteboard Sessions – Module Eight: Achieving Decentralised Private Computation](https://www.youtube.com/watch?v=_oW29AOKWTs) (01:07) - [ ] [ZK Whiteboard Sessions – Module Nine: Introduction to zkRollups with Barry Whitehat](https://www.youtube.com/watch?v=lJS4z2n4P1E&list=PLj80z0cJm8QErn3akRcqvxUsyXWC81OGq&index=9) (00:55) - [ ] [ZK Whiteboard Sessions – Interview with Ariel Gabizon on The PLONK Origin Story and Roadmap](https://www.youtube.com/watch?v=GKja-cJFYdA&list=PLj80z0cJm8QErn3akRcqvxUsyXWC81OGq&index=10) (00:21) - [ ] [ZK Whiteboard Sessions – Module Ten: zkEVM with Jordi Baylina](https://www.youtube.com/watch?v=mrf9HjjL_38&list=PLj80z0cJm8QErn3akRcqvxUsyXWC81OGq&index=11) (01:26) - [ ] [ZK Whiteboard Sessions – Module Eleven: ZK Swaps with Henry de Valence](ZK Whiteboard Sessions – Module Eleven: ZK Swaps with Henry de Valence) (01:12) - [ ] [ZK Whiteboard Session – Module Twelve: zkID with Oleksandr Brezhniev](https://www.youtube.com/watch?v=5TJ3BZEc1Ro&list=PLj80z0cJm8QErn3akRcqvxUsyXWC81OGq&index=13) (00:51) ### Zk Study club - [ ] [zkStudyClub: Multi-scalar multiplication: state of the art & new ideas with Gus Gutoski (Consensys)](https://www.youtube.com/watch?v=Bl5mQA7UL2I) ### ZKP implementations - [ ] [A Forest of Levers: The Performance of Orchard - Jack Grigg (Str4d) at Zcon3](https://www.youtube.com/watch?v=kkQWubFae7Y&t=2539s) (00:58) - [ ] [ZK8: An introduction to Hasse's theorem/cool facts about elliptic curves – Ariel Gabizon - Aztec](https://www.youtube.com/watch?v=EtPoP5bxQk8) (00:29) ### Programming - [ ] [Effective Programming: Adding an Effect System to OCaml](https://www.youtube.com/watch?v=z8SI7WBtlcA) (01:14) ### Devops - [ ] [Why nothing you ever do might make the slightest difference](https://www.youtube.com/watch?app=desktop&v=k7tdUhSHCUE) (01:02) ### Foundations of Probabilistic Proofs (Fall 2020) [playlist](https://www.youtube.com/playlist?list=PLGkwtcB-DfpzST-medFVvrKhinZisfluC) - [ ] 1 - [ ] 2 - [ ] 3 - [ ] 4 - [ ] 5 - [ ] 6 - [ ] 7 - [ ] 8 - [ ] 9 - [ ] 10 - [ ] 11 - [ ] 12 - [ ] 13 - [ ] 14 - [ ] 15 - [ ] 16 - [ ] 17 - [ ] 18 - [ ] 19 - [ ] 20 - [ ] 21 - [ ] 22 - [ ] 23 - [ ] 24 - [ ] 25 - [ ] 26 ## Stark - [ ] playlist: https://twitter.com/elibensasson/status/1578380154476208131?s=43&t=GQIXNlUeqABbzivHGuHhlw ## More https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g/videos