•探索LTS磁铁的性能限制,重点是强大的大规模实现•探索超出NB 3 SN限制的HTS磁铁技术,用于加速器应用•开发下一代的加速器磁铁,用于未来的colliders
我们构建了一个新的排列不变的代码,该代码纠正了任何tě1。我们还表明,新家庭中的代码正确量子缺失错误以及自发衰减错误。我们的构造包含一些预先已知的排列量子代码作为特定情况,这些量子代码也允许横向大门。在许多情况下,新家庭中的代码比保利·错误和删除的最佳先前已知的明确排列代码短。此外,我们的新代码系列还包括一个新的PP 4、2、2 QQ最佳单删除校正代码。作为一个单独的结果,我们概括了置换不变代码的条件,以纠正先前已知的t“ 1到任意数量错误的结果)。对于小t,这些条件可用于通过计算机构建代码的新示例。
在理解新的,但同时是旧的建议方面取得了巨大进展。实际上,在最后一轮中针对候选人[4,23]的一些突破性的隐性结果敦促NIST为数字签名开放一个额外的回合[1],期望在签名和关键大小之间实现潜在的硬性问题和比率的更多多样性。在这一额外的一轮中,NIST表示他们希望选择具有较小签名和不基于结构化晶格的快速验证的方案。适合描述的直接候选者是基于UOV [19]的多元签名,其本质上具有很小的签名。这些缺点是他们通常拥有巨大的公共钥匙,并且不能保证建筑的安全性。在频谱的另一端,是沉重但可证明的菲亚尔·沙米尔(Fiat-Shamir)签名。在几年的过程中,由于通用签名大小的巨大改进,他们从极低效率低下到合理的标准化候选人。现在,根据菲亚特 - 沙米尔范式,在额外的回合中有超过12个候选人。其中三个,Meds [11],Alteq [22]和更少的[3]使用Goldreich,Micali和Wigderson的GMWσ-Protocol [17],最初是在图均等概率上提出的,但可以从任何难题的问题中构成。例如,MEDS使用矩阵代码等价问题,其中对象是ma-trix代码,而等效性是双向的双向指行使线性变换。alteq使用一般线性群的交替的三连线形式等效性,但现在起作用在三个“侧面”上。最后,少量使用lin- ear code等效性,其中对象是锤击代码和等价缩放排列的。在所有这些方案中,异构体是在签名中编码的,并且典型地构成了其中的大多数。找到同量法的紧凑表示形式,因此直接影响签名的大小。在本文中,我们的目标是更有效地编码异构体,同时保持对其他性能指标(公共密钥大小和计算性能)的影响。
摘要:自古以来,密码学就被用于保护存储或传输数据/信息的机密性。因此,密码学研究也从经典的凯撒密码发展到基于模运算的现代密码系统,再到基于量子计算的当代密码系统。量子计算的出现对基于模运算的现代密码系统构成了重大威胁,因为构成模运算密码强度的计算难题也可以在多项式时间内解决。这种威胁引发了后量子密码学研究,旨在设计和开发能够抵御量子计算攻击的后量子算法。本文概述了后量子密码学中已经探索的各种研究方向,特别是已经探索的各种基于代码的密码学研究维度。从代码的角度探讨基于代码的密码学研究中尚未探索的一些潜在研究方向是本文的一项重要贡献。
在2005年推出的错误(LWE)假设[REG05]的学习已成为设计后量子加密术的Baiss。lwe及其结构化变体,例如ring-lwe [lpr10]或ntru [hps98],是构建许多高级加密启示剂的核心GVW15],非交互式零知识[PS19],简洁的论证[CJJ22]以及经典的[GKW17,WZ17,GKW18,LMW23]和量子加密[BCM + 18,MAH18B]的许多其他进步。虽然LWE在产生高级原语方面具有令人惊讶的表现力,但其他量子后的假设,例如与噪音[BFKL94],同基因[COU06,RS06,CLM + 18]和多变量四边形[HAR82]相近的疾病,以前的疾病是指定的,这使得直到直接的指示,这使得Inderiveive of to Inderiveive negripivessive to and Imply to negriptive for nightimivess,量子后密码学。这种状况高度令人满意,因为我们想在假设的假设中有一定的多样性,这意味着对冲针对意外的隐式分析突破。的确,最近的作品[CD23A,MMP + 23,ROB23]使Sidh在多项式时间中经典损坏的Quantum假设曾经是宽松的。这项工作旨在解决可能导致高级量化后加密术的技术和假设方面的停滞。在大多数情况下,这种假设缺乏多功能性可能归因于缺乏利用其他量词后假设的技术。这项工作的重点在于基于代码的加密假设,例如噪声(LPN)假设[BFKL94]及其变体的学习奇偶校验。与噪声的学习奇偶校验认为,被稀疏噪声扰动的随机线性方程(带有种植的秘密解决方案)出现了。即:
12。建议的微项目只计划在学期开始时由一名需要分配给他/她的学生进行一个微项目。在前四个学期中,微项目是基于组的。但是,在第五和第六学期中,最好采取单独进行对每个学生的技能和信心,以使其成为解决问题的人的技能和信心,以便他/他为行业的项目做出贡献。在为微项目组成组的情况下,小组中的学生人数不得超过四个。微项目可以是基于行业应用程序,基于Internet,基于研讨会的,基于实验室或基于现场的。每个微项目应包含两个或多个COS,实际上是PROS,UOS和ADO的整合。每个学生将必须维持一个过时的工作日记,该日记包括对项目工作的个人贡献,并在提交之前对其进行研讨会。在课程中,微项目的总持续时间不应小于16(十六)个学生参与时间。学生应该在学期结束前提交一项微项目,以开发面向行业的COS。这里给出了建议的微项目列表。这必须与能力和COS相匹配。有关课程老师可以添加类似的微项目:
摘要 — 量子计算的出现提出了如何在开发过程中识别(与安全相关的)编程错误的问题。然而,目前的静态代码分析工具无法对特定于量子计算的信息进行建模。在本文中,我们识别了这些信息,并建议相应地扩展经典代码分析工具。在这些工具中,我们认为代码属性图非常适合这项任务,因为它可以很容易地通过量子计算特定信息进行扩展。为了验证我们的概念,我们实现了一个工具,该工具在图中包括来自量子世界的信息,并展示了它分析用 Qiskit 和 OpenQASM 编写的源代码的能力。我们的工具汇集了来自经典和量子世界的信息,从而实现了跨两个领域的分析。通过将所有相关信息结合到一个详细的分析中,这个强大的工具可以帮助应对未来的量子源代码分析挑战。索引词 — 静态代码分析、软件安全、量子代码属性图、量子源代码分析
在这项工作中,我们为2D代码开发了一个通用张量网络解码器。具体而言,我们构成了一个解码器,该解码器近似于2D稳定器和子系统代码,但受Pauli噪声的影响。对于由N量表组成的代码,我们的解码器的运行时间为O(n log n +Nχ3),其中χ是近似参数。我们通过在三种噪声模型下研究四类代码,即规则的表面代码,不规则的表面代码,子系统表面代码和颜色代码,在钻头滑唇,相移,相动式噪声下,通过研究四类代码来证明该解码器的功能。我们表明,我们的解码器所产生的阈值是最新的,并且在数值上与最佳阈值一致,这表明在所有这些情况下,张量网络解码器很好地近似于最佳解码。对我们解码器的小说是任意2D张量网络的有效有效的近似收缩方案,这可能具有独立的关注。我们还发布了该算法的实现,作为独立的朱莉娅软件包:sweepContractor.jl [1]。