XiaoMi-AI文件搜索系统
World File Search Systemprovers
对委托友好的Zksnark和掠夺私人代表团
零知识简洁的非交互性知识论证（ZKSNARKS）导致了可以简洁验证的证据，但需要大量的计算资源才能产生。先前的系统外包证明通过Pub-LIC委托，该委托揭示了第三方的见证人，或者更优选地是私人代表团，该代表团使用多方计算（MPC）保留证人隐藏。然而，由于MPC不确定，资源利用率不佳以及ZKSNARK协议的次优设计，当前的私人代表团计划在稳定性和效率上挣扎。在本文中，我们介绍了DFS，这是一种新的ZKSNARK，对公共场景和私人场景都非常友好。先前的工作着重于优化用于iS ZKSNARKS的MPC协议，而DFS使用MPC和ZKSNARK之间的共同设计，以使该协议具有分解计算和MPC的有效性。尤其是DFS在非延长设置中实现线性谚语时间和对数验证成本。对于私人代表团，DFS引入了一个计划，其中MPC中的通信开销为零，并免费获得恶意安全性，这导致了遗留的整体通信；先前的工作需要线性通信。我们的评估表明，DFS与公共代表团中最先进的Zksnark一样有效。当用于私人委托时，它比以前的工作更好。特别是，对于2个24个约束，DFS的总体设备小于500 kb，而先前的工作会产生300 GB，这是线性至电路尺寸的。此外，我们在先前的工作中识别并解决了安全性，EOS（USENIX'23）。
I2O办公室宽建议者日 sgil@seas.harvard.edu
•高助理网络军事系统（HACM）•安全文件（SAFEDOC）•验证者的管道推理验证者可以实现鲁棒系统（provers）•验证的安全性和性能增强大型遗产软件（V-Spells）（V-Spells）（V-Spells）（V-Spells）（V-Spells）•受到验证的微观匹配（AMP）•快速的开发工具（固化的执行工具）•加强执行工具（固化的执行工具）•硬化工具（固化工具）•硬化工具（固化工具）•硬化工具（固化工具） （arcos）
纠缠量子多项式层级崩塌
我们引入纠缠量子多项式层次 QEPH ，作为一类可通过相互纠缠的交替量子证明进行有效验证的问题。我们证明 QEPH 会坍缩至第二层。事实上，我们表明多项式数量的交替会坍缩为仅仅两个。因此，QEPH = QRG ( 1 ) ，即具有一轮量子裁判游戏的问题类，已知包含在 PSPACE 中。这与包含 QMA (2) 的非纠缠量子多项式层次 QPH 形成对比。我们还引入了 DistributionQCPH ，它是量子经典多项式层次 QCPH 的泛化，其中证明者发送字符串（而不是字符串）上的概率分布。我们证明 DistributionQCPH = QCPH ，表明只有量子叠加（而非经典概率）才能增加这些层次结构的计算能力。为了证明这一等式，我们推广了 Lipton 和 Young (1994) 的一个博弈论结果，该结果指出，在不失一般性的情况下，证明者可以在多项式大小的支持上发送均匀分布。我们还证明了多项式层次的类似结果，即 DistributionPH = PH 。最后，我们证明 PH 和 QCPH 包含在 QPH 中，解决了 Gharibian 等人 (2022) 的一个未决问题。
Quantum加密后（PQC）网络仪器
摘要 - 采用抗量子的加密网络协议或量词后加密术（PQC）的问题对于使量子计算民主化至关重要。问题是紧迫的，因为实用的量子计算机将在未来几十年中打破经典的加密。过去的加密数据已经收集，可以在不久的将来被删除。采用后量子加密的主要挑战在于算法复杂性和硬件/软件/网络实现。现有网络基础设施将如何支持量子后加密术的宏伟问题仍未得到解答。本文描述了：i）在伊利诺伊大学Urbana-Champaign的NA型超级计算应用中心（NCSA）放置的新型量词后加密（PQC）网络仪器的设计； ii）关于PQC采用率的最新结果（安全壳 - SSH - SSH，运输层安全 - TLS等）。）; iii）在关键科学应用中实施PQC的现状（例如Openssh或Scitokens）； iv）抗量子的挑战； v）讨论潜在的新攻击。这是在国家规模的超级计算中心和织物测试台上对PQC采用的第一个大规模测量。我们的分析确定了迁移当前应用的途径，以备量子。我们的结果表明，只有Openssh和Google Chrome已成功实施了PQC，并获得了NCSA的OpenSSH连接的初始采用率为0.029％（20,556,816中的6,044个）来自主要的Internet Service Provers或诸如Oarnet，Google fiber liber wepp and，goog fiber webt（例如，Unigre Internet Service Service Provers）和U.Aarnet，Google fiber webs（U.S.） （瑞典），2023 - 2024年的总体采用率同比增长。
使用现成设备进行量子委托 - DROPS
在交互式证明系统中，计算受限的验证者与强大的证明者交互，以验证商定的问题实例的真实性。从 QMA 开始，接着是 QIP 和 QMIP（等等），量子交互式证明系统（其中验证者是量子多项式时间）被定义和研究 [48, 49, 30]。然而，这些量化关键取决于验证者可以访问可信量子多项式时间验证的一个默认假设。鉴于目前量子计算发展的最新水平、表征量子系统的固有困难、以及无法可靠地验证量子计算轨迹的事实，有充分的证据表明这一假设可能是值得怀疑的。事实上，尽管技术取得了令人瞩目的进步，但我们最终可能不得不面对一个现实，即量子计算机永远不会像传统设备那样值得信赖或可靠。这一前景促使人们考虑以下模型：验证者可以访问非常有限但值得信赖的量子功能 [ 1 , 4 , 18 ]，或者验证者完全是经典的而证明者受计算限制 [ 31 ]，而另一类称为 MIP ∗ 的模型则模拟了一个高效的经典验证者与几个孤立的、不受限制的量子证明者交互 [ 14 ]。每种方法都有优势也有挑战：早期的量子服务器价格昂贵，因此在其他条件相同的情况下，最好只使用一个证明者；另一方面，现有的单证明者协议要么需要可信设备，要么做出计算假设。多证明者协议利用强大的设备独立性技术来避免这些假设，但代价是需要几个强大的证明者并需要隔离。该领域的当前时代精神让我们可以富有想象力地考虑如何描述和模拟量子世界中的任务。这些方法的共同点是，我们不考虑经典协议的直接量子模拟，而是努力做出在量子设置中自然激发的考虑 1 。在这里，我们继续保持这种势头，并引入一种新颖的证明验证方法，其中设置本身只能在量子设置中得到激励。为此，我们考虑以下问题：
整合人类的模型和机械化方法...
计算机科学的一个分支被称为“形式化方法”（FM），它专门使用数学逻辑形式对自动化系统的行为进行建模，这些逻辑可以使用机械化定理证明器和模型检查器进行非常强大的分析。有限状态机是 FM 中使用的形式化方法之一，该领域的研究人员最近开始将其方法应用于驾驶舱自动化。例如，Butler 等人 [2] 检查自动驾驶仪设计的一致行为，Leveson 等人 [11] 寻找被认为特别容易出错的构造，Rushby [15] 将自动驾驶仪描述与合理的心理模型进行比较。Leveson 和 Palmer [10] 以及 Rushby、Crow 和 Palmer [16] 展示了如何使用他们的方法预测 MD-88 自动驾驶仪 [12] 中已知的自动化意外。
Quantum sount-sound sound零知识
我们研究量子零知识（经典）方案，这些方案反对量子重置攻击。我们的模型的灵感来自重置掠夺的经典模型（Barak-Goldreich-Goldwasser-Lindell，focs '01），提供了一个恶意的效率供您使用，并访问了对验证者的下一密码函数，并将其固定在某些初始随机磁带上；从而使其有效地重置（或等效地倒带）verifier。在我们的模型中，供者对verifier的功能具有量子访问，尤其可以在叠加中查询它。量子可重置的声音背后的动机是双重的：首先，确保在可能可以重置量子的情况下（例如智能卡或虚拟机），确保具有强大的安全保证。第二，从经典环境中汲取直觉，我们希望提高对量子后零知识的基本问题的理解。
对苹果的iMessage PQ3协议的正式分析
我们介绍了Apple的Imessage PQ3的正式验证，这是一种高性能，设备到设备的消息传递协议，即使对具有量子计算功能的对手，也提供了强大的安全保证。PQ3利用苹果的身份服务以及定制的，量子后安全的初始化阶段，之后它采用信号风格的双棘轮构造，扩展以提供量子后，后弹力后的安全性。我们提出了PQ3的详细正式模型，它是其细粒度安全属性的精确规格，并使用T amarin Prover进行了机器检查的安全性证明。特别是新颖的是将量子后安全键的整合到相关协议阶段以及详细的安全要求以及其完整的正式分析中。我们的分析涵盖了两个关键棘轮，包括无界循环，某些循环被认为是诸如T amarin这样的符号掠夺的范围（不是！）。
QMA 的零知识证明系统 | 第 49 卷，第 2 期
摘要。先前的研究已经确定，NP 中的所有问题都允许经典的零知识证明系统，并且在合理的量子计算难度假设下，这些证明系统可以抵御量子攻击。我们证明了一个结果，该结果代表了这一事实的进一步量子概括，即复杂度类 QMA 中的每个问题都有一个量子零知识证明系统。更具体地说，假设存在一个无条件约束和量子计算隐藏承诺方案，我们证明复杂度类 QMA 中的每个问题都有一个量子交互式证明系统，该系统对于高效量子计算是零知识的。我们的 QMA 证明系统对任意量子证明者都是可靠的，但只需要一个诚实的证明者执行多项式时间量子计算，前提是它持有所考虑的 QMA 问题给定实例的量子见证。证明系统依赖于 QMA 完全局部汉密尔顿问题的新变体，其中局部项由 Clifford 操作和标准基础测量描述。我们相信该问题的 QMA 完全性在量子复杂性中可能有其他用途。
基于环氯磷酸的化合物抑制盐酸（HCl 1 m）中碳钢腐蚀的抑制作用
大学，P.O.Box 133，14000 Kenitra，摩洛哥收到了2015年1月28日，2016年1月14日修订，2016年1月22日接受 *通讯作者：电子邮件：gouri_mustapha@yahoo.fr，电话。：+212 6 65 04 88 21，传真：+212 5 35 60 05 88抽象新的环环磷酸，即抗丙二醇环旋二苯二酚（HPGCP）的hexa丙烯乙二醇（HPGCP）是对1 m HCl contery profe rone的碳腐蚀的抑制作用，这是一种抑制作用，这是较高的较高含量的室内温度，这是在1 m hcl provers profeers proce rone profe in Coll ost in concl conter in conter conters conters conters conters conters conters in the室温度损失，电力动力学极化曲线和电化学阻抗光谱（EIS）方法。基本溶液中Hexa乙二醇环磷酸（HPGCP）的溶解度结果。使用光谱技术（FTIR）表征化合物。结果表明，所研究的HEXA丙烯乙二醇环旋苯二苯甲烯（HPGCP）是1 M HCL培养基中碳钢良好的腐蚀抑制剂，其抑制效率随抑制剂浓度而增加。极化研究表明，两种研究的抑制剂在1 M HCl中都是阳极型抑制剂。碳钢表面上的抑制剂吸附，遵守Langmuir的吸附等温线。扫描电子显微镜（SEM）并讨论了未抑制和抑制的碳钢样品的表面研究。关键字：环磷酸，腐蚀抑制剂，HPGCP，电化学阻抗。1。简介