清华叉院教授扔量子密码学论文炸弹!业界颤动,但算法被发现bug

liukang20241个月前吃瓜动态287
修正:好困 Aeneas

【新智元导读】前段时间,由清华叉院助理教授陈一镭提出的全新「破解格暗码的量子算法」,一经宣布便引发了业界颤动。但是就在最近,要害的第9步被发现有无法修正的bug,导致算法无法建立。

一直以来,处理格上的近似最短向量问题(Lattice Problems)以及带过错学习问题(LWE),都是核算机范畴的经典算法难题。

柔和的清华叉院教授扔量子密码学论文炸弹!业界轰动,但算法被发现bug的视图

尤其是在科学界看来,它们远远超出了传统核算机的才能规模。

那么,量子核算机有望能破解Lattice Problems以及LWE吗?

前段时间,来自清华大学穿插信息研讨院陈一镭助理教授,便针对这些问题提出了一种全新的「破解格暗码的量子算法」。

预印本论文一经宣布,便在整个核算机界引起了巨大的颤动。

如闻名暗码学家N. P. Smart,就在第一时间发了篇博客文章,具体评论了论文所带来的影响。

文章地址:https://nigelsmart.github.io/LWE.html

具体来说,陈教授提出的这种多项式时间量子算法,首要用于求解具有特定多项式模数-噪声比的「带过错学习问题」(LWE)。

通过结合Regev所提出的从网格问题到LWE的复原,便能够取得多项式时间量子算法,并能够在的近似因子内求解一切n维网格的决议计划最短向量问题(GapSVP)和最短独立向量问题(SIVP)。

在此之前,还没有已知的多项式乃至亚指数时间量子算法能够在任何多项式近似因子内求解一切网格的GapSVP 或SIVP。

论文地址:https://eprint.iacr.org/2024/555.pdf

为了开发求解LWE的量子算法,作者提出了两种新的技能:

首要,在量子算法的规划中引进具有杂乱方差的高斯函数。特别是,运用复高斯函数离散傅里叶变换中的卡斯特波特征。

其次,运用带有复高斯窗口的窗口量子傅里叶变换,然后能够结合时域和频域的信息。

基于此,便能够先将LWE实例转换为具有纯虚高斯振幅的量子态,然后将纯虚高斯态转换为LWE隐秘和差错项的经典线性方程,终究运用高斯消元法求解线性方程组。

细腻的清华叉院教授扔量子密码学论文炸弹!业界轰动,但算法被发现bug的图像

但惋惜的是,Hongxun Wu(UC伯克利博二学生)和Thomas Vidick(量子范畴专家)发现,算法的第9步实际上存在一个尚不能修正的bug。

也就是说,这个通过多项式模数-噪声比,来求解LWE的多项式时间量子算法,无法建立了。

对此作者表明,期望像复高斯(Complex Gaussian)和窗口QFT(windowed QFT)这样的主意,会在量子核算中找到其他运用,而LWE问题或许会将有其他处理办法。

9大要害过程

首要进行参数的设置,之后需求运转一个由九个过程组成的量子子程序,共运转O(n)次。

论文中最要害的,是一个需求调用O(n)次的,由九个过程组成的量子子程序。

其间,每次调用都会得到一个经典线性方程,其随机系数是中最短的向量(与LWE隐秘向量和过错向量相关)。

在调用完O(n)次之后,便能够得到一个全秩线性方程组,并通过高斯消元法核算出LWE隐秘和过错项。

过程 1:在上进行叠加,并运用复高斯窗口

过程 2:在|φ1⟩上运用

过程 3:在|φ2⟩上运用复高斯窗口,得到|φ3⟩和z′

过程 4:在|φ3⟩上运用

过程 5:将|φ4⟩分割成高阶|h′⟩和低阶|h′′⟩,然后对|h′′⟩进行丈量

过程 6:在|φ5⟩上运用

真实的清华叉院教授扔量子密码学论文炸弹!业界轰动,但算法被发现bug的照片

过程 7:提取|φ6⟩的中心,得到纯虚高斯状况|φ7⟩

过程 8:提取并保存|φ8⟩=|φ7⟩

