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
15:11
Teorema de Bayes, la geometría del cambio de creencias
1:03:01
Alireza Shirzad - Garuda and Pari: Faster and Smaller SNARKs via Equifficient Polynomial Commitments
9:43
Intro to Proofs - Introduction - part 1/3
54:12
John Kolesar: Zero-Knowledge Proofs for SMT Theorems and Regular Expression Equivalence
1:02:29
Mahimna Kelkar: Complete Knowledge - Preventing Encumbrance of Cryptographic Secrets
52:05