John Kolesar: Zero-Knowledge Proofs for SMT Theorems and Regular Expression Equivalence
55:22
Quang Dao: Non-Interactive Zero-Knowledge from LPN and MQ
49:09
Alex Hoover: Plinko - Single-Server PIR with Efficient Updates via Invertible PRFs
17:19
Regular Expressions - Computerphile
52:05
Surya Mathialagan - Universal SNARGs for NP from Proofs of Completeness
58:07
Chuck Huber: Causal Inference for Complex Observational Data
6:34
When Computers Write Proofs, What's the Point of Mathematicians?
1:02:29
Mahimna Kelkar: Complete Knowledge - Preventing Encumbrance of Cryptographic Secrets
1:44:32