Surya Mathialagan - Universal SNARGs for NP from Proofs of Completeness
55:22
Quang Dao: Non-Interactive Zero-Knowledge from LPN and MQ
1:05:22
Quang Dao: Lossy Cryptography from Code-Based Assumptions
1:03:01
Alireza Shirzad - Garuda and Pari: Faster and Smaller SNARKs via Equifficient Polynomial Commitments
54:12
John Kolesar: Zero-Knowledge Proofs for SMT Theorems and Regular Expression Equivalence
53:34
Multi-study R-learner for Est. Heterogeneous Treatment Effects Using Statistical Machine Learning
1:02:29
Mahimna Kelkar: Complete Knowledge - Preventing Encumbrance of Cryptographic Secrets
58:55
Alex Block: Concrete Security of the FRI Protocol
33:38