The limits of Quantum Computing: an approach via Post-Quantum Cryptography

量子计算的局限性:后量子密码学的方法

基本信息

  • 批准号:
    EP/W02778X/1
  • 负责人:
  • 金额:
    $ 74.55万
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    Fellowship
  • 财政年份:
    2022
  • 资助国家:
    英国
  • 起止时间:
    2022 至 无数据
  • 项目状态:
    已结题

项目摘要

Quantum computing (QC) is emerging as a critical technology for the future of computing. QC has been shown to provide significant - sometimes even exponential - speedups on various problems, and enable protocols that would be impossible using classical computers. On the other hand, some recent results on ''dequantized algorithms'' show that it is not always straightforward to quantify the quantum advantage on some problems. As a result, the strengths and limitations of quantum computing are still an open problem. One of the best benchmarks to evaluate the theoretical and practical limits of computing is cryptography. Indeed, cryptography is, by definition, the science of basing problems on the limits of computation. Arguably, the maturity of (classical) cryptography reflects our deep understanding of classicalcomputation. In contrast, post-quantum cryptography - building cryptography based on the limits of quantum computing - is very much an emerging field due to our limited understanding of quantum computing.The emergence of post-quantum cryptography presents a tantalizing opportunity to study the theoretical and practical limits of computing. In the near-term, it can constitute a great benchmark for noisy intermediate-scale quantum computing (NISQ), providing concrete answers to questions such as: can a quantum algorithm beat any useful classical algorithm using a NISQ device of 1,000 qbits? In the longterm, more fundamental questions about the limits of quantum computers need to be answered. Beyond the known exponential and quadratic speedups that quantum algorithms can offer, one of the most promising aspects of those algorithms is to offer comparable running times with much reduced memory usage. Memory is arguably one of the most limiting aspects of classical computers. The exponential memory blowup of simulating quantum systems, for example, suggests that understanding the limits of quantum memories is essential. Post-quantum cryptography provides ample problems to study this aspect of quantum computing and answer questions such as: can quantum computing provide exponential memory improvements for some real-life problems?I posit that lattices and codes, fundamental mathematical objects, will play a major role in answering the questions I have put forward. Lattices have emerged as a central object for both quantum computing and cryptography. Lattices and codes play a crucial role in post-quantum cryptography, with three problems standing out as particularly relevant: the shortest vector problem (SVP), the Learning witherror problem (LWE) and the syndrome decoding problem. These problems are fundamentally about the limit of quantum computing and suggest that lattices and codes are hard enough to be quantum hard but structured enough to provide nontrivial primitives. The SVP and LWE play not only a role in cryptography but also in quantum computing. Important search problems such as the dihedral hidden subgroup problem involve both problems. A recent breakthrough in the classical verification of quantum computations relies on LWE. LWE even enables classical parties to participate in secure quantum computation and communications protocols. Therefore, improvements in the understanding of SVP and LWE will benefit both the quantum computing and cryptography community. Furthermore, some recent improvements in lattice algorithms, that come from codes, show the benefit of studying lattices and codes together rather than separately.
量子计算 (QC) 正在成为未来计算的一项关键技术。 QC 已被证明可以在各种问题上提供显着的(有时甚至是指数级的)加速,并实现使用传统计算机不可能实现的协议。另一方面,“反量化算法”的一些最新结果表明,量化某些问题的量子优势并不总是那么简单。因此,量子计算的优势和局限性仍然是一个悬而未决的问题。评估计算理论和实践极限的最佳基准之一是密码学。事实上,根据定义,密码学是一门基于计算极限解决问题的科学。可以说,(经典)密码学的成熟反映了我们对经典计算的深刻理解。相比之下,由于我们对量子计算的理解有限,后量子密码学——基于量子计算的限制构建密码学——在很大程度上是一个新兴领域。后量子密码学的出现为研究理论和实践提供了诱人的机会。计算的限制。在短期内,它可以成为噪声中型量子计算(NISQ)的一个很好的基准,为以下问题提供具体答案:量子算法能否使用 1,000 qbits 的 NISQ 设备击败任何有用的经典算法?从长远来看,需要回答有关量子计算机极限的更基本问题。除了量子算法可以提供的已知指数和二次加速之外,这些算法最有前途的方面之一是提供可比的运行时间,同时大大减少内存使用。内存可以说是经典计算机最具限制性的方面之一。例如,模拟量子系统的指数存储器爆炸表明,了解量子存储器的局限性至关重要。后量子密码学提供了充足的问题来研究量子计算的这一方面,并​​回答诸如以下问题:量子计算能否为一些现实生活中的问题提供指数级的内存改进?我认为晶格和代码,基本的数学对象,将发挥重要作用在回答我提出的问题时。晶格已成为量子计算和密码学的中心对象。晶格和代码在后量子密码学中发挥着至关重要的作用,其中三个问题尤其重要:最短向量问题(SVP)、误差学习问题(LWE)和校正子解码问题。这些问题从根本上讲是关于量子计算的极限,并表明晶格和代码足够硬,足以成为量子硬体,但结构足以提供非平凡的原语。 SVP 和 LWE 不仅在密码学中发挥作用,而且在量子计算中也发挥着作用。重要的搜索问题(例如二面体隐藏子群问题)都涉及这两个问题。量子计算经典验证的最新突破依赖于 LWE。 LWE 甚至使经典方能够参与安全量子计算和通信协议。因此,提高对 SVP 和 LWE 的理解将有利于量子计算和密码学界。此外,最近对格算法的一些改进(来自代码)显示了一起研究格和代码而不是单独研究的好处。

