XiaoMi-AI文件搜索系统
World File Search System证明
LaZer 库：基于格的零知识和简洁的量子安全隐私证明
格问题的难度为量子安全密码学提供了最有前途的安全基础之一。公钥加密和数字签名的基本方案已接近 NIST 和其他几个标准化机构的标准化，研究前沿已转向构建具有更高级隐私功能的原语。许多此类原语的核心是零知识证明。近年来，格关系的零知识证明（和使用格关系的零知识证明）的效率有了显著提高，目前它们为许多场景提供了可以说是最短、计算效率最高的量子安全证明。非专家（和专家！）使用这些证明的主要困难在于它们有很多活动部件，并且许多内部参数取决于人们试图证明的特定实例。我们的主要贡献是一个零知识和简洁证明库，它由简单易用的 Python 接口下高效灵活的 C 代码组成。没有任何基于格的证明背景的用户应该能够指定他们想要证明的格关系和范数界限，然后该库将自动创建一个带有内在参数的证明系统，使用 LaBRADOR 的简洁证明（Beullens 和 Seiler，Crypto 2023）或 Lyubashevsky 等人的线性大小（尽管对于某些应用来说较小）证明（Crypto 2022）。Python 接口还允许基于格的密码学中使用的常见操作，这将使用户能够在语法简单的 Python 环境中编写和原型化他们的完整协议。我们通过提供盲签名、匿名凭证、最近的 Swoosh 协议（Gaj-land 等人，Usenix 2024）中所需的零知识证明、证明 Kyber 密钥的知识和聚合签名方案的协议实现来展示该库的一些实用性。从大小、速度和内存的角度来看，其中大多数都是最有效的，已知的量子安全实例。
SBBQ PMBQBM选择通知02/2024证明B
使用mRNA进行疫苗接种和体内治疗性蛋白质的递送的概念是30年前提出的，但是必须克服几个障碍才能使其成为临床现实。早期实验表明，体外转录mRNA刺激细胞和组织中不想要的炎症反应和效率低下的蛋白质产生。一个转折点是Karikó和Weissman的发现表明，用改良的核苷碱基产生的mRNA逃避了先天的免疫识别并改善了蛋白质的表达。这些发现，结合了用于体内mRNA传递的有效系统的发展，SARS-COV-2尖峰抗原的稳定以及行业和政府的无与伦比的投资，导致了两种基于MRNA的COVID-19疫苗在2020年底批准了两种非常成功的MRNA COVID-19。
亚伯：神经定理的样本有效的在线增强学习证明
数学推理构成了深度学习模型的主要挑战，现在是一个非常活跃的研究领域[Williamson，2024]。诸如Isabelle [Paulson，1994]，Coq [Barras等，1997]和Lean [De Moura等，2015，Moura和Ullrich，2021年]等形式语言是为了实现自动计算机验证证明的，现在可以作为基础来防止语言模型模型。最近提出了依赖LLM和正式证明搜索环境的几种方法（应用程序a），但受到正式培训数据的稀缺性（在Lean的中央定理库Mathlib [Mathlib Community，2020]中的大约100K引理数据）和机器学习方法效率低下的限制。因此，关于神经定理的大多数作品证明，都集中于从自动化或合成数据生成中获取更多数据[Xin等，2024a]。
DHS没有证明其决定取消其节省成本的人才发展和培训收购计划的决定
我们发现国土安全部在部署其部门范围内的学习管理系统的第一次迭代之前已定义和测试要求。但是，在2023年6月，该部门确定承包商未满足所有信息技术安全要求，并在全面实施之前取消了收购计划。尽管DHS收购政策允许由于各种原因而取消收购计划，但DHS没有根据需要取消省钱计划的理由。这是因为首席人力资本官的办公室没有提供足够的监督来确保人员遵循收购生命周期框架的所有要求。框架需要组件来记录收购的各个阶段的关键决策。尽管投资了5年和410万美元，但该部门不再采用部门范围的解决方案。因此，组件以更大的成本购买了自己的学习管理系统。我们确定了额外的3920万美元资金，可以更好地使用。我们计算出的组件将花费约2250万美元的启动成本和1670万美元的年度维护和运营，以部署九种重复的系统。部门回应DHS同意我们的建议。我们考虑要关闭和解决的建议。
定罪后访问州的法医DNA证据证明了证明测试：不是独立的宪法权利
从实质性的角度来看，法院正确地拒绝了被告在逻辑上将剥离证据审前披露的正当程序权利的前提，从逻辑上将ipsofacto扩展到被定罪的人获得该州DNA证据的权利。法院表示，在最终判决之前（也不应）与在公正审判中被定罪的个人相同之前给被告提供的正当程序保护，但它在某些情况下认识到在某些情况下需要采取纠正措施，而犯罪证据很薄弱，并且很大程度上依赖于目击者的识别。缺乏自立后DNA测试的独立宪法权利并没有阻止这种补救。在定罪后的情况下，这种救济受到了限制。
评估和证明建筑物中热泵系统的实际能效（附件88）
kiyoshi saito，日本瓦多达大学（saito@waseda.jp）Koji Kurotori，Tsukuba，Tsukuba建筑研究与测试实验室，日本美好生活中心（kuro-tori@tbtl.org.tbtl.org） （lua@unimelb.edu.au）菲律宾棉兰老岛州立大学拿破仑·埃特里亚（napoleon.enteria@g.msuiit.edu.ph）niccolo giannetti，日本电气通信大学，日本，giannetti.n@gmail.com） （kametani@omu.ac.jp）斯蒂芬·戈贝尔（StephanGöbel日本更好的生活，（kan@tbtl.org）
刺痛框架：证明超类对手的存在
我们介绍了超级阶级问责制，这是安全协议的新概念。可算置性的经典概念通常旨在识别违反对抗假设的特定对抗性游戏，导致了安全失败。超类责任制描述了一个不同的目标：证明存在能够违反安全假设的对手。我们开发了一种协议设计方法，用于实现称为刺激框架（SF）的超级阶级问责制。与经典的问责制不同，SF可用于广泛的应用程序，而无需进行协议修改，即使安全失败不归因于特定玩家。sf为公开验证的超级类对手生成了存在的证据，使SF成为举报人举报，高信任的机构宽松程序等有前途的弹簧董事会。我们描述了如何使用SF来证明能够违反实际应用程序的机密性的广告，这些应用程序包括TOR，Web3中的块基础架构，AD Auctions和私人联系人发现，以及公平交易订购系统的完整性。我们报告了我们已经构建的两个端到端的SF系统（用于TOR和BLOCK构建）以及对这些系统的实验。
注：拉威重建局将只考虑那些已经证明有能力和意愿的公司或组织提交的申请
第 1 部分 简介和一般信息 1.1. 简介和目的。本机构正在征求有意提供 2025 年咨询环境工程服务的个人和/或公司的资格，具体内容见本文件。通过本文件所述的资格申请流程，有意协助本机构提供此类服务的个人和/或公司必须按照本 RFQ 中的程序和时间表准备并提交资格声明。本机构将仅审查提交 SOQ 的公司提交的 SOQ，SOQ 包含本文件所述要求包含的所有信息（本机构全权判断）。本机构打算对符合以下条件的个人和/或公司进行资格审查：(a) 具备提供拟议服务的专业、财务和管理能力，(b) 同意按照本机构确定的薪酬条款和条件工作，为拉威的纳税人提供最大利益。1.2.采购流程和时间表。
b“在这项工作中，我们为 Jiang 等人的 T RH 变换提供了新的、更严格的证明。（ASIACRYPT 2023），它将 OW-CPA 安全 PKE 转换为具有 IND-1CCA 安全性的 KEM，这是典型 IND-CCA 安全性的变体，其中只允许单个解封装查询。此类 KEM 非常高效，并且 Huguenin-Dumittan 和 Vaudenay 在 EUROCRYPT 2022 上证明了它们足以用于实际应用。我们在随机预言模型 (ROM) 和量子随机预言模型 (QROM) 中重新证明了 Jiang 等人的 T RH 变换，适用于底层 PKE 是刚性确定性的情况。在 ROM 和 QROM 模型中，我们的归约都实现了 O (1) 的安全损失因子，显着改善了 Jiang 等人的结果，其在 ROM 中的安全损失因子为 O (q)，在 QROM 中的安全损失因子为 O q 2。值得注意的是，我们严密 QROM 缩减的核心是一个名为 \xe2\x80\x9creprogram-after-measure\xe2\x80\x9d 的新工具，它克服了 QROM 证明中由 oracle 重新编程造成的缩减损失。该技术可能具有独立意义，并且可用于实现其他后量子密码方案的严密 QROM 证明。我们注意到，我们的结果还提高了 Huguenin-Dumittan 和 Vaudenay (EUROCRYPT 2022) 的 TH 变换（也将 PKE 转换为 KEM）的缩减严密性，正如 Jiang 等人提供了从 TH 变换到 T RH 变换的严密缩减（ASIACRYPT 2023）。“
b“在这项工作中，我们为 Jiang 等人的 T RH 变换提供了新的、更严格的证明。（ASIACRYPT 2023），它将 OW-CPA 安全 PKE 转换为具有 IND-1CCA 安全性的 KEM，这是典型 IND-CCA 安全性的变体，其中只允许单个解封装查询。此类 KEM 非常高效，并且 Huguenin-Dumittan 和 Vaudenay 在 EUROCRYPT 2022 上证明了它们足以用于实际应用。我们在随机预言模型 (ROM) 和量子随机预言模型 (QROM) 中重新证明了 Jiang 等人的 T RH 变换，适用于底层 PKE 是刚性确定性的情况。在 ROM 和 QROM 模型中，我们的归约都实现了 O (1) 的安全损失因子，显着改善了 Jiang 等人的结果，其在 ROM 中的安全损失因子为 O (q)，在 QROM 中的安全损失因子为 O q 2。值得注意的是，我们严密 QROM 缩减的核心是一个名为 \xe2\x80\x9creprogram-after-measure\xe2\x80\x9d 的新工具，它克服了 QROM 证明中由 oracle 重新编程造成的缩减损失。该技术可能具有独立意义，并且可用于实现其他后量子密码方案的严密 QROM 证明。我们注意到，我们的结果还提高了 Huguenin-Dumittan 和 Vaudenay (EUROCRYPT 2022) 的 TH 变换（也将 PKE 转换为 KEM）的缩减严密性，正如 Jiang 等人提供了从 TH 变换到 T RH 变换的严密缩减（ASIACRYPT 2023）。“