Moni Naor | Polylogues

The interview provides valuable insights into the mind of a leading cryptographer, offering a personal perspective on the development of key concepts. Naor’s explanations are clear and accessible, making complex topics understandable without oversimplifying. The discussion on non-malleability and homomorphic encryption is particularly illuminating, as he contrasts the two concepts to highlight the importance of preventing related ciphertexts. His account of the origins of CAPTCHA is engaging and provides context for its current challenges with AI. The interview also touches on broader issues such as the ‘cryptographic wars’ and the potential impact of quantum computing, showing a thoughtful consideration of the field’s future. However, as an interview, it lacks the rigor of a formal lecture or paper; some points are anecdotal and not deeply explored. The sources cited are primarily the researcher’s own work and classic references, which are credible but not exhaustive. Overall, the content is scientifically sound and offers a unique perspective, but it is not a comprehensive review of the field.

The title accurately reflects the content, which is an interview with Moni Naor.

8/10

Interview with a leading researcher in cryptography, providing personal insights and historical context. The information is reliable but based on personal experience and opinions, not peer-reviewed research.

Markers derived by PSI from the transcript: the creator did not define chapters.

• 00:00Introduction and question about what drew Naor to cryptography.
• 01:00Naor discusses his early influences, including 'The Mathematical Gardner' and zero-knowledge proofs.
• 04:00Naor talks about his work with Amos Fiat on untraceable electronic cash.
• 06:00Discussion on the relationship between cryptography and complexity theory, citing the PCP theorem.
• 08:00Naor explains non-malleability and contrasts it with homomorphic encryption.
• 10:00Naor discusses the role of hard problems like factoring in cryptography.
• 12:00Naor talks about the motivation behind CAPTCHA and its evolution with AI.
• 15:00Naor addresses emerging threats to cryptography, including regulation and quantum computers.
• 18:00Naor highlights exciting developments such as succinct zero-knowledge proofs and indistinguishability obfuscation.

• The Mathematical Gardner — Book mentioned by Naor as an early influence, containing a paper on mental poker.
• The Code Breakers — Book by David Kahn, mentioned as a source of early information on cryptography.
• Goldwasser, Micali, and Wigderson - Zero-Knowledge Proofs — Seminal work on zero-knowledge proofs for all NP, which influenced Naor.
• Diffie and Hellman - New Directions in Cryptography — Foundational paper in public-key cryptography, referenced in the context of early cryptography.
• Shamir, Rivest, and Adleman - Mental Poker — Paper in 'The Mathematical Gardner' that sparked Naor's interest.

• Simons Institute for the Theory of Computing — The host institution, known for research in theoretical computer science.