Let's watch videos with David

Program

consensus

• Introduction to Consensus (Part I) with Andrew Lewis-Pye | a16z crypto research talks (01:10)
• A Survey of Proof-of-Stake (PoS) Blockchain Designs with Valeria Nikolaenko | a16z crypto research (01:25)
• Long-range Attacks on Proof-of-Stake (PoS) Blockchains w/ Valeria Nikolaenko | a16z crypto research (01:03)
• Direct Acyclic Graph (DAG) Based Consensus Protocols: An Introduction | a16z crypto research talks (01:18)
• DAG Meets BFT: The Next Generation of BFT Consensus with Alexander Spiegelman | a16z crypto research (00:50)
• https://www.youtube.com/watch?v=o95u-ksOtIo
• https://www.youtube.com/watch?v=ONobI3X70Rc

ZKP schemes

• Gemini: Elastic SNARKs for Diverse Environments - Michele Orru at Zcon3 (00:25)
• Nova: Recursive Zero-Knowledge Arguments from Folding Schemes - Srinath Setty (00:25)
• Vampire, a Novel, Cheap to Verify, zkSNARK (00:08)
• ZK8: Hyperplonk: PLONK without FFTs and with high degree gates - Benedikt Bünz (00:30)

First principles ZKP

• Understanding the Moon Math of ZK Snarks workshop led by Anna Kaplan and Liz Steininger (00:42)
• SNARK Design, Part I, with Justin Thaler | a16z crypto research talks (01:28)
• SNARK Design, Part II, with Justin Thaler | a16z crypto research talks (01:39)
• SNARKY Design, Part II (01:40)
• An Evolution of Models for Zero-Knowledge Proofs with Sarah Meiklejohn | a16z crypto research talks (00:54)
• zkporter's class
• risc zero study club playlist / https://twitter.com/risczero/status/1594717553435123714?s=43&t=xk46MK2psrjl1TokYLf0Mw

ZKP Courses

• ZK Whiteboard Sessions (00:52)
• MIT 0xPARC lectures
• Foundations of Probabilistic Proofs (Fall 2020)
• ZK MOOC

Zk Study club

• zkStudyClub: Multi-scalar multiplication: state of the art & new ideas with Gus Gutoski (Consensys)

ZKP implementations

• A Forest of Levers: The Performance of Orchard - Jack Grigg (Str4d) at Zcon3 (00:58)
• ZK8: An introduction to Hasse's theorem/cool facts about elliptic curves – Ariel Gabizon - Aztec (00:29)
• PLONK optimizations

Programming

• Effective Programming: Adding an Effect System to OCaml (01:14)

Devops

• Why nothing you ever do might make the slightest difference (01:02)

Stark

• playlist: https://twitter.com/elibensasson/status/1578380154476208131?s=43&t=GQIXNlUeqABbzivHGuHhlw

DSLs

• Keynote: ZKP Languages - Where We Are Now - Kobi Gurkan (Geometry) (00:53)

MPC

• https://www.youtube.com/watch?v=uKDeaQjB9bk

More

https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g/videos