CK"s Cold Dive

Topics covered in this episode:* 1:42 Introduction to Zero-Knowledge Proofs.* 7:07 What MPC in the head achieves, at a high level.* 14:35 The efficiency of MPC in the head.* 15:56 What is “MPC” anyways?* 18:37 How MPC in the head works, at a high level.* 20:38 An overview of the IKOS paper: the one that started it all.* https://web.cs.ucla.edu/~rafail/PUBLIC/77.pdf (2007)* “Zero-Knowledge from Secure Multiparty Computation” - Yuval Ishai, Eyal Kushilevitz, Rafail Ostrovsky, and Amit Sahai* 31:05 The

Topics in this episode:* The recent breakage of SIDH* https://ellipticnews.wordpress.com/2022/07/31/breaking-supersingular-isogeny-diffie-hellman-sidh/* https://eprint.iacr.org/2022/975* A taxonomy of different cryptographic constructions* What constructions are better suited for standards? What about software?* Why is it hard to provide protocols as a library?* Why threat modelling and security properties will always be importantIf you enjoyed this episode, and want to get notified when the next

Topics in this episode:* The emerging threat of quantum computers and their impact on Cryptography* How NIST’s standardization process works, briefly, and why you don’t need to trust NIST at all.* How you might upgrade messaging protocols to the Post-Quantum age* Implementing Post-Quantum key exchanges with deniable signatures* How much metadata can a centralized E2E messaging server record?If you enjoyed this episode, and want to get notified when the next one arrives, feel free to subscribe:If you

Topics in this episode* Papers with long appendices* Adding a boolean circuit backend to LLVM* Composing STARKs with SNARKs, and how this compares to MPC in the headIf you enjoyed this episode, and want to get notified when the next one arrives, feel free to subscribe:If you want even more updates, feel free to follow me on Twitter. This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit cronokirby.substack.com