XiaoMi-AI文件搜索系统
World File Search System可验证的
通过新的直线编译器从Sigma协议中普遍合并的非交互式零知识
摘要。非交互式零知识证明（NIZK）是阈值加密系统中的必不可少的构件，例如多党签名，分布式关键产生和可验证的秘密共享，允许当事方在不揭示秘密的情况下证明正确的行为。此外，普遍合并（UC）Nizks在较大的密码系统中启用无缝组成。构建Nizks的一种流行方式是使用Fiat-Shamir变换来编译交互式协议。不幸的是，菲亚特 - 沙米尔（Fiat-Shamir）转换的nizk需要倒带对手，并且不可直线提取，这与UC相反。使用Fischlin的转换具有直线提取性，但以基本协议的许多重复为代价，导致具体效率差且难以设定参数。在这项工作中，我们提出了一个简单的新变换，该转换将代数关系的Sigma协议编译为UC-NIZK协议，而没有任何重复的开销。
Ayoosh Bansal
研究生研究助理2017年8月 - 2024年8月•领导多个研究项目，架构系统解决方案，以增强功能安全性，增强系统安全性以及在网络物理和实时系统系统中提高临时可预测性，重点介绍自动层面和空中汽车。在这里链接了一个介绍研究成就。•通过开发感知单纯形式，在自动型地面车辆中可验证的感知安全性，这是一种系统体系结构，可在操作设计域内促进可验证的障碍物检测和确定性碰撞避免。使用开放式工业模拟框架对安全保证进行了分析和验证。•适应了通风的感知，同时通过紧密整合低级别的控制以动态确认系统的控制功能，而不是假定静态最差的壳，从而改善了其性能。•认识到缺乏上下文意识的指标用于自动驾驶中的对象检测，创建了风险排名召回。该度量差异基于对象的安全性影响。•tobringsecurityAuditingToreal -Timesystems，创建了省略号。在省点的themerentherentpresplicational -timeApplications，Ellipsis优化了实时应用程序的Linux审核。省略号几乎消除了典型操作期间审核事件损失的可能性，并在保留安全性信息的同时大大减少了审核数据量（> 90％）。•引入了一种新的内存类型，内部不可访问，外部可缓存，授权实时应用程序绕过高速缓存相干机制并减轻内存访问延迟可变性，可选择性地用于共享数据，对私人数据没有影响。在Linux内核和GEM5模拟器上引起的原型降低了52％的最差延迟，对性能的影响可忽略不计。•在处理器内核和硬件加速器之间设计了一个基于刮擦板的合作执行模型，在支持灵活的功能的同时，实现了与整体固定功能硬件加速器的类似能量和延迟效率。•帮助设计了针对实际应用程序的安全意识的任务计划，从而最大程度地减少了基于后计划的基于后计划对实时系统的影响。•有助于开发用于对象检测神经网络的输入优先级方案，从而克服了此类解决方案固有的优先级反转。
人工智能系统可信度评估：最新进展
基于模型的系统工程 (MBSE) 的核心是“从概念设计阶段开始并贯穿整个开发和后续生命周期阶段的建模形式化应用，以支持系统需求、设计、分析、验证和确认活动”(INCOSE，2007)。因此，MBSE 提倡“使用模型来执行传统上使用文档执行的系统工程活动”(Mann，2009)。这促进了对复杂系统工程过程的理解，包括人工智能 (AI) 系统工程作为一个多工程过程 (Mattioli 等人，2023d)。然而，MBSE 的成功应用需要对 ISO/IEC DIS 30145-2 标准定义的 AI 可信度进行评估，即“以可验证的方式满足利益相关者期望的能力”。事实上，如果在开发早期阶段没有对可信度进行评估，那么在航空电子、移动、医疗保健和国防等安全关键系统中部署人工智能组件就会变得有风险 (Mattioli 等人，2023b)。鉴于此，量化基于人工智能的系统可信度成为热门话题也就不足为奇了 (Braunschweig 等人，2022)。人工智能
突破位置验证的经典不可能性——DROPS
Chandran 等人 (SIAM J. Comput. '14) 正式引入了位置验证的加密任务，他们还表明该任务无法通过经典协议实现。在这项工作中，我们开始研究具有经典验证器的位置验证协议。我们发现量子性证明（以及计算假设）对于此类位置验证协议是必要的。在另一个方向上，我们调整了 Brakerski 等人 (FOCS '18) 的量子性证明协议来实例化此类位置验证协议。结果，我们实现了经典可验证的位置验证，假设有错误学习的量子难度。在此过程中，我们为 1-of-2 谜题的自然非局部游戏开发了 1-of-2 非局部健全性的概念，该概念由 Radian 和 Sattath (AFT '19) 首次提出，可视为计算不可克隆性属性。我们表明，1-of-2 非局部健全性遵循标准 2-of-2 健全性（因此也遵循自适应硬核位属性），这可能具有独立的意义。
基于区块链的智能电网操作的隐私和透明度
摘要在过去的几年中，区块链技术已经在众多智能电网应用中出现，从而无需值得信赖的第三方就可以构建系统。区块链提供透明度，可追溯性和问责制，可以通过智能合约（例如监视，消费分析和智能能源适应）来执行各种能源管理系统的功能。然而，揭示敏感的能耗信息可能会使用户容易受到数字和物理攻击的影响。本文提出了一种新的方法，用于在隐私和透明度之间达到双重平衡，以及问责制和可验证。此均衡需要在多渠道区块链及其相关的智能合约的分布式组件中纳入加密工具，例如安全多方计算和可验证的秘密共享。我们在需求响应方案的整个过程中证实了所建议的架构，从能源数据的收集到最终奖励。为了解决我们的提案的约束，我们提出了针对意外崩溃和拜占庭行为的对策，同时确保解决方案仍然适合于低性能的物联网设备。
填补人工智能可信开发的空白
人工智能 (AI) 的应用范围非常广泛，造成危害的可能性也非常大。人们越来越意识到人工智能系统的潜在风险，这促使人们采取行动应对这些风险，同时也削弱了人们对人工智能系统及其开发组织的信心。2019 年的一项研究 ( 1 ) 发现，已有 80 多个组织发布并采用了“人工智能道德原则”，此后还有更多组织加入。但这些原则往往在值得信赖的人工智能开发的“内容”和“方式”之间留下了空白。这种差距导致了可疑或道德上可疑的行为，这让人们对特定组织以及整个领域的可信度产生了怀疑。因此，迫切需要具体的方法，既能让人工智能开发人员防止危害，又能让他们通过可验证的行为证明自己的可信度。下面，我们将探讨创建生态系统的机制（摘自 ( 2 )），在这个生态系统中，人工智能开发人员可以赢得信任——如果他们值得信赖的话。更好地评估开发人员的可信度可以为用户选择、员工行为、投资决策、法律追索权和新兴治理制度提供信息。
使用实验数据分析和机械建模缓解增材制造中的气孔问题
摘要：雾化过程中保护气、金属蒸汽和粉末内部滞留的气体会导致气孔，而气孔会降低激光粉末床熔合增材制造部件的疲劳强度和拉伸性能。通过后处理和反复试验调整加工条件来降低气孔率既费时又费钱。在这里，我们结合机械建模和实验数据分析，提出了一种易于使用、可验证的无量纲气孔率指数来减轻气孔的形成。机械模型的结果经过了独立的实验数据严格测试。结果发现，该指数可以准确预测常用合金（包括不锈钢 316、Ti-6Al-4V、Inconel 718 和 AlSi10Mg）的气孔发生率，准确率为 92%。此外，实验数据表明，指数值越高，气孔数量越多。在四种合金中，AlSi10Mg 最容易产生气孔，其气孔指数值可能比其他合金高 5 至 10 倍。根据结果，我们绘制了气孔图，可在实践中用于选择适当的工艺变量组来减轻气孔，而无需进行实证测试。
量子内积的电路设计与高效模拟及其对近期混合量子-经典机器学习影响的实证研究
在量子计算机上可验证的较低复杂度。然而，量子电路 (QC) 的 QIP 体现仍不清楚，更不用说对 QIP 电路的 (彻底) 评估，特别是在 NISQ 时代的实际环境中，通过混合量子经典管道将 QIP 应用于 ML。在本文中，我们从头开始精心设计 QIP 电路，其复杂性与理论复杂性一致。为了使模拟在经典计算机上易于处理，特别是当它集成在基于梯度的混合 ML 管道中时，我们进一步设计了一种高效的模拟方案，直接模拟输出状态。实验表明，与之前的电路模拟器相比，该方案将模拟速度提高了 68k 倍以上。这使我们能够对典型的机器学习任务进行实证评估，从通过神经网络的监督和自监督学习到 K 均值聚类。结果表明，在量子比特足够的情况下，典型量子机制带来的计算误差一般不会对最终的数值结果产生太大影响。然而，某些任务（例如 K-Means 中的排序）可能对量子噪声更加敏感。
合并分析中的动态效率 2007 - OECD
圆桌会议重点讨论了合并有时会产生的反复出现的协同效应。这些协同效应或“效率”可能具有非常强大的有益效果，但极难识别和衡量。困难主要在于动态效率会随着时间的推移而发生，并且本质上可能是抽象的。因此，它们不适合用于评估静态效率的“快照”分析。委员会讨论了各种类型的动态效率，重点关注那些促进或鼓励创新的效率。一般而言，动态效率发挥重要作用的情况相对较少。大家普遍认为，证明所声称的动态效率的特定可能性并衡量其影响是一项艰巨的任务，没有简单的方法。目前，定量评估似乎不可行。此外，许多竞争执法机构不会考虑动态效率，除非它们是特定于合并的（即，在没有合并的情况下不太可能发生）、实质性的和可验证的，这不会让合并方更容易成功实现动态效率主张。然而，一些机构已经接受了定性的动态效率主张，并且尽管缺乏量化，但还是成功地对其进行了满意的评估。
零售能源存储激励计划手册 - nyserda
1. 经验描述：承包商必须提供其在安装、负载建模、系统工程和设计、电价分析、选址和参与负载修改计划方面的经验描述。相关技能、资历和其他相关经验将被考虑。如果适用，承包商还将根据过去在其他 NYSERDA 计划中的表现进行评估。承包商必须提交质量保证计划、组织结构图和最多五名关键人员的简历。质量保证计划应描述承包商的质量保证流程，包括承包商将如何监控项目的建设和安装，并确保项目符合《电池储能指南》中的消防安全和其他要求。2. 项目参考：承包商必须为已完成的电网连接安装提供三个可验证的客户参考（客户姓名、地址、电话和电子邮件）。必须指定系统大小（千瓦和千瓦时）、互连日期和承包商在项目中的角色。需要提供作为参考列出的项目的施工照片。项目参考可以来自纽约州以外。