Shows
Quantum Dev DigestQuantum Leap: Microsofts Majorana Milestone Unleashes Global Computing PowerThis is your Quantum Dev Digest podcast.Hey there, fellow quantum enthusiasts I'm Leo, your Learning Enhanced Operator, here to share the most exciting quantum computing discovery of the past few days. Just yesterday, I was diving into the latest breakthrough from Microsoft's Station Q, and I couldn't wait to share it with you.Imagine you're at a serene pond, much like the one described by Cronokirby in his quantum computing analogies[2]. You're on a mission to find a hidden treasure chest. The classical approach would be to prod the pond with a stick, checking each...
2025-02-2402 minQuantum Dev DigestQuantum Leaps: Generative AI and Distributed Computing BreakthroughsThis is your Quantum Dev Digest podcast.Hi, I'm Leo, your go-to expert for all things quantum computing. Today, I'm excited to share with you a groundbreaking discovery that's making waves in our field. Just a few days ago, on February 4, 2025, Quantinuum announced a breakthrough in Generative Quantum AI, or Gen QAI for short. This innovation harnesses the power of quantum-generated data to tackle complex problems that classical computing can't handle.Imagine you're at a pond, and you need to find a treasure chest hidden beneath the murky water. The classical approach would be to use...
2025-02-1702 minQuantum Dev DigestQuantum Leap: Gen QAI and Distributed Computing Revolutionize Problem-Solving | Leo's Quantum Corner Ep. 27This is your Quantum Dev Digest podcast.Hey there, fellow quantum enthusiasts. I'm Leo, your Learning Enhanced Operator, here to share the latest buzz in quantum computing. Today, I'm excited to dive into a groundbreaking discovery that's making waves in our community.Just a few days ago, on February 4, 2025, Quantinuum announced a revolutionary Generative Quantum AI framework, or Gen QAI for short. This breakthrough harnesses the power of quantum-generated data to tackle complex problems that classical computing can't handle. Imagine being able to develop new medicines, predict financial markets with precision, and optimize global logistics and...
2025-02-1602 minQuantum Dev DigestQuantinuum's Gen QAI: Quantum Ripples Revolutionize AI TrainingThis is your Quantum Dev Digest podcast.Hi, I'm Leo, Learning Enhanced Operator, and I'm here to share with you today's most exciting quantum computing breakthrough. Just a few days ago, on February 4, 2025, Quantinuum announced a groundbreaking Generative Quantum AI framework, or Gen QAI, that leverages quantum-generated data to enable commercial applications in areas like medicine development, financial market modeling, and real-time optimization of global logistics and supply chains[1].To understand why this matters, let's use an everyday analogy. Imagine you're trying to find a treasure chest hidden in a murky pond. The classical computing approach...
2025-02-1202 minQuantum Dev DigestQuantum Leap: GenQAI & Distributed Computing Revolutionize the FieldThis is your Quantum Dev Digest podcast.Hey there, fellow quantum enthusiasts. I'm Leo, your Learning Enhanced Operator, here to share today's most exciting quantum computing breakthrough. Just a few days ago, on February 4, 2025, Quantinuum announced a groundbreaking Generative Quantum AI framework, or Gen QAI. This innovation leverages quantum-generated data to enable commercial applications in areas like drug discovery, financial modeling, and real-time logistics optimization.Imagine you're at a pond, trying to find a hidden treasure chest. The classical computing approach would be like using a stick to prod the pond at different locations until you...
2025-02-1103 minQuantum Dev DigestQuantinuum's Quantum Leap: Generative AI Unleashed | Quantum Computing News with LeoThis is your Quantum Dev Digest podcast.Hey there, fellow quantum enthusiasts. I'm Leo, your Learning Enhanced Operator, here to share the latest breakthrough in quantum computing. Just a few days ago, on February 4, 2025, Quantinuum announced a groundbreaking Generative Quantum AI framework, or Gen QAI for short. This innovation leverages unique quantum-generated data to enable commercial applications in areas like medicine development, financial market modeling, and real-time optimization of global logistics and supply chains.To understand why this matters, let's use an everyday analogy. Imagine you're trying to find a specific book in a vast library...
2025-02-0903 minQuantum Dev DigestQuantinuum's Gen QAI: Quantum Ripples Revolutionizing AI Training and Problem-SolvingThis is your Quantum Dev Digest podcast.Hey there, fellow quantum enthusiasts I'm Leo, your Learning Enhanced Operator, here to share the latest breakthrough in quantum computing. Just a few days ago, on February 4, 2025, Quantinuum announced a groundbreaking Generative Quantum AI framework, or Gen QAI for short. This innovation has the potential to revolutionize AI training and problem-solving across various industries.Imagine you're trying to find a treasure chest hidden in a murky pond. Classical computing would approach this by prodding the pond at different locations until you hit the chest. But quantum computing takes a...
2025-02-0802 minQuantum Dev DigestQuantinuum's Gen QAI: Quantum Ripples Revolutionizing AI and IndustriesThis is your Quantum Dev Digest podcast.Hey there, I'm Leo, your Learning Enhanced Operator, here to dive into the latest quantum computing breakthroughs. Today, I'm excited to share with you a groundbreaking announcement from Quantinuum, a leading integrated quantum company.Just a few days ago, on February 4, 2025, Quantinuum unveiled a revolutionary Generative Quantum AI framework, or Gen QAI for short. This innovative technology leverages quantum-generated data to train AI systems, significantly enhancing their fidelity and problem-solving capabilities. Dr. Raj Hazra, President and CEO of Quantinuum, highlighted the immense potential of Gen QAI, stating that it...
2025-02-0702 minQuantum Dev DigestQuantinuum's Gen QAI: Unveiling the Quantum Treasure Chest of AI InnovationThis is your Quantum Dev Digest podcast.Hey there, I'm Leo, your go-to expert for all things quantum computing. Today, I'm excited to share with you a groundbreaking discovery that's making waves in our field. Just a couple of days ago, on February 4, 2025, Quantinuum announced a major breakthrough in Generative Quantum AI, or Gen QAI for short.Imagine you're trying to find a treasure chest hidden in a vast, murky pond. The classical computing approach would be like using a stick to prod the pond at different locations until you hit the chest. It's a tedious...
2025-02-0602 minQuantum Dev DigestQuantinuum's Gen QAI: Quantum Ripples Unveiling Real-World TreasuresThis is your Quantum Dev Digest podcast.Hey there, fellow quantum enthusiasts I'm Leo, your Learning Enhanced Operator, here to share today's most exciting quantum computing discovery. As I'm speaking, it's February 4, 2025, and I've got some groundbreaking news to share.Today, Quantinuum announced a revolutionary Generative Quantum AI framework, or Gen QAI for short. This breakthrough leverages unique quantum-generated data to enable commercial applications in areas like medicine development, financial market modeling, and real-time logistics optimization. Dr. Raj Hazra, President and CEO of Quantinuum, will be sharing more insights on this development at the 2025 International Year...
2025-02-0402 minQuantum Dev DigestQuantum Leaps: Diamonds, AI, and Algorithms Reshaping the FutureThis is your Quantum Dev Digest podcast.Hey there, fellow quantum enthusiasts. I'm Leo, your Learning Enhanced Operator, here to share the latest buzz in quantum computing. Today, I'm excited to dive into the breakthroughs that are shaping the future of this field.Just a few days ago, I was reading about the predictions for 2025 from industry leaders like Jan Goetz, co-CEO and co-founder of IQM Quantum Computers, and Michele Mosca, founder of evolutionQ. They're forecasting significant advancements in quantum error correction, which is crucial for making quantum computing practical and reliable[1][4].Imagine you're...
2025-02-0302 minQuantum Dev DigestQuantum Leap: Diamonds, Portability, and the Dawn of Real-World Quantum ComputingThis is your Quantum Dev Digest podcast.Hey there, fellow quantum enthusiasts I'm Leo, your Learning Enhanced Operator, here to share today's most exciting quantum computing discovery. As we kick off 2025, the International Year of Quantum Science and Technology, I'm thrilled to dive into the latest advancements.Just a few days ago, I was reading an interview with Marcus Doherty, Co-Founder and Chief Scientific Officer of Quantum Brilliance. He predicted that 2025 will be the year quantum computers leave the lab and enter the real world. This got me thinking about how far we've come and what's...
2025-02-0102 minQuantum Dev DigestQuantum Ripples: Diving into the Pond of Revolutionary ComputingThis is your Quantum Dev Digest podcast.Hi, I'm Leo, your Learning Enhanced Operator for all things quantum computing. Today, I'm excited to share with you the latest breakthroughs in quantum technology and why they matter.Imagine you're on a treasure hunt in a murky pond, trying to find a hidden chest. Classical computing would have you prodding the pond with a stick at different locations until you hit the chest. But quantum computing takes a different approach. It's like throwing a stone into the pond and observing how the ripples behave. The chest will cause...
2025-01-3003 minQuantum Dev DigestQuantum Bombshell: CSIRO Cracks Big Data with Qubits, Leaving Supercomputers in the Dust!This is your Quantum Dev Digest podcast.Hey there, fellow quantum enthusiasts I'm Leo, your go-to expert for all things quantum computing. Today, I'm excited to share with you a groundbreaking discovery that's making waves in the quantum world.Just hours ago, on January 29, 2025, the CSIRO team in Australia unveiled a quantum machine learning feat that's set to revolutionize the way we analyze big data. Led by Dr. Muhammad Usman, a senior CSIRO quantum scientist, the team has successfully compressed and analyzed enormous datasets using quantum bits, or qubits. These qubits defy the binary constraints of...
2025-01-2902 minQuantum Dev DigestQuantum Gossip: Diamond Tech Sparkles in 2025 as AI Romance Heats Up!This is your Quantum Dev Digest podcast.Hey there, I'm Leo, short for Learning Enhanced Operator, and I'm here to share with you today's most exciting quantum computing discovery. As we dive into 2025, the quantum world is buzzing with advancements that are changing the game.Just the other day, I was reading about Marcus Doherty, Co-Founder and Chief Scientific Officer at Quantum Brilliance, who shared his expert predictions for 2025. What caught my eye was the emphasis on diamond technology becoming a significant part of the industry conversation. This technology allows for room-temperature quantum computing, eliminating the...
2025-01-2803 minQuantum Dev DigestQuantum Gossip: Superposition Spills the Tea on Classical Computings Dirty LaundryThis is your Quantum Dev Digest podcast.Hi, I'm Leo, short for Learning Enhanced Operator, and I'm here to share with you today's most interesting quantum computing discovery and why it matters.Just the other day, I was reflecting on how quantum computing has come a long way since Peter Shor's groundbreaking algorithm for integer factorization in 1994. This algorithm showed how a quantum mechanical computer could potentially break the most advanced cryptography systems of the time, some of which are still used today.But let's dive into something more recent and fascinating. Quantum computing...
2025-01-2803 minQuantum Dev DigestDiamonds, Ponds, and AI: Quantum Computings Juicy Secrets Revealed!This is your Quantum Dev Digest podcast.Hi, I'm Leo, Learning Enhanced Operator, and I'm here to share today's most interesting quantum computing discovery and explain why it matters using an everyday analogy.Imagine you're trying to find a treasure chest hidden in a murky pond. The classical computing approach would be to use a stick to prod the pond at different locations until you hit the chest. This method is time-consuming and inefficient. However, quantum computing takes a different approach. It's like throwing a stone into the pond and observing how the ripples behave. The...
2025-01-2502 minQuantum Dev DigestQuantum Gossip: Diamonds, AI, and Breakthroughs! 2025 is the Year Quantum Leaves the LabThis is your Quantum Dev Digest podcast.Hey there, I'm Leo, your Learning Enhanced Operator, and I'm here to share with you today's most exciting quantum computing discovery. As we dive into 2025, the quantum world is buzzing with breakthroughs, and I'm thrilled to share one that caught my attention.Imagine you're at a serene pond, much like the one described by Cronokirby in his analogies[2]. You're tasked with finding a treasure chest hidden beneath the murky waters. Classical computing would have you prod the pond at different locations, one by one, until you hit the chest...
2025-01-2402 minQuantum Dev DigestQuantum Computing Exposed: Uncovering the Secrets of the Subatomic World Through Tantalizing AnalogiesThis is your Quantum Dev Digest podcast.Hi, I'm Leo, your Learning Enhanced Operator, here to share today's most interesting quantum computing discovery and why it matters using an everyday analogy.As I delved into the latest quantum computing news, I stumbled upon a fascinating analogy by Vlatko Vedral that perfectly encapsulates the essence of quantum computing. Vedral, a renowned physicist, emphasizes the importance of analogies in explaining complex quantum concepts. He notes that quantum physics often deals with phenomena that have no direct counterparts in our everyday macroscopic world, making analogies indispensable for understanding these...
2025-01-2303 minQuantum Dev DigestQuantum Ripples: 2025's Treasure Hunt for BreakthroughsThis is your Quantum Dev Digest podcast.Hi, I'm Leo, your go-to expert for all things Quantum Computing. Today, I'm excited to share with you a fascinating discovery that's making waves in our field. But first, let's set the stage. We're in 2025, and as predicted, this year is shaping up to be a game-changer for quantum computing.Just a couple of weeks ago, on January 8th, The Quantum Insider highlighted the significant advancements we're expecting in quantum computing this year[5]. The focus is on scaling up quantum chips, improving qubit fidelity, and developing robust quantum software...
2025-01-2302 min
Quantum Basics WeeklyKaleidoscopes, Treasure Chests, and the Quantum Revolution - Your 2024 Update!This is your Quantum Basics Weekly podcast.Hi there, I'm Leo, your Learning Enhanced Operator for all things quantum computing. Today, I'm excited to dive into some beginner-friendly quantum computing news and breakthroughs that can be explained using everyday analogies.Let's start with the concept of quantum computing itself. Imagine you have a kaleidoscope, filled with colored glass beads, mirror-dividing walls, and light. As you rotate the kaleidoscope, it creates infinitely diverse yet orderly patterns. This is similar to how quantum computers work, using qubits that can exist in superposition, allowing for fundamentally different processing of...
2024-12-1702 min
CK's Cold DiveBlockchains as Government?Topics* The Fiscal Theory of the Price Level* Prof. Cochrane’s Blog* The Fiscal Theory, as applied to Bitcoin and Ethereum* Blockchains as Government more broadly* Foreign token reserves?* Fees paid as tokenized bonds?If 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 check out my blog, and you can even follow me on Twitter. (Or on Bluesky). This is a pu...
2023-05-1331 min
CK's Cold DiveWoops, Another Proof FrameworkTopics:* Why I think the subfield of cryptographic proofs is interesting and worthwhile* Why I keep coming back and thinking about it* Why you want machines to check proofs (eventually)* Some ideas for a new graphical proof language for protocolsIf 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 check out my blog, and you can even follow me on Twitter. (Or on Bluesky). This...
2023-05-1031 min
CK's Cold DiveIdealized Models for FreeTopics* Generic groups.* A trio of interesting papers:* To Label, or Not To Label (in Generic Groups)* The Algebraic Group Model* An Analysis of the Algebraic Group ModelI should also mention that Léo Ducas had some similar ideas way back in 2009If 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 check out my blog, and you can even follow me on Twitter. (O...
2023-03-1029 min
CK's Cold DiveSketches of Meta-CryptographyTopics:* An anecdote about idealized hash functions* https://cronokirby.com/posts/2022/04/canettis-paradoxical-encryption-scheme/* My preliminary thoughts on developing a theory of meta-cryptography using category theory.If 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 check out my blog, and you can even follow me on Twitter. (Or on Mastodon). This is a public episode. If you would like to discuss this with other subscribers or get access to...
2023-03-0926 min
CK's Cold DiveProcrastinating on my Master's ThesisTopics:* A little bit about MPS.* A little bit about Cait-Sith.* Bulletin Boards for MPC.* Applications of the bulletin board model.* Robust Schnorr Signatures.* Some deception around group reconstruction circuits.If 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 check out my blog, and you can even follow me on Twitter. (Or on Mastodon). This is a public episode. If you...
2023-03-0826 min
CK's Cold DiveCool Another Interesting Threshold Signature In The HouseTopics:* What is Threshold ECDSA again?* What is a CAIT-SITH?* Simulating networked benchmarks* API design for protocol libraries* The advantage of key-independent preprocessing* Planned improvementsIf 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 check out my blog, and you can even follow me on Twitter. (Or on Mastodon). This is a public episode. If you would like to discuss this...
2023-03-0732 min
CK's Cold Dive2023 is the New 1971* 1:10 Thoughts on why AI will not cause as much economic growth as people think* 16:10 Why ML techniques would benefit from better integration with classical techniquesIf 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. (Or on Mastodon). 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
2023-01-0730 min
CK's Cold DiveThey Don't Know about Non-Interactive MPCTopics covered in this episode:* 1:00 Legibility, and an overview of the rest of the episode.* 2:50 What is fully homomorphic encryption (FHE)?* 7:28 Some applications of FHE.* 8:15 Contrasting this with MPC.* 11:50 Why you shouldn’t need to care about implementation details for applications.* 14:28 Why I’m annoyed when people conflate Machine Learning and computing.* 23:20 The legibility problem, and why these kinds of conflations are inevitable.If you enjoyed this episode, and want to get notified when the next one arrives, feel free to subscribe:If...
2022-11-2331 min
CK's Cold DiveBulletin but not BoredTopics covered in this episode:* 2:20 Why I prefer alphabetical references to numeric ones.* 8:42 Why round complexity in MPC is of limited utility.* 23:25 Replacing identifiable aborts with bulletin boards?If 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
2022-10-1232 min
CK's Cold DiveThreshold ECDSA in Excessive DetailTopics covered in this episode:* 4:05 The basic components of a signature.* 6:00 A primer on cryptographic groups.* 11:52 How ECDSA works.* 25:55 Bringing ECDSA to the threshold setting.* 29:29 Inversion from multiplication.* 31:50 The big approaches to multiply numbers.* 33:22 Homomorphic encryption in a nutshell.* 40:30 Multiplication via Oblivious Transfer in a nutshell.* 48:21 Back of the napkin comparison of the two approaches.* 50:19 The difficulty of getting malicious security.* 54:00 How to implement homomorphic encryption (and why I don’t like Paillier).* 59:40 The Paillier li...
2022-10-081h 17
CK's Cold DiveSome Thoughts on Threshold SignaturesTopics covered in this episode:* 00:54 What are threshold signatures?* 04:33 Example use-case: code signing.* 06:50 Example use-case: asset custody.* 11:08 Example use-case: validators.* 14:30 What kind of signatures are usually thresholdized?* What makes Schnorr signatures easier to thresholdize: https://cronokirby.com/posts/2021/07/signatures_from_identification/* 20:10 How distributed key generation works, at a high level.* 27:34 On the utility of key refresh.* 30:50 On the utility of pre-signaturesIf you enjoyed this episode, and want to get notified when the next one arrives, feel free to...
2022-10-0534 min
CK's Cold DiveOn Comparing SNARKsTopics covered in this episode:* 4:20 The difficulties in comparing SNARKs together* 14:52 SNARKs with varying security parameters* Justin Thaler’s blog post on SNARK security parameters.* https://a16zcrypto.com/snark-security-and-performance/* 25:35 A proposal for a uniform benchmarking system for SNARKs.* 28:40 It would be nice to be able to compare the cost of different gadgets.If 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...
2022-09-2434 min
CK's Cold DiveWhat is security?Topics covered in this episode:* 1:40 The fundamental advantage of an attacker.* 3:02 The need for threat modelling.* 5:49 Security games.* 13:13 What does it mean for games to be secure?* 15:43 How do you prove that no adversary can break a game?* 19:24 What kind of cryptographic assumptions are there?* 28:58 How modelling security can fail in practice?If 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...
2022-09-2139 min
CK's Cold DiveThoughts on the Fiat-Shamir TransformTopics covered in this episode:* 1:30 What the Fiat-Shamir transform is.* 6:50 What you need to include in the hash function.* 11:35 Rewindable soundness for multi-round protocols.* 15:36 What to hash over multiple rounds?* 19:25 Merlin & Magikitten* https://merlin.cool* https://github.com/cronokirby/magikitten* 31:18 A note on sponge functions.* 34:06 Some thoughts on SAFE* (SAFE) https://hackmd.io/bHgsH6mMStCVibM_wYvb2wIf you enjoyed this episode, and want to get notified when the next one arrives, feel free to subscribe:
2022-09-1845 min
CK's Cold DiveOn Security Against Time Traveling AdversariesTopics covered in this episode:* 0:00 “On Security Against Time Traveling Adversaries”* https://eprint.iacr.org/2022/1148* 3:47 Why time travel is sort of relevant to Cryptography.* 5:53 “On the effectiveness of time travel to inject covid-19 alerts”* https://eprint.iacr.org/2020/1393* 10:42 A brief primer on security games.* 15:30 Creating a uniform grame for cryptographic schemes.* 20:37 The basics of time travel.* 23:12 Rewinding back one step.* 26:26 Rewinding many steps backwards.* 28:13 The forking model of time travel.* 31:14 The stack restriction on forking.* 3...
2022-09-0744 min
CK's Cold DiveCan Machines Learn without Knowledge?Topics covered in this episode:* 00:28 On using ZK Proofs in the context of Machine Learning.* 14:00 On the centralized force of ML.* 25:00 On economies of scale in ZK proving.If 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
2022-08-2731 min
CK's Cold DiveOk Algebraic AutomatonTopics covered in this episode:* 00:50 What exactly counts as a SNARK?* 08:12 SNARKs with sublinear verification time* 12:34 Algebraic Automatons and structured computation* Linear-Time Probabilistic Proofs Over Every Field: https://eprint.iacr.org/2022/1056* 16:59 On the limits of structured computation* Miden VM: https://maticnetwork.github.io/miden/intro/main.html* * 21:17 Why Boolean Circuits are more natural than Arithmetic Circuits* Measuring SNARK performance - Justin Thaler: https://a16zcrypto.com/measuring-snark-performance-frontends-backends-and-the-future/If you enjoyed this episode, and want to get notified when the...
2022-08-2431 min
CK's Cold DiveCan You Cheat a Semi-Honest Man?Topics covered in this episode:* 00:43 Models of security for MPC.* 07:00 To what extent is the Semi-Honest model useful?* 11:15 Connecting MPC with consensus* 19:42 On identifiable aborts.* A blog post of mine on the subject: https://cronokirby.com/posts/2022/06/on-identifiable-aborts/* 28:00 Some thoughts on block producer privacyIf 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...
2022-08-2038 min
CK's Cold DiveMPC In The Head 2: Thoughts About Rem-BooTopics covered in this episode:* 1:00 ZK Proofs + MPC in the head recap.* 2:57 Boolean circuits and their representations* 14:11 Why WASM is an interesting bytecode, and thoughts on compiling WASM to circuits.* 19:40 A few thoughts on my Rem-Boo project* Rem-Boo: https://github.com/cronokirby/rem-boo* Reverie (not by me, but mentioned here): https://github.com/trailofbits/reverie/If 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...
2022-08-1731 min
CK's Cold DiveWe're Not in Kansas AnymoreTopics covered in this episode:0:55 What is Tornado Cash (briefly).2:00 The U.S. Treasury sanctions Tornado Cash.https://home.treasury.gov/news/press-releases/jy09164:35 How Tornado Cash works, from the bottom up.15:19 Why smart contracts are really a “service”.19:27 Broader consequences of this decision.28:00 How I’d like to see regulation in this space evolve.If 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 t...
2022-08-1033 min
CK's Cold DiveMPC In The Head SpecialTopics 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 ZKBoo paper: making MPC in the head...
2022-08-061h 11
CK's Cold DiveA Tower of Cryptographic AbstractionsTopics 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 one arrives, feel free to subscribe:If you want even more updates, feel free...
2022-08-0338 min
CK's Cold DivePost-Quantum Cryptography SpecialTopics 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 want even more upda...
2022-07-3059 min
CK's Cold DiveAttack of the 20 page appendixTopics 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...
2022-07-2641 min