Yi Tang: Cryptanalysis of Lattice-Based Sequentiality Assumptions and Proofs of Sequential Work
55:22
Quang Dao: Non-Interactive Zero-Knowledge from LPN and MQ
1:05:22
Quang Dao: Lossy Cryptography from Code-Based Assumptions
1:21:50
François Chollet on OpenAI o-models and ARC
54:51
Binyi Chen: LatticeFold - A Lattice-based Folding Scheme and Applications to Succinct Proof Systems
36:16
The math behind Attention: Keys, Queries, and Values matrices
26:20
A Sensible Introduction to Category Theory
41:43
Yuval Ishai: Dot-Product Proofs
1:02:29