Surya Mathialagan - Universal SNARGs for NP from Proofs of Completeness
22:59
La paradoja de la cúpula: una laguna en las leyes de Newton
33:38
Zero Knowledge Proof (with Avi Wigderson) - Numberphile
41:43
Yuval Ishai: Dot-Product Proofs
49:09
Alex Hoover: Plinko - Single-Server PIR with Efficient Updates via Invertible PRFs
1:03:01
Alireza Shirzad - Garuda and Pari: Faster and Smaller SNARKs via Equifficient Polynomial Commitments
26:36
Axioms in logic
54:12
John Kolesar: Zero-Knowledge Proofs for SMT Theorems and Regular Expression Equivalence
59:16