Yi Tang: Cryptanalysis of Lattice-Based Sequentiality Assumptions and Proofs of Sequential Work
1:05:22
Quang Dao: Lossy Cryptography from Code-Based Assumptions
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
54:12
John Kolesar: Zero-Knowledge Proofs for SMT Theorems and Regular Expression Equivalence
52:05
Surya Mathialagan - Universal SNARGs for NP from Proofs of Completeness
1:03:01
Alireza Shirzad - Garuda and Pari: Faster and Smaller SNARKs via Equifficient Polynomial Commitments
1:02:29
Mahimna Kelkar: Complete Knowledge - Preventing Encumbrance of Cryptographic Secrets
1:02:54