
#168 – Silvio Micali: Cryptocurrency, Blockchain, Algorand, Bitcoin, and Ethereum
Lex Fridman Podcast
00:00
Interactive and Zero-Knowledge Proofs
This chapter explores the transformative nature of interactive and zero-knowledge proofs in theoretical computer science, emphasizing their efficiency in learning and verification. It discusses how these proofs allow for the confirmation of truths without requiring deep understanding, suggesting that every theorem can ultimately be represented in a zero-knowledge format.
Transcript
Play full episode