XiaoMi-AI文件搜索系统
World File Search SystemOracles
origo：通过恒定通信证明敏感数据的出处
运输层安全性（TLS）是为了保护客户端服务器通信的基础。但是，它不会将完整性保证扩展到数据真实性的第三方验证。如果客户端要介绍从服务器获得的数据，则无法说服任何其他方都没有篡改数据。tls oracles确保数据真实性超出了客户端服务器TLS连接，以便客户可以从服务器获得数据并确保没有服务器端修改的任何第三方的出处。通常，TLS Oracle在TLS会话中涉及第三方，验证者，以验证客户获得的数据是否已准确。TLS Oracles的现有协议依赖交互式协议，是通信繁重的。我们介绍Origo，这是一个不断通信的TLS Oracle。与先前的工作类似，Origo在TLS会话中介绍了第三方，并提供了一项协议，以确保TLS会话中传输的数据的真实性，而无需没收其机密性。与先前的工作相比，我们依赖于特定于TLS 1.3的复杂详细信息，这使我们能够在零知识证明（ZKP）内证明正确的密钥推导，身份验证和加密。与TLS 1.3的优化相结合，可以在在线阶段进行不断通信的有效协议。我们的工作将在线沟通减少375倍，在线运行时间最多可将在线运行时间降低4。6×，与先前的工作相比。
量子算法：从基础到微分方程
■ 图灵机 ■ 量化计算资源 ■ 复杂性类别 ■ 量子计算简介：历史视角 ■ 量子计算模型 ■ 电路符号和量子门 ■ 量子门的通用集 ■ Solovay-Kitaev 定理 ○ 量子预言机 ○ 预言量子算法：
椭圆曲线上的类群作用产生的量子货币
量子货币是一种实现数字货币的方式，其中代表货币的“钞票”是量子态。量子货币的想法最早由 Wiesner [ Wie83 ] 提出，自那时起，量子货币就吸引了量子计算研究界的关注。在本文中，我们重点研究可公开验证的量子货币 [ Aar09 ]，这意味着任何观察者无需掌握特权信息即可验证钞票的正确性，以及量子闪电 [ Zha19 ]，这可以保证铸币厂也无法通过铸造复本钞票作弊。不幸的是，构建可公开验证的量子货币已被证明是相当难以捉摸的。Farhi、Gosset、Hassidim、Lutomirski、Nagaj 和 Shor 表明，即使经过一些自然修改，Wiesner 的量子货币方案也不能用于直接构建可公开验证的方案 [ FGH + 10 ]。第一个真正可公开验证的量子货币候选者是由 Aaronson [ Aar09 ] 以及 Aaronson 和 Christiano [ AC12 ] 提出的，他们分别给出了相对于量子和经典预言机的可公开验证的量子货币构造。不幸的是，这两种构造中预言机的拟议实例后来都被破解了 [ LAF + 10 ] [ CPDDF + 19 ]，这使得人们对此类预言机能否在现实世界中安全实施产生了怀疑。Zhandry 对量子闪电的具体构造 [ Zha19 ] 也被 Roberts [ Rob21 ] 破解。最近，Khesin、Lu 和 Shor [ KLS22 ] 的基于格的构造被 Liu、Montgomery 和 Zhandry [ LMZ23 ] 破解。另一方面，已经提出了一些候选方案，但尚未被破译，包括基于结点的构造 [ FGH + 12 ] 和四元数代数 [ Kan18 , KSS21 ]。此外，
对称甲骨文问题的量子查询复杂性。
我们研究了量子学习问题的查询复杂性，其中orac会形成统一矩阵的G组。在最简单的情况下，人们希望识别甲骨文，我们发现了t -Query量子算法的最佳成功概率的描述。作为应用程序，我们表明需要查询ω（n）的查询以识别S n中的随机置换。更普遍地，假设H是Oracles G组的固定子组，并从G中均匀地访问了对Oracle采样的访问，我们想了解Horacle属于哪个H caset。我们称此问题coset识别，它概括了许多众所周知的量子算法，包括Bernstein-Vazirani问题，范DAM问题和有限的场外多项式插值。我们为此问题提供了字符理论公式，以实现t- Query算法获得的最佳成功概率。一个应用程序涉及Heisenberg组，并根据N + 1的n + 1查询提供了一个问题，只有1个查询。
随机概念和反向数学
随机性。通过算法测试的随机性理论在Schnorr [37，38]的工作中以及[16]等DeMuth的工作中，在Martin-Lof的论文[28]中开始使用。这些作者中的每一个都使用算法工具来介绍一个有限位序列是否是随机的测试。而不是算法随机性的绝对概念，而是根据允许的算法工具的强度出现的随机性概念的层次结构。martin-lof引入了现在以他命名的随机概念，该概念基于康托尔空间中均匀计算的开放场景序列。schnorr根据可计算的投注策略考虑了更限制的测试，这导致较弱的概念现在称为可计算的随机性，而现在称为schnorr随机性的甚至更弱的概念。随机性比Martin-Lof强，但仍在算术中，库尔兹（Kurtz）在某种程度上提出了算术[24]。 对我们的重要性将是2随意性（即相对于停止问题的ML随机性），而弱2随机性的概念中间介于2随意性和ML随机之间。 有关正式定义，请参见第3和第5节。 算法随机性领域从1990年代后期开始进行了一段激烈的活动，其中大量的研究论文导致出版了两本教科书[17,34]。 这样做的一个原因是实现，回到kuˇcera [25,26]，它使满足的随机性概念与图灵oracles的计算复杂性以有意义的方式相互作用（后者是计算理论中的主要主题）。随机性比Martin-Lof强，但仍在算术中，库尔兹（Kurtz）在某种程度上提出了算术[24]。对我们的重要性将是2随意性（即相对于停止问题的ML随机性），而弱2随机性的概念中间介于2随意性和ML随机之间。有关正式定义，请参见第3和第5节。算法随机性领域从1990年代后期开始进行了一段激烈的活动，其中大量的研究论文导致出版了两本教科书[17,34]。这样做的一个原因是实现，回到kuˇcera [25,26]，它使满足的随机性概念与图灵oracles的计算复杂性以有意义的方式相互作用（后者是计算理论中的主要主题）。可以辨别随机性概念研究的两个主要方向：
多变量量子信号处理（M-QSP）
最近的研究表明，量子信号处理 (QSP) 及其多量子比特提升版本量子奇异值变换 (QSVT) 统一并改进了大多数量子算法的表示。QSP/QSVT 通过交替分析，用多项式函数无意识地变换酉矩阵子系统的奇异值的能力来表征；这些算法在数值上是稳定的，在分析上很容易理解。也就是说，QSP/QSVT 需要对单个 oracle 进行一致访问，更不用说计算两个或多个 oracle 的联合属性；如果能够将 oracle 连贯地相互对立，那么确定这些属性的成本就会低得多。这项工作引入了多变量 QSP 的相应理论：M-QSP。令人惊讶的是，尽管多元多项式的代数基本定理并不存在，但存在必要和充分条件，在这些条件下，理想的稳定多元多项式变换是可能的。此外，QSP 协议使用的经典子程序由于不明显的原因在多变量设置中仍然存在，并且保持数值稳定和高效。根据一个明确定义的猜想，我们证明可实现的多变量变换系列的约束尽可能松散。M-QSP 的独特能力是无意识地近似多个变量的联合函数，从而带来了与其他量子算法不相称的新型加速，并提供了从量子算法到代数几何的桥梁。
工作自由：理解、疏离和人工智能驱动的工作场所
1. 简介 想象一下，你生活在一个不公正的社会，这个社会的成员都是值得信赖、无所不知、异常直率的预言家。你问预言家你的社会是否会公正，并被告知你生活在幸运的时代：在未来五年内，全面的制度变革将使你的社会变成一个公正的社会。五年过去了，确实发生了全面的制度变革。由于你的预言家是值得信赖的，所以你知道你的社会现在是公正的。但你不知道为什么它是公正的，因为事实证明，正义是通过开发和实施一个集中的算法决策系统来分配利益和负担、执行法律等来实现的。这个系统太复杂了，你——或者除了预言家之外的任何人——都无法理解它的底层结构或它做出的决定。计算机科学、法律和哲学领域关于人工智能可解释性的新兴文献集中于解释人工智能的能力具有工具价值的各种方式。例如，可解释的人工智能被认为对追索权或对决策提出异议很有价值，这两者都是机构合法性和公平性的必要条件（Ventkatasubramanian 和 Alfano 2020；Vredenburgh 2021）。从该文献的角度来看，你相信神谕是无所不知的，那就错了。如果你的社会确实因其不透明性而令人反感，那么它一定是不公正的。然而，我想让你假设一下，想象中的社会确实是完全公正的。你是否仍然直觉地认为上述社会在某种程度上令人反感？我想很多人都这么认为。我将从解释的非工具价值的角度来解释和捍卫这种直觉。对组织和社会机构的结构和运作的解释具有非工具价值，因为它们构成了反思澄清我们每个人都不得不对自己的全面实践取向的基础。
理解、疏离和人工智能驱动的工作场所
1. 简介 想象一下，你生活在一个不公正的社会，这个社会的成员都是值得信赖、无所不知、异常直率的预言家。你问预言家你的社会是否会公正，并被告知你生活在幸运的时代：在未来五年内，全面的制度变革将使你的社会变成一个公正的社会。五年过去了，确实发生了全面的制度变革。由于你的预言家是值得信赖的，所以你知道你的社会现在是公正的。但你不知道为什么它是公正的，因为事实证明，正义是通过开发和实施一个集中的算法决策系统来分配利益和负担、执行法律等来实现的。这个系统太复杂了，你——或者除了预言家之外的任何人——都无法理解它的底层结构或它做出的决定。计算机科学、法律和哲学领域关于人工智能可解释性的新兴文献集中于解释人工智能的能力具有工具价值的各种方式。例如，可解释的人工智能被认为对追索权或对决策提出异议很有价值，这两者都是机构合法性和公平性的必要条件（Ventkatasubramanian 和 Alfano 2020；Vredenburgh 2021）。从该文献的角度来看，你相信神谕是无所不知的，那就错了。如果你的社会确实因其不透明性而令人反感，那么它一定是不公正的。然而，我想让你假设一下，想象中的社会确实是完全公正的。你是否仍然直觉地认为上述社会在某种程度上令人反感？我想很多人都这么认为。我将从解释的非工具价值的角度来解释和捍卫这种直觉。对组织和社会机构的结构和运作的解释具有非工具价值，因为它们构成了反思澄清我们每个人都不得不对自己的全面实践取向的基础。
安全模型注释
在这里，我们假设消息空间具有超多项式大小（否则，无法实现OW安全性）。在任何这些含义中，攻击者（a 0，a 1）赢得OW-ATK游戏（以黑盒方式）可以转换为另一个（b 0，b 1）赢得IND-ATK游戏。的确，b 0运行st a←a d 0 0（pk）（或仅将st a设置为空字符串，如果atk = cpa），然后选择两个随机差异消息m 0，m1∈PKE.Mpk，然后输出（m 0，m 1，st），其中st =（st a，m 0，m 0，m 0，m 1，m 1）。在第二阶段，B 1使用接收到的sT A和挑战c ∗运行A 1（或A，如果ATK = CPA）。然后将A的输出M'与M 1进行比较。它们等于B 1输出1。否则，它输出0。
自主驾驶系统中故障出现的错误配置软件测试
系统配置选项的优化对于确定其性能和功能性至关重要，尤其是在自动驾驶软件（ADS）系统的情况下，因为它们具有多种此类选项。广告领域的研究工作优先考虑开发了拟议的测试方法，以增强自动驾驶汽车的安全性和安全性。目前，基于搜索的方法用于在虚拟环境中测试ADS系统，从而模拟了现实世界的情况。但是，这种方法依赖于优化自我汽车和障碍的航路点，以产生触发违规的各种情况，并且没有以前的技术专注于从配置的角度优化广告。为了应对这一挑战，我们提出了一个名为Conferve的框架，这是第一个自动配置测试框架。Confve的设计着重于通过不同配置下的不同广告测试方法产生的重新违规场景出现，利用9个测试Oracles使以前的广告测试方法可以找到更多类型的违规行为，而无需修改其设计或实施，而无需修改其新颖的技术，以识别出漏洞的违法行为违规和违反违法行为和违反违法行为。我们的评估结果表明，同盟可以发现1,818条独特的违规行为，并减少74.19％的重复违规行为。