Alireza Shirzad - Garuda and Pari: Faster and Smaller SNARKs via Equifficient Polynomial Commitments
55:22
Quang Dao: Non-Interactive Zero-Knowledge from LPN and MQ
56:59
Jiahui Liu: The Black-Box Simulation Barrier Persists in a Fully Quantum World
1:08:37
João Ribeiro: "Noisy" versus "Bounded" Leakage
58:55
Alex Block: Concrete Security of the FRI Protocol
22:59
The Dome Paradox: A Loophole in Newton's Laws
1:05:22
Quang Dao: Lossy Cryptography from Code-Based Assumptions
54:12
John Kolesar: Zero-Knowledge Proofs for SMT Theorems and Regular Expression Equivalence
1:02:29