在过程8中,作者首要进行四次运算(可逆),然后进行部分丈量,终究将四次运算回转。也就是说,需求在不折叠或修正|φ7⟩的情况下,学习

过程 9:从和|φ8⟩中提取隐秘的线性方程

第9步的方针是将|φ8⟩转换为隐秘的经典线性方程,并终究得到主Lemma(3.8)的证明。

其间,过程9运用过程8中取得的信息,以及刺进LWE隐秘中的已知项的κ-1坐标。

里,bug来了:|φ8.f⟩的振幅不满足M2周期性。

或许,另一种解说是:|φ8.f⟩包括p1...pκ向量。通过域扩展后,本应得到p1p2...pκ-p2...pκ向量,但依照|φ8.g⟩的写法,它只包括p1...pκ向量。因而|φ8.g⟩的表达式是过错的。

作者介绍

陈一镭是清华大学穿插信息学院(IIIS)的一名助理教授。

此前,他在波士顿大学取得博士学位,指导老师是Ran Canetti教授和Leonid Reyzin教授。并在上海交通大学取得学士学位。在那里,一个风趣的问题引导他走上了科研之路。

他的研讨爱好是暗码学,特别是在伪随机,格暗码,数论,和量子核算等方向。

首要效果有:规划了格问题的量子算法,建立了多线性映射和代码混杂在格问题上安全完成的根底,提出了证明Fiat-Shamir假定的办法,以及提出了一个不可逆群的结构。

参考资料:
https://www.zhihu.com/question/652567682
https://sqz.ac.cn/password-50
http://www.chenyilei.net/
https://eprint.iacr.org/2024/555
告发/反应

相关文章

豫美河南|当太极邂逅云台山

河南交通广播记者 雷静 实习记者 张婉玉风行全球的“世界第一健身运动”太极拳与“全球第一批世界地质公园”云台山相遇焦作,使得“山水富城·文武福地”有了具象体会。8月22日,第十一届我国焦作世界太极拳沟...

这家IPO撤单企业欲“嫁”上市公司,构成严重资产重组!

‍又一家上市公司拟收买IPO撤单企业。近来,新晨科技股份有限公司(以下简称“新晨科技”,300542.SZ)发布公告称,公司拟经过发行股份及支付现金的方法购买北京天一恩华科技股份有限公司(以下简称“天...

胖东来发声明正告“AI生成于东来声响行为”,要求相关账号当即中止侵权行为

胖东来发声明正告“AI生成于东来声响行为”,要求相关账号当即中止侵权行为

胖东来商贸集团11月24日发布声明。内容如下:近来,公司在第三方网络渠道发现多个账号,未经授权私行运用AI技术手段生成于东来先生的声响,并关于东来先生或公司享有著作权的视频内容进行不合法编排和篡改,参...

华晨宝马CEO回应BBA退出价格战:保证各方合作伙伴都能赚到满足的钱 可以活到未来

华晨宝马CEO回应BBA退出价格战:保证各方合作伙伴都能赚到满足的钱 可以活到未来

  据一财,最近,职业里传出一线奢华品牌BBA(奔驰,宝马和奥迪)退出价格战的声响。近来,华晨宝马CEO戴鹤轩表明:“价格是由经销商作为独立的运营主体去确认的,宝马会与上下游的同伴都坚持密布的评论,看...

全文发布|《关于中美经贸关系若干问题的中方态度》

新华社北京4月9日电国务院新闻办公室9日发布《关于中美经贸联络若干问题的中方情绪》白皮书。全文如下:关于中美经贸联络若干问题的中方情绪(2025年4月)中华公民共和国国务院新闻办公室目录前语一、中美经...

雷军年度讲演亮点回忆,是一碗鸡汤仍是实在心路历程?

雷军年度讲演亮点回忆,是一碗鸡汤仍是实在心路历程?

文 | 科技旋涡,作者&修改|孙浩南信任咱们都还记住,小米造车三年来经历过的争议。在一切人都不看好的时分,在面临很多嘲讽和置疑的时分,能依托的,其实只要自己的信仰与勇气。网上很多人都说雷军是“...

友情链接: