{"id":1984,"date":"2025-09-07T14:33:37","date_gmt":"2025-09-07T14:33:37","guid":{"rendered":"https:\/\/readtrends.com\/en\/quantum-cryptography-new-math\/"},"modified":"2025-09-07T14:33:37","modified_gmt":"2025-09-07T14:33:37","slug":"quantum-cryptography-new-math","status":"publish","type":"post","link":"https:\/\/readtrends.com\/en\/quantum-cryptography-new-math\/","title":{"rendered":"The New Math of Quantum Cryptography"},"content":{"rendered":"<article>\n<p>On September 7, 2025, researchers reported a major theoretical advance: cryptographers Dakshita Khurana and Kabir Tomer have outlined a realistic route to quantum-based cryptography that does not rely on the classical one-way functions that underpin today\u2019s encryption. Their work links new quantum primitives called one-way puzzles to strong, well-studied mathematical problems such as the matrix permanent, narrowing several open questions to a single, testable conjecture about quantum advantage.<\/p>\n<h2>Key Takeaways<\/h2>\n<ul>\n<li>Classical cryptography rests on one-way functions built from hard NP-style problems; their provable hardness remains unestablished.<\/li>\n<li>William Kretschmer\u2019s 2021 oracle-based result showed quantum cryptography could, in principle, avoid those classical foundations.<\/li>\n<li>Khurana and Tomer developed quantum-native building blocks\u2014one-way state generators and the intermediate notion of one-way puzzles\u2014that support many cryptographic tasks.<\/li>\n<li>They proved on August 4, 2023, a crucial structural step tying one-way puzzles to broader cryptographic protocols.<\/li>\n<li>Their later work anchors one-way puzzles directly to the matrix permanent and related assumptions, reducing two open problems to one.<\/li>\n<li>If a formal separation showing quantum advantage for a specific task is proven, it would imply strong theoretical foundations for quantum cryptography.<\/li>\n<li>Practical deployment remains distant: quantum hardware and engineering challenges mean applications are not imminent.<\/li>\n<\/ul>\n<h2>Verified Facts<\/h2>\n<p>Modern encryption typically depends on classical one-way functions: easy to compute in one direction but hard to invert without a secret key. Researchers proved in the 1980s that many cryptographic primitives can be built from such functions, which in turn are generally constructed from hard mathematical problems in NP. Those problems are easy to verify but not proven hard to solve, so the entire edifice rests on unproven complexity assumptions.<\/p>\n<p>In 2021 William Kretschmer brought attention to a quantum-specific problem that, in idealized oracle models, could replace classical one-way functions as cryptographic bedrock. That line of work demonstrated a proof-of-concept that quantum properties can enable a wide range of cryptographic tasks even if classical NP problems were easy to solve.<\/p>\n<p>Starting in fall 2022, Dakshita Khurana (University of Illinois at Urbana\u2013Champaign and NTT Research) and her student Kabir Tomer set out to convert the oracle-based constructions into a framework grounded in more realistic, non-oracular assumptions. They defined quantum one-way state generators\u2014procedures that produce quantum &#8220;locks&#8221; (qubits) that are easy to make but hard to invert classically\u2014and then identified an intermediate primitive they call a one-way puzzle.<\/p>\n<p>One-way puzzles are hybrid objects: they generate classical keys and locks using a quantum procedure. The locks are hard to break, and keys are easy to create, but using a key to efficiently open its corresponding lock need not be feasible. Khurana and Tomer showed that, combined with quantum techniques, these puzzles suffice to build many standard cryptographic tools.<\/p>\n<p>On August 4, 2023, the pair completed a key formal proof connecting one-way puzzles to a broad suite of cryptographic protocols. Later, rather than rely on state generators as an extra layer, they linked one-way puzzles directly to classical hard problems\u2014most notably the matrix permanent\u2014so that the new quantum cryptographic tower rests on established, well-studied complexity assumptions.<\/p>\n<h2>Context &#038; Impact<\/h2>\n<p>The move from oracle-based proofs to constructions founded on concrete mathematical problems matters because it brings quantum cryptography into the same style of theoretical accountability used in classical cryptography. By reducing the security of many quantum primitives to a single conjecture about quantum advantage for a specific computational task, Khurana and Tomer make the field\u2019s assumptions clearer and more testable.<\/p>\n<p>If researchers can prove that quantum devices outperform classical machines on the targeted task (a form of provable quantum advantage), that result would simultaneously validate one-way puzzles and provide a solid platform for quantum cryptography. In other words, two difficult open questions become one: establish the quantum advantage claim, and a wide array of quantum cryptography follows.<\/p>\n<p>However, this is a theoretical advance. Building usable quantum cryptographic systems will require maturing hardware, error correction, and secure protocols for generating and transmitting quantum states. Other quantum cryptography schemes\u2014some nearer to practical use\u2014remain relevant while the community assesses security assumptions and develops engineering solutions.<\/p>\n<h3>Implications for practitioners and policymakers<\/h3>\n<ul>\n<li>Cryptographers gain a clearer research agenda: either prove the necessary quantum advantage or continue hardening classical assumptions.<\/li>\n<li>Standards bodies should track theoretical progress but avoid premature adoption until practical, verifiable implementations exist.<\/li>\n<li>Agencies planning post-quantum security must account for both improved classical attacks and the potential for quantum-native protocols in the longer term.<\/li>\n<\/ul>\n<blockquote>\n<p>\u201cThis work shows a concrete route from quantum primitives to full cryptographic systems under assumptions we can study,\u201d<\/p>\n<p><cite>Fermi Ma, Simons Institute researcher<\/cite><\/p><\/blockquote>\n<aside>\n<details>\n<summary>Explainer: key terms<\/summary>\n<p>One-way function \u2014 a classical map easy to compute but hard to invert. One-way state generator \u2014 a quantum procedure producing states that act like locks. One-way puzzle \u2014 a hybrid primitive producing classical keys and locks via a quantum process; keys may be impractical to use but still useful in proofs. Matrix permanent \u2014 a computationally intensive function on matrices, believed harder than many NP tasks and central to some quantum-classical separations.<\/p>\n<\/details>\n<\/aside>\n<h2>Unconfirmed<\/h2>\n<ul>\n<li>Timing for any practical, deployed quantum cryptographic system based on these ideas remains unknown and depends on hardware advances.<\/li>\n<li>Whether a formal, widely accepted proof of the specific quantum advantage needed will be completed is still open.<\/li>\n<li>Concrete performance and security trade-offs for real-world protocols built from one-way puzzles require further study and experimental validation.<\/li>\n<\/ul>\n<h2>Bottom Line<\/h2>\n<p>Khurana and Tomer have moved quantum cryptography from oracle-based proofs toward constructions tied to established mathematical problems, notably the matrix permanent. Their results make the assumptions clear and testable: proving a particular quantum advantage would, in one step, give strong theoretical footing to a broad class of quantum cryptographic schemes. Practical application remains a longer-term prospect, but the new framework sharpens both the scientific targets and the research agenda.<\/p>\n<h2>Sources<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.quantamagazine.org\" target=\"_blank\" rel=\"noopener\">Quanta Magazine (original report)<\/a><\/li>\n<li><a href=\"https:\/\/simons.berkeley.edu\" target=\"_blank\" rel=\"noopener\">Simons Institute for the Theory of Computing<\/a><\/li>\n<li><a href=\"https:\/\/www.ntt-research.com\" target=\"_blank\" rel=\"noopener\">NTT Research<\/a><\/li>\n<\/ul>\n<\/article>\n","protected":false},"excerpt":{"rendered":"<p>On September 7, 2025, researchers reported a major theoretical advance: cryptographers Dakshita Khurana and Kabir Tomer have outlined a realistic route to quantum-based cryptography that does not rely on the classical one-way functions that underpin today\u2019s encryption. Their work links new quantum primitives called one-way puzzles to strong, well-studied mathematical problems such as the matrix &#8230; <a title=\"The New Math of Quantum Cryptography\" class=\"read-more\" href=\"https:\/\/readtrends.com\/en\/quantum-cryptography-new-math\/\" aria-label=\"Read more about The New Math of Quantum Cryptography\">Read more<\/a><\/p>\n","protected":false},"author":1,"featured_media":1979,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"rank_math_title":"The New Math of Quantum Cryptography \u2014 Quanta Magazine","rank_math_description":"Researchers present a realistic theoretical path to quantum cryptography by linking new \"one-way puzzles\" to hard math like the matrix permanent, focusing progress into a single testable conjecture.","rank_math_focus_keyword":"quantum cryptography, one-way puzzles, matrix permanent, Dakshita Khurana, quantum advantage","footnotes":""},"categories":[2],"tags":[],"class_list":["post-1984","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-top-stories"],"_links":{"self":[{"href":"https:\/\/readtrends.com\/en\/wp-json\/wp\/v2\/posts\/1984","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/readtrends.com\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/readtrends.com\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/readtrends.com\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/readtrends.com\/en\/wp-json\/wp\/v2\/comments?post=1984"}],"version-history":[{"count":0,"href":"https:\/\/readtrends.com\/en\/wp-json\/wp\/v2\/posts\/1984\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/readtrends.com\/en\/wp-json\/wp\/v2\/media\/1979"}],"wp:attachment":[{"href":"https:\/\/readtrends.com\/en\/wp-json\/wp\/v2\/media?parent=1984"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/readtrends.com\/en\/wp-json\/wp\/v2\/categories?post=1984"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/readtrends.com\/en\/wp-json\/wp\/v2\/tags?post=1984"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}