Constant-Size zk-SNARKs in ROM from Falsifiable Assumptions - Roberto Parisella Published 2024-03-25 Download video MP4 360p Recommendations 55:55 BabySpartan: Lasso-based SNARK for non-uniform computation 06:25 The magic of Fibonacci numbers | Arthur Benjamin | TED 03:39 Roger Penrose explains Godel's incompleteness theorem in 3 minutes 40:08 The Most Important Algorithm in Machine Learning 1:20:28 LatticeFold - Binyi Chen 04:02 Michio Kaku: The Supergenius | Big Think 01:53 Richard Feynman on Pseudoscience 02:42 On religion 10:37 The Bayesian Trap 1:11:16 Lecture 6: Backpropagation 1:34:56 KAN: Kolmogorov-Arnold Networks | Ziming Liu 04:46 Michio Kaku: Consciousness Can be Quantified | Big Think 05:55 Richard Feynman talks about light 02:58 On teaching 1:32:25 Anton Korinek on Automating Work and the Economics of an Intelligence Explosion 10:22 David Deutsch - What is Truth? 1:55:51 Intro to SNARKs 1: What are SNARKs? 1:16:48 Mysteries of the Mathematical Universe 08:28 Leonard Susskind - Why Do We Search for Symmetry? 15:11 Bayes theorem, the geometry of changing beliefs Similar videos 1:01:00 SNARKs (Eurocrypt 2024) More results