Skip to content

Archive

Home Browse Courses Talks Study Paths

Directory

Institutions Speakers

Library

Playlists

Full university courses, lectures, and study paths—free of ads and clutter.

Archive

All Lectures
University Courses
Standalone Talks
Guided Study Paths
Institutions
Speakers

Disciplines

Systems & CS
Engineering & Control
Theory & Algorithms
Biology & Neuro
AI & Machine Learning
Economics & Finance
Mathematics
Philosophy & Ethics
Physics & Cosmology
History & Humanities

Workspace

Saved Library
Study Notebook
About & Mission
Help & Feedback
RSS Feed
Sitemap

© 2026 Lectern·Independent Academic Archive·Made in NYC

Press ⌘K to search · ? for shortcuts

/

Academic Discipline

Algorithms & Theory

Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.

14courses·71standalone talks·339total lectures

Subfields

All Theory & Algos339 Algorithms & Data Structures152 Computational Complexity88 Cryptography43 Combinatorics & Graph Theory19 Formal Methods & Type Theory13 Category Theory, Topos Theory & Set Foundations11 Programming Languages6 Algorithmic Information & Coding Theory1 Systems Security1

Cryptography— Zero-knowledge proofs, post-quantum and elliptic-curve cryptography, multiparty computation, and differential privacy.

6 topics

All Cryptography Block Ciphers, Encryption & Privacy18 Public-Key & Elliptic Curve Crypto18 Zero-Knowledge & Interactive Proofs12 Data Encryption Standard2 Information Security2 Stream Ciphers2

jknavigate↵watchcchaptersssavexwatched

Save

Proofs, Knowledge, and Computation: Zero-Knowledge Interactive Systems

Proofs, Knowledge, and Computation: Zero-Knowledge Interactive Systems

Theory & Algos·Public Lecture·Zero-Knowledge & Interactive Proofs · Silvio Micali · MIT

—

1:03:26

More categories

Systems & CS (434)Mathematics (434)Physics & Cosmology (414)AI & Machine Learning (213)History & Humanities (377)Philosophy & Ethics (264)Biology & Neuroscience (281)Economics & Finance (336)Engineering & Robotics (209)

Turing Award · Cryptography

1