1 Y2Q(量子年):量子计算机将拥有传统经典计算机无法达到的计算能力,并能够解密当前加密。2 Y2K 漏洞:一个被认为会导致计算机在 2000 年发生故障的问题。人们担心使用后两位数字管理年份的系统会错误地将年份识别为 1900 年,因此对程序进行了修改,并采取了暂停火车和航空运营等措施来应对故障。 在日本,这也被称为“2000年问题”。 3 量子计算机投入实际使用后仍能保持安全的加密方法 4 云安全联盟为量子时代设定倒计时时钟,CSA,2022/3/9:https://cloudsecurityalliance.org/press-releases/2022/03/09/cloud-security-alliance-sets-countdown-clock-to-quantum 5 CISA 宣布后量子密码学计划,美国国土安全部,2022/7/6:https://www.cisa.gov/news-events/news/cisa-announces-post-quantum-cryptography-initiative 6 事实说明书:拜登-哈里斯政府继续努力确保后量子密码学的未来,白宫,2024/8/13: https://www.whitehouse.gov/ostp/news-updates/2024/08/13/fact-sheet-biden-harris-administration-continues-work-to-secure-a-post-quantum-cryptography-future/
2023年,美国国家标准技术研究所(NIST)宣布了Dobraunig,Eichlseder,Mendel和Schläffer设计的Ascon算法家族,为资源约束设备提供有效的密码解决方案。这个决定来自严格的多轮轻巧的加密标准化过程。该标准介绍了一个新的基于ASCON的对称键加密原始家族,旨在提供经过验证的加密,并具有相关数据(AEAD),哈希和可扩展输出功能(XOF)功能,即Ascon-Aead-Aead128,Ascon-Hash256,Ascon-Hash256,Ascon-Xof128,Ascon-Xof128,和Ascon-cxof128。ASCON家族的特征是基于轻质置换的原始词,并提供了可靠的安全性,效率和灵活性,使其非常适合资源受限的环境,例如物联网(IoT)设备,嵌入式系统和低功率传感器。当高级加密标准(AES)可能无法最佳性能时,将开发家庭提供可行的替代方案。该标准草案概述了Ascon-Aead128,Ascon-Hash256,Ascon-XOF128和Ascon-CXOF128的技术规格,并提供其安全属性。
对称密钥算法(有时称为秘密密钥算法)使用单个密钥来应用加密保护以及删除或检查保护(即,同一个密钥用于加密操作及其逆操作)。例如,用于加密数据(即应用保护)的密钥也用于解密加密数据(即删除保护)。在加密的情况下,原始数据称为明文,而数据的加密形式称为密文。如果要保护数据,则必须对密钥保密。已批准了几类对称密钥算法:基于分组密码算法的算法(例如 AES)和基于使用哈希函数的算法(例如基于哈希函数的密钥哈希消息认证码)。
在经典密码学中,单向函数(OWFS)是最小的假设,而量子密码学中并非如此。引入了几种新的原语,例如伪兰顿单位(PRUS),伪andomfunction-likestate Generator(PRFSGS),PseudorandomState Generators(PRSGS),单向状态发电机(OWSGS),单向路线(OWNWAIGH),单向(Owpuzzs)(Owpuzzles)和EFAUZZS和EFAIRT。它们似乎比OWF弱,但仍然意味着许多有用的应用程序,例如私钥量子货币方案,秘密键加密,消息身份验证代码,数字签名,承诺和多方计算。现在,没有OWF的量子加密的可能性已经开放,该领域最重要的目标是建立它的基础。在本文中,我们第一次表征了具有元复杂性的量子加密原语。我们表明,当且仅当Gapk是弱量化的量子时,就存在单向拼图(Owpuzzs)。Gapk是一个有望的问题,可以决定给定的位字符串是否具有小的Kolmogorov复杂性。弱量化 - 平均强度意味着实例是从QPT可采样分布中采样的,对于任何QPT对手,其造成错误的可能性大于1 / poly。我们还表明,如果存在量子PRG,则GAPK是强烈的量子 - 平均水平。在这里,强烈的量化 - hardis是弱量化量的强度,其中对手犯错的概率大于1 /2 - 1 / poly。最后,我们表明,如果GAPK是弱经典的平均水平,那么就存在量子性(IV-POQ)的不可能证明。弱经典的平均雄硬与弱量子平均硬化相同,但对手是PPT。IV-POQ是捕获基于采样和基于搜索的量子优势的量子性证明(POQ)的概括,并且是Owpuzzs的重要应用。 这是量子优势基于元复杂性的第一个时间。 (注意:有两项并发作品,[KT24B,CGGH24]。)IV-POQ是捕获基于采样和基于搜索的量子优势的量子性证明(POQ)的概括,并且是Owpuzzs的重要应用。这是量子优势基于元复杂性的第一个时间。(注意:有两项并发作品,[KT24B,CGGH24]。)
摘要。在本文中,我们提出了可验证的秘密共享(VSS)方案,以确保同步模型中的任何诚实多数,并且仅使用对称键的加密工具,因此具有明显的后量词安全性。Compared to the state-of-the-art scheme with these features (Atapoor et al., Asiacrypt ‘23), our main improve- ment lies on the complexity of the “optimistic” scenario where the dealer and all but a small number of receivers behave honestly in the sharing phase: in this case, the running time and download complexity (amount of information read) of each honest verifier is polylogarithmic and the total amount of broadcast information by the经销商是对数;在Atapoor等人的上述工作中,所有这些复杂性都是线性的。同时,我们就“悲观”案件的先前工作保留了这些复杂性,在这种情况下,经销商或O(n)接收者会积极作弊。新的VSS协议在多方计算中引起了人们的关注,在多方计算中,各方以经销商的身份运行一个VSS,例如分布式关键生成协议。在Boneh等人的模型中,我们的主要技术手柄是多项式低度的分布式零知识证明。(加密’19),如果说明(在这种情况下为证人多项式评估)分布在几个验证者之间,则每个验证者都知道一个评估。使用类似于星期五的折叠技术(Ben-Sasson等,ICALP '18),我们构建了这样的证明,每个验证者都会接收到聚类信息并在Polylogarithmictim中运行。
“到目前为止我们讨论过的所有代码都在编译时执行了Rust的记忆安全性。但是,Rust隐藏了其中的第二语言,并不能执行这些记忆安全:它被称为不安全的生锈,就像普通的生锈一样工作,但给我们带来了额外的超级能力。ˮ
本论文由 ScholarWorks@UARK 免费提供给您,供您开放访问。它已被 ScholarWorks@UARK 的授权管理员接受,可纳入研究生论文和学位论文中。如需更多信息,请联系 uarepos@uark.edu。