项目成果

期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Quantum Augmented Dual Attack
量子增强双重攻击
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Martin R. Albrecht
  • 通讯作者:
    Martin R. Albrecht
Variational quantum solutions to the Shortest Vector Problem
最短向量问题的变分量子解
  • DOI:
    10.22331/q-2023-03-02-933
  • 发表时间:
    2022-02-14
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Martin R. Albrecht;Milos Prokop;Yixin Shen;P. Wallden
  • 通讯作者:
    P. Wallden
Advances in Cryptology - EUROCRYPT 2023 - 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part V
密码学进展 - EUROCRYPT 2023 - 第 42 届密码技术理论与应用国际会议,法国里昂,2023 年 4 月 23-27 日,会议记录,第五部分
  • DOI:
    http://dx.10.1007/978-3-031-30589-4_8
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Bonnetain X
  • 通讯作者:
    Bonnetain X
Quantum bounds for 2D-grid and Dyck language
二维网格和 Dyck 语言的量子界限
  • DOI:
    http://dx.10.1007/s11128-023-03910-9
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    2.5
  • 作者:
    Ambainis A
  • 通讯作者:
    Ambainis A
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Yixin Shen其他文献

Finding many Collisions via Reusable Quantum Walks
通过可重复使用的量子行走发现许多碰撞
  • DOI:
    10.1007/978-3-031-30589-4_8
  • 发表时间:
    2022-05-27
  • 期刊:
  • 影响因子:
    0
  • 作者:
    X. Bonnetain;A. Chailloux;André Schrottenloher;Yixin Shen
  • 通讯作者:
    Yixin Shen
Selenite uptake by Medicago sativa L. roots
  • DOI:
    10.1111/grs.12367
  • 发表时间:
    2022-05-01
  • 期刊:
  • 影响因子:
    1.3
  • 作者:
    B. Bai;Shengping Zhang;Xitong Suo;Wei Chen;Yixin Shen
  • 通讯作者:
    Yixin Shen
Dynamical partition of photosynthates in tillers of rice (Oryza sativa L.) during late growth period and its correlation with feeding value of rice straw at harvest
水稻生育后期分蘖光合产物的动态分配及其与收获时稻草饲用价值的相关性
  • DOI:
    10.1016/j.fcr.2011.06.001
  • 发表时间:
    2011-09-12
  • 期刊:
  • 影响因子:
    5.8
  • 作者:
    C. Dong;X. Liu;Hui Qu;Yixin Shen
  • 通讯作者:
    Yixin Shen
Microarray analysis of Long non-codingRNA expression profiles in human gastriccells and tissues with Helicobacter pyloriInfection
幽门螺杆菌感染的人胃细胞和组织中长非编码RNA表达谱的微阵列分析
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    2.7
  • 作者:
    Ying Ni;Yixin Shen;Hua Wang;Shihe Shao
  • 通讯作者:
    Shihe Shao
Intrathecal transplantation of olfactory ensheathing cells by lumbar puncture for thoracic spinal cord injury in mice
腰椎穿刺鞘内移植嗅鞘细胞治疗小鼠胸脊髓损伤
  • DOI:
    10.2147/jn.s120929
  • 发表时间:
    2017-05-05
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Tao Liu;Zhongqing Ji;S. Ahsan;Yu Zhang;Peng Zhang;Z. Fan;Yixin Shen
  • 通讯作者:
    Yixin Shen

Yixin Shen的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Yixin Shen', 18)}}的其他基金

The limits of Quantum Computing: an approach via Post-Quantum Cryptography
量子计算的局限性:后量子密码学的方法
  • 批准号:
    EP/W02778X/2
  • 财政年份:
    2023
  • 资助金额:
    $ 74.55万
  • 项目类别:
    Fellowship
Bridging the Gap Between Lattice Coding and Lattice Cryptography - Post-Quantum Cryptography
弥合晶格编码和晶格密码学之间的差距 - 后量子密码学
  • 批准号:
    EP/S02087X/1
  • 财政年份:
    2019
  • 资助金额:
    $ 74.55万
  • 项目类别:
    Research Grant

相似国自然基金

基于任意精度计算架构的量子信息处理算法硬件加速技术研究
  • 批准号:
    62304037
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于表面码的可纠错超导量子计算反馈解码研究
  • 批准号:
    12304553
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于编码的后量子多方安全计算
  • 批准号:
    62302464
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于量子计算的高效特征提取算法研究
  • 批准号:
    62371069
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
基于量子化学计算构建的荧光传感器阵列对西红花快速鉴定新方法的研究
  • 批准号:
    82374000
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目

相似海外基金

Hardware Security Module for secure delegated Quantum Cloud Computing
用于安全委托量子云计算的硬件安全模块
  • 批准号:
    EP/Z000564/1
  • 财政年份:
    2024
  • 资助金额:
    $ 74.55万
  • 项目类别:
    Research Grant
Towards Distributed Computing on a Quantum Network
迈向量子网络上的分布式计算
  • 批准号:
    2906416
  • 财政年份:
    2024
  • 资助金额:
    $ 74.55万
  • 项目类别:
    Studentship
Travel: NSF Student Travel Grant for 2024 IEEE International Conference on Quantum Computing and Engineering (QCE)
旅费:2024 年 IEEE 国际量子计算与工程会议 (QCE) 的 NSF 学生旅费补助金
  • 批准号:
    2417602
  • 财政年份:
    2024
  • 资助金额:
    $ 74.55万
  • 项目类别:
    Standard Grant
SPARQ(s) - Scalable, Precise, And Reliable positioning of color centers for Quantum computing and simulation
SPARQ(s) - 用于量子计算和模拟的可扩展、精确且可靠的色心定位
  • 批准号:
    10078083
  • 财政年份:
    2024
  • 资助金额:
    $ 74.55万
  • 项目类别:
    Collaborative R&D
Superconducting Gatemon Quantum Computing Enabled by CryoElectronics
CryoElectronics 支持的超导 Gatemon 量子计算
  • 批准号:
    EP/X025152/1
  • 财政年份:
    2024
  • 资助金额:
    $ 74.55万
  • 项目类别:
    Research Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了