Justin Thaler - Deep Dive into the Sumcheck Protocol | Ingonyama Sessions Published 2023-01-18 Download video MP4 360p Download video MP4 720p Recommendations 1:45:56 Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62 40:37 GKR based Zero-Knowledge Proofs - Yael Kalai, Microsoft Research 1:12:25 The Amazing Sumcheck Protocol" by Jonathan Bootle 59:50 Leslie Lamport: Thinking Above the Code 1:25:47 GitHub Actions Tutorial | From Zero to Hero in 90 minutes (Environments, Secrets, Runners, etc) 1:15:05 Deep Chill Music for Focus and Stress Relief 1:19:51 J.S. Bach: The Violin Concertos 1:14:40 Lecture 3 | Loss Functions and Optimization 1:04:32 Seeds of Growth (1111hz) | 1 hour handpan music | Malte Marten 16:27 An introduction to Reinforcement Learning 46:53 GraphRAG: Knowledge Graphs for AI Applications with Kirk Marple - 681 1:00:49 The Art of Code - Dylan Beattie 16:56 Stable Diffusion in Code (AI Image Generation) - Computerphile 1:05:32 François Chollet - Creating Keras 3 1:12:35 Sumcheck, GKR and Improving the Constraints per Hash Ratio in Snarks 1:17:22 Lecture A.2: Sumcheck Protocol 1:46:00 Chillstep Music for Programming / Cyber / Coding 1:01:40 Night at Work | Instrumental Chill Music Mix 1:27:41 Programming in Modern C with a Sneak Peek into C23 - Dawid Zalewski - ACCU 2023 1:25:00 Lecture 6: Version Control (git) (2020) Similar videos 20:04 SNARKs from the sum-check protocol - Justin Thaler 05:58 The intuition behind the sumcheck protocol in 5 minutes 1:24:53 Zero knowledge made simple | Justin Thaler 46:41 Keynote: Linear-Time SNARKs for R1CS and Friends - Justin Thaler (Georgetown) 2:06:50 ZKP MOOC Lecture 4: Interactive Proofs 1:06:45 Episode 261: Proofs, Arguments, and ZKPs with Justin Thaler 34:10 Sumcheck and GKR Protocol - First Demoday [EN] 23:22 Proof Aggregation using GKR with Soowon 1:15:17 Episode 313 - Revisiting Hardware with Ingonyama 1:58:17 Thaler Book Study Group - 04/27/23 (The GKR Interactive Proof for Circuit Evaluation) 30:19 ZK10: ZKML Endgame: Specialized ZK Proving with GKR - Ryan Cao 1:03:42 Efficient Post-Quantum zkSNARKs from Univariate Sumcheck 18:37 Sumcheck Arguments and their Applications 1:31:47 CSE204, Lec 17: Proving the Sumcheck protocol for #SAT, a short discussion about MIP 1:28:28 ZKStudyClub - Sumcheck Arguments and Their Applications w/ Jonathan Bootle and Katerina Sotiraki 25:01 Polynomial identity testing for low degree polynomials with optimal randomness More results