XiaoMi-AI文件搜索系统
World File Search SystemProver
量子默克尔树
提交信息是密码学的核心任务，其中一方（通常称为证明者）存储一段信息（例如，一个比特串）并承诺不更改它。另一方（通常称为验证者）可以访问此信息，后者可以稍后了解该信息并验证它没有被篡改。Merkle 树 [1] 是一种众所周知的简洁构造，其中验证者可以通过从诚实的证明者那里收到一个简短的证明来了解信息的任何部分。尽管 Merkle 树在古典密码学中具有重要意义，但却没有与 Merkle 树相关的量子类似物。直接使用量子随机预言模型（QROM）[2] 进行概括似乎并不安全。在这项工作中，我们提出了量子 Merkle 树。它基于我们所说的量子 Haar 随机预言模型（QHROM）。在 QHROM 中，证明者和验证者都可以访问 Haar 随机量子预言机 G 及其逆。利用量子 Merkle 树，我们为 Gap-k-Local-Hamiltonian 问题提出了一个简洁的量子论证。假设量子 PCP 猜想是正确的，这个简洁的论证可以扩展到所有 QMA 。这项工作提出了许多有趣的开放研究问题。
零知识证明的进步：弥合理论与实践之间的差距
3 Orion：使用线性鄙视时间的零知识证明46 3.1简介。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。47 3.2初步。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。52 3.3对无损扩展器进行测试算法。。。。。。。。。。。。。。。。。。。。。。。56 3.4我们的新零知识参数。。。。。。。。。。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>61 3.5实验。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>67 3.6附录。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>71 3.7引理证明3.3.22。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。 div>。。。。。。。。。。71 3.8定理3.4.2的证明。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。72 3.9编码电路。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。72 3.10定理3.4.3的证明。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。73
对于 TakeCare 实验室分析的取样人员
家族性高胆固醇血症（FH）的基因研究。调查包括两个阶段：1)卡罗琳斯卡 FH 面板，这是一种 SNP 面板测试，使用 Agena MassARRAY 系统和 iPLEX Gold 化学方法（根据 SWEDAC 的 ISO/IEC 17025 认证）分析三个最重要的 FH 基因中已知的 119 个突变和缺失。 2) 使用卡罗琳斯卡 FH 面板未发现突变的样本将使用 Devyser 的 FH v2 扩增子测序方法和 Illumina 的 NextSeq 仪器进行进一步分析。根据样本类型选择分析：血液、纯化 DNA 或唾液。
论量子互联网的零知识证明
本文介绍了一种量子身份认证 (QIA) 协议的新方法。Schnorr [ 9 ] 提出的经典零知识证明 (ZKP) 逻辑被应用于量子电路和算法。这种新方法提供了一种精确的方法，证明者 P 可以通过将秘密封装在量子态中，然后通过量子通道发送给验证者 V，从而证明他们知道某个秘密 - 从而实现 ZKP，其中可以通过故障安全设计检测到窃听者或操纵。这是通过从离散对数问题的难度转向估计量子态的难度来实现的。本文介绍了一种实现此目标的方法，并提供了协议安全性的一些界限。随着“量子互联网”的预期出现，此类协议和想法可能很快就会在现实世界中发挥作用并付诸实施。
SOK：零知识范围证明 - 滴
零知识范围证明（ZKRP）允许供奉献者说服验证者，秘密值在给定的间隔中。ZKRP有许多应用程序：从匿名凭证和拍卖到加密货币的机密交易。同时，文献中存在众多ZKRP结构，每个构建都有自己的权衡。在这项工作中，我们将围绕ZKRP的知识系统化。我们根据基础建筑技术创建了现有构造的分类，并总结了它们的属性。我们在属性和效率水平方面提供了方案之间的比较，并构建了一个指南，以帮助选择适当的ZKRP来满足不同的应用要求。最后，我们讨论了许多有趣的开放研究问题。
senasp-gov.br
Senasp 启动了 Respad 计划。该计划旨在加强军事消防部门、公共安全部队、民防部门和其他负责危机管理的机构之间的协调，从而确保更有效地应对自然灾害。部长马里奥·萨鲁博强调了该计划的重要性。 “我们需要构建一个模型，使我们能够提供、资助、协调和保证迅速做出反应，以拯救生命、保护资产，并确保联邦政府在重大灾难，特别是气候变化造成的灾难面前迅速采取行动。”
使用 PUF 和哈希的轻量级远程证明......
远程证明是一种强大的机制，它允许验证者知道物联网 (IoT) 设备 (充当证明者) 的硬件是否被伪造或篡改，以及其固件是否被更改。远程证明基于以可信方式收集和报告测量值，对于资源受限的物联网设备来说应该是轻量级的。这项工作建议在证明者中包含一个低成本的测量和报告可信根 (RoTMR)，该根基于物理不可克隆函数 (PUF) 和证明只读存储器 (A-ROM) 的组合，并在证明协议中使用基于哈希的数字签名。建议的 RoTMR 针对基于微控制器的物联网设备，该微控制器执行位于攻击者可访问的外部非易失性存储器中的一些应用程序代码 (可测量对象)。数字签名所需的密钥不存储，而是使用 PUF 重建。 A-ROM 包含证明指令，并确保其内容无法更改，并且其指令按顺序执行而无需修改。使用基于哈希的数字签名使解决方案具有抗量子性和非常强大的功能，因为其安全性完全依赖于哈希函数的单向性。所提出的证明协议利用了以下事实：一次性签名 (OTS) 生成和多次签名 (MTS) 验证非常适合低端设备，而 MTS 方案适用于验证器应用程序环境。该提案已通过实验验证，使用广泛用于物联网设备的 ESP32 微控制器，使用其 SRAM 作为 PUF 并实施 WOTS+，这是一种 Winternitz 一次性签名方案 (WOTS)、智能数字签名的一次性签名方案 (SDS-OTS) 以及用它们构建的 MTS 方案。与 MTS 和 ECDSA（椭圆曲线数字签名算法）相比，OTS 方案需要更小的代码，因此 A-ROM 更小。其中一个 WOTS+ 的代码占用的空间比 ECDSA 少 4 倍左右。在执行时间方面，OTS 方案非常快。其中一个 WOTS+ 在几十毫秒内执行所有签名操作。OTS 方案（尤其是 SDS-OTS）在通信带宽方面也非常高效，因为它们与其他后量子解决方案相比使用较小的签名。© 2023 作者。由 Elsevier BV 出版 这是一篇根据 CC BY 许可开放获取的文章（http://creativecommons.org/licenses/by/4.0/）。
![arxiv：2308.09552v4 [cs.cr] 2024年4月9日](/simg/g:\will\search\icon\source\b\be0de935e4df45ccd7ba202849bcb176b1dedd48.webp)
arxiv：2308.09552v4 [cs.cr] 2024年4月9日
摘要。机器学习的成功（ML）伴随着对其可信度的越来越关注。几个司法管辖区正在准备ML监管框架。这样的问题是确保模型培训数据具有某些敏感属性的理想分布特性。例如，法规草案表明，模型培训师必须表明培训数据集具有特定的分散特性，例如反映人口的多样性。我们提出了ML属性证明的新颖概念，允许供奉献者（例如，模型培训师）证明ML模型与验证者（例如客户）的相关属性，同时保留了Sensifive数据的机密性。我们关注培训数据的分布性能的证明，而无需透露数据。我们提出了将特性推断与加密机制相结合的有效混合属性证明。3
使用多普勒效应进行安全运动验证
未来的交通系统高度依赖其交通工具（如车辆和飞机）提供的空间信息的完整性。在关键应用中（例如防撞），篡改这些数据可能会导致危及生命的情况。因此，安全地验证这些信息对于这些系统的安全至关重要。虽然在位置的安全验证方面有大量的工作，但节点的移动在文献中却很少受到关注。本文提出了一种新方法，可以安全地验证移动发送者在所有维度（即位置、速度和方向）的空间运动。我们的方案使用来自不同位置的多普勒频移测量来验证证明者的运动。我们为该方案的安全性提供了正式证明，并证明了其对空中交通通信的适用性。我们的结果表明，在当前运行的系统中，可以以零错误率可靠地验证飞机的运动。
用密码协议语言构造的对手安全
摘要 - 与普通并发和分布式系统相关联，加密协议的区别是需要推理对手干扰的必要性。我们建议通过可执行的协议语言一种新的驯化方法来驯服这种复杂性，该协议语言不会直接揭示对手，而是执行一组直觉的卫生规则。凭借这些规则，用这种语言编写的协议在没有主动的dolev-yao风格对手的情况下表现出相同的行为。因此，可以通过分析没有对手的状态空间来简化有关协议的正式推理，即使是na've模型检查也可以确定多方协议的正确性。我们介绍了辛辣的设计和实施，即正确实施的安全协议的缩写，包括其输入语言的语义；基本的安全证明，在COQ定理供奉献中正式化；和自动化技术。我们通过少数案例研究对工具的性能和能力进行初步评估。