XiaoMi-AI文件搜索系统
World File Search System原语
Silq：一种具有安全非计算和直观语义的高级量子语言
现有的量子语言迫使程序员在较低的抽象层次上工作，从而导致代码不直观且混乱。一个根本原因是，从程序状态中删除临时值需要明确应用量子操作来安全地取消计算这些值。我们提出了 Silq，这是第一种通过支持安全、自动取消计算来解决这一挑战的量子语言。这可以实现一种直观的语义，即隐式地删除临时值，就像在经典计算中一样。为了确保 Silq 语义的物理性，其类型系统利用新颖的注释来拒绝非物理程序。我们的实验评估表明，Silq 程序不仅更易于读写，而且比其他量子语言中的等效程序短得多（Q# 平均减少 46%，Quipper 减少 38%），同时仅使用一半的量子原语。
构建具有互动感知的负担能力图
机器人需要了解他们的环境才能执行其任务。如果可以在封闭环境中预先编程的视觉场景分析过程，则在开放环境中运行的机器人将从与环境的互动中学习它的能力。此功能进一步为获得提供的图表开辟了道路，在该图中，机器人的动作能力结构了其视觉场景的理解。我们提出了一种方法，通过依靠互动感知方法和在线分类来建立此类负担图地图，并为配备两个具有7个自由度的武器的真正机器人进行在线分类。我们的系统是模块化的，可以从不同技能中学习地图。在提议的负担形式化中，行动和效果与视觉特征有关，而不是对象，因此我们的方法不需要事先定义对象概念。我们已经在三个动作原语和真实的PR2机器人上测试了该方法。
...
密码学是数学的应用，它通过代码开发消息保密。它有助于保持通信中的机密性和完整性，从而确保篡改数据保存。数字理论和加密对于现代数据安全至关重要，为屏蔽敏感信息和保证秘密通信提供了强有力的策略[1]。作者[2]列出了采用加密原语的标准应用程序和协议。伯顿在[3]中解释了这个数字理论传统上对著名的数学家和业余爱好者都吸引人。在[4]中，作者强调了数字理论和加密在数字时代对数据安全的重要性，从而促进了通信安全和信任。在[5]中，PrasadB。解释了广泛使用的算法，用于检测和纠正LUCAS编码方法中的大信息单元中的错误，尤其是矩阵元素。有关更多框架，可以指[6-11]。在[12]中，作者发明了线性双方方程在平衡化学方程中的应用。
量子密钥可撤销双 Regev 加密，重新审视
量子信息可用于实现经典加密无法实现的新型加密原语。Ananth、Poremba、Vaikuntanathan (TCC 2023) 最近的一项工作重点是使用量子信息为 Gentry、Peikert、Vaikuntanathan (STOC 2008) 引入的双 Regev 加密方案配备密钥撤销功能。他们进一步表明，密钥可撤销双 Regev 方案意味着存在完全同态加密和伪随机函数，它们都配备了密钥撤销功能。不幸的是，他们只能根据新的猜想证明其方案的安全性，而没有解决基于经过充分研究的假设来确定密钥可撤销双 Regev 加密安全性的问题。在这项工作中，我们解决了这个悬而未决的问题。假设具有误差的多项式学习难度（超过亚指数模数），我们证明密钥可撤销双 Regev 加密是安全的。因此，我们首次获得以下结果：
对深度学习工作负载的新型 AI 加速器的全面评估
摘要 — 科学应用越来越多地采用人工智能 (AI) 技术来推动科学发展。高性能计算中心正在评估新兴的新型硬件加速器，以有效运行 AI 驱动的科学应用。由于这些系统的硬件架构和软件堆栈种类繁多，因此很难理解这些加速器的性能。深度学习工作负载评估的最新进展主要集中在 CPU 和 GPU 上。在本文中，我们概述了 SambaNova、Cerebras、Graphcore 和 Groq 的基于数据流的新型 AI 加速器。我们首次对这些加速器进行了评估，评估内容包括深度学习 (DL) 原语、基准模型和科学机器学习应用程序等多种工作负载。我们还评估了集体通信的性能，这对于分布式 DL 实现至关重要，同时还研究了扩展效率。然后，我们讨论将这些新型 AI 加速器集成到超级计算系统中的关键见解、挑战和机遇。
测试战略不确定性模型
摘要 在重复博弈中，共谋和非共谋结果都可以作为均衡，因此了解每种均衡类型的选择可能性至关重要。受控实验已通过实证验证了双人重复囚徒困境的选择标准：始终背叛的吸引盆。该预测装置使用博弈原语来测量代理宁愿无条件背叛而不是尝试有条件合作的信念集。这种信念测量反映了对他人行为的战略不确定性，其中当盆地测量满时预测非合作结果，当盆地测量为空时预测合作结果。我们将这种选择概念扩展到多人社交困境并通过实验测试预测，操纵玩家总数和收益延伸。我们的结果证实了该模型是预测长期合作的工具，同时也说明了处理初次相遇时的一些局限性。（JEL：C73、C92、D91）
双盲比较：一种新的数据库方法...
摘要。当大量数据的安全级别高于其任何单个组成记录时，就会发生数据聚合问题。传统的拆分数据和以“需要知道”为基础限制访问的方法，首先消除了收集数据的一大优势。本文介绍了一种新的加密原语——双盲比较，它允许两个合作用户（每个用户都有一个加密的秘密）确定这两个秘密的相等或不相等，即使两个用户都无法发现有关秘密的任何信息。本文还介绍了双线性群中的一个新问题，据推测这是一个难题。假设这个猜想，结果表明，如果没有其他用户的合作，两个用户都无法发现有关秘密是否相等的任何信息。然后我们看看如何使用双盲比较来缓解数据聚合问题。最后，本文总结了一些未来研究的可能性以及双盲比较的一些其他潜在用途。
Quantum后安全通道协议
摘要。国家机构和组织的过渡不得不授权，通常会涉及一个阶段，其中经典和PQ原语将合并为混合解决方案。在这种情况下，必须对现有协议进行调整，以确保量子阻力在维护其安全目标的同时。这些适应可以显着影响性能，尤其是在设备上。在本文中，我们专注于标准化协议，这些协议支持跨不同模式的ESIM进行应用管理。这是一个复杂的用例，涉及具有严格安全要求的受限设备。我们介绍了所有模式的PQ适应，包括混合和完全PQ版本。使用Proverif，我们提供自动证明，以验证这些PQ变体的安全性。此外，我们分析了在设备上实施PQ协议，运行时和带宽消耗的性能影响。我们的发现突出了与实现ESIM管理后的量词后安全性相关的资源开销。
![arxiv：2409.08774v1 [cs.cr] 2024年9月13日](/simg/c\ce15fc06632896788e1644f566351ad26b5d90f3.webp)
arxiv：2409.08774v1 [cs.cr] 2024年9月13日
抽象晶格在密码学中具有许多重要的应用。在2021年，引入了P -ADIC签名方案和公钥加密加密系统。它们基于P -Adic Lattices中最长的向量问题（LVP）和最接近的向量问题（CVP）。这些问题被认为是具有挑战性的，并且没有已知的确定性多项式时间算法来解决它们。在本文中，我们改善了本地领域的LVP算法。经过修改的LVP算法是确定性的多项式时间算法时，当该字段被完全分析时，P是输入晶格等级的多项式。我们利用此算法来攻击上述方案，以便我们能够伪造任何消息的有效签名并解密任何密文。尽管这些方案被打破了，但这项工作并不意味着P -Adic晶格不适合构建加密原语。我们提出了一些可能的修改，以避免本文结尾处的攻击。
论量子随机预言模型中时间锁难题的（不）可能性
时间锁谜题 (TLP) 允许谜题生成器 Gen 高效地为解决方案 s 生成谜题 P ，这样，即使对手使用多台计算机并行运行，将谜题 P 解回 s 也需要更多的时间 。TLP 允许“向未来发送消息”，因为它们只在解算器花费大量时间时才允许“打开信封” P 。Rivest、Shamir 和 Wagner [RSW96] 的工作都提出了时间锁谜题的构造，并介绍了此类原语的应用。它们的构造基于这样一个假设：即使使用并行计算，也无法加快对 RSA 合数模整数的重复平方，除非知道合数的因式分解，在这种情况下他们可以加快该过程。因此，谜题生成器可以通过捷径“解决谜题”来找到解决方案，而其他人则被迫遵循顺序路径。 [ RSW96 ] 的工作还建议将 TLP 用于其他应用，如延迟数字现金支付、密封投标拍卖和密钥托管。Boneh 和 Naor [ BN00 ] 通过定义和构造定时承诺并展示其在公平合约签署等应用中的用途，进一步证明了此类“顺序”原语的实用性。最近，时间锁谜题有了更多的应用，如非交互式非可延展承诺 [ LPS17 ]。尽管它们很有用，但我们仍然不知道如何基于更标准的假设（尤其是基于“对称密钥”原语）构建 TLP。人们可能会尝试使用单向函数的求逆（比如，指数级困难）作为解谜的过程。然而，具有 k 倍并行计算能力的对手可以通过将搜索空间仔细分成 k 个子空间，将搜索过程加快 k 倍。将对称基元视为其极端（理想化）形式，人们可以问随机预言是否可用于构建 TLP。预言模型（尤其是随机预言模型）的优点在于，人们可以根据向其提出的查询总数轻松定义信息论时间概念，还可以根据算法向预言提出的查询轮数定义并行时间概念。这意味着，向预言并行提出 10 个查询只算作一个（并行）时间单位。Mahmoody、Moran 和 Vadhan [MMV11] 的工作通过排除仅依赖随机预言的构造，为从对称基元构建 TLP 提供了强大的障碍。具体而言，已经证明，如果谜题生成器仅向随机预言机提出 n 个查询，并且该谜题可以通过 m 个预言机查询（诚实地）解决，那么总有一种方法可以将解决过程加快到仅 O(n) 轮查询，而总查询次数仍然是 poly(n, m)。请注意，查询总数的多项式极限是使此类攻击有趣所必需的，因为总是有可能在一轮中提出所有（指数级的） oracle 查询，然后无需任何进一步的查询即可解答谜题。 [ MMV11 ] 的攻击实际上是多项式时间攻击，但如果有人愿意放弃该特性并只瞄准多项式数量的查询（这仍然足以排除基于 ROM 的构造）他们也可以在 n 轮中实现它。受量子密码学领域发展的启发，密码系统的部分或所有参与方可能会访问量子计算，我们重新审视了在随机 oracle 模型中构建 TLP 的障碍。Boneh 等人的工作 [ BDF + 11 ] 正式引入了具有量子访问的 ROM 扩展。因此，我们可以研究量子随机预言模型中 TLP 的存在，其中谜题生成器或谜题解决器之一（或两者）都可以访问量子叠加中的随机预言。这引出了我们的主要问题：