Episode 297 - Quantum Cryptography Part 2 with Or Sattath

Episode 297. Aired on Nov 1, 2023 See full episode on https://zeroknowledge.fm/297-2/ In this week’s episode, Anna (https://twitter.com/annarrose) and Nico (https://twitter.com/nico_mnbl) interview Or Sattath (https://twitter.com/or_sattath), Assistant Professor at the Ben-Gurion (https://cris.bgu.ac.il/en/persons/or-sattath) University in the Computer Science department. This is the 2nd episode with Or on this show, continuing the conversation around Quantum Cryptography. This time, he describes how we can transition from a pre-quantum to a post-quantum environment, looking at existing systems like Bitcoin and Ethereum. He covers why the methods used in the transition will be important, techniques on how this could be executed and the challenges in designing these techniques and the complications that can arise. Finally, they go on to discuss Quantum Money and recent works in this area. --------------- Here’s some additional links for this episode: * Part 1 - Episode 288: Quantum Cryptography with Or Sattath (https://zeroknowledge.fm/288-2/) * Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer by Shor (https://arxiv.org/abs/quant-ph/9508027) * Shor’s Algorithm (https://quantum-computing.ibm.com/composer/docs/iqx/guide/shors-algorithm) * Grover’s Algorithm (https://quantum-computing.ibm.com/composer/docs/iqx/guide/grovers-algorithm) * A fast quantum mechanical algorithm for database search by Grover (https://arxiv.org/abs/quant-ph/9605043) * Fawkescoin: A cryptocurrency without public-key cryptography by Bonneau and Miller (https://jbonneau.com/doc/BM14-SPW-fawkescoin.pdf) * Bitcoin is not quantum-safe, and how we can fix it when needed by Buterin (https://bitcoinmagazine.com/technical/bitcoin-is-not-quantum-safe-and-how-we-can-fix-1375242150) * Cryptographic canaries and backups by Justin Drake (https://ethresear.ch/t/cryptographic-canaries-and-backups/1235) Notes and recommended links by Or Sattath: * NIST post-quantum standardization (https://csrc.nist.gov/Projects/post-quantum-cryptography) for post-quantum digital signatures and public-key encryption (or, more precisely, Key Encapsulation Mechanism, KEM). These are classical schemes that, unlike almost all the existing schemes that are used in practice, are secure against quantum adversaries. * Signature Lifting (https://arxiv.org/abs/2303.06754) is discussed as a technique to migrate to post-quantum signatures, especially for those who didn't prepare in advance. Here's a recommended Twitter thread (https://twitter.com/DesheShai/status/1635599973269098499) summarizing the results by Shai Wyborski, Or’s co-author. * An approach to upgrade Bitcoin to quantum money is available here (https://arxiv.org/abs/2002.11998). This uses a cryptographic primitive which is called quantum lightning, which was introduced here (https://eprint.iacr.org/2017/1080.pdf). * Some smart contacts capabilities can be supported (https://arxiv.org/abs/2204.12806) as well. This construction is based on one-shot signatures (https://eprint.iacr.org/2020/107), which is discussed in some detail during the interview. The bottom line of this work is that we can have the most important utility that Bitcoin provides, without the need for a blockchain, or any other consensus mechanism. * Uncloneable cryptography (https://arxiv.org/abs/2210.14265) was discussed during the interview. Quantum encryption with certified deletion (https://arxiv.org/abs/1910.03551) was discussed as an interesting example of a property that can be achieved only in quantum cryptography. --------------- Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/. --------------- Aleo (http://aleo.org/) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. As Aleo is gearing up for their mainnet launch in Q4, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://aleo.org/. --------------- **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)