XiaoMi-AI文件搜索系统
World File Search SystemCompile
通过新的直线编译器从Sigma协议中普遍合并的非交互式零知识
摘要。非交互式零知识证明（NIZK）是阈值加密系统中的必不可少的构件，例如多党签名，分布式关键产生和可验证的秘密共享，允许当事方在不揭示秘密的情况下证明正确的行为。此外，普遍合并（UC）Nizks在较大的密码系统中启用无缝组成。构建Nizks的一种流行方式是使用Fiat-Shamir变换来编译交互式协议。不幸的是，菲亚特 - 沙米尔（Fiat-Shamir）转换的nizk需要倒带对手，并且不可直线提取，这与UC相反。使用Fischlin的转换具有直线提取性，但以基本协议的许多重复为代价，导致具体效率差且难以设定参数。在这项工作中，我们提出了一个简单的新变换，该转换将代数关系的Sigma协议编译为UC-NIZK协议，而没有任何重复的开销。
每月汇编（2024 年 12 月）
塞舌尔仲裁裁决：Complete Energy Solutions Limited 诉 Vetivert Tech (Pty) Ltd [2024] SCCA 13 (2024 年 5 月 3 日) 案评述。《国际仲裁公报》(荷兰莱茵兰阿尔芬) 41:6:769-786, 2024 年。
由科学传播与传播局（SCDD）编辑，CSIR，Anusandhan Bhawan，新德里
协议和谅解备忘录是在环境，森林和气候变化部秘书莱娜·南丹女士在场的情况下正式正式的； CSIR总干事兼科学与工业研究系总干事N. Kalaiselvi博士； SMT。A. Santhi Kumari，Telangana政府首席秘书； Shri Jayesh Ranjan，特兰加纳州政府特别首席秘书； Shri Tanmay Kumar，特别秘书，MOEFCC，MOEFCC兼董事长； CPCB； Shri Naresh Pal Gangwar，其他秘书，MOEFCC； CSIR技术管理局负责人Vibha Malhotra Sawhney博士；以及CSIR财富任务的任务主任K J Sreeram博士。CSIR，MOEFCC和Telangana政府的高级科学家和官员也参加了此次活动。CSIR，MOEFCC和Telangana政府的高级科学家和官员也参加了此次活动。
语言模型作为编译器：模拟伪代码执行改善语言模型中的算法推理
算法推理任务涉及涉及逻辑模式的算法，例如完成Dyck语言，尽管他们最近的成功，但对大语言模型（LLMS）构成了挑战。先前的工作已使用LLM来生成程序语言，并应用了外部计算机来执行此类任务。然而，当飞行时，很难用解决方案的正确逻辑生成可执行的代码。即使这样，一个实例的代码也无法重用其他实例，尽管它们可能需要相同的逻辑来解决。我们提出了t Hink-和-e Xecute，这是一个新的框架，改善了LLMS的算法 - 固有推理：（1）在T Hink中，我们发现了在所有实例中共享的任务级逻辑，并用伪代码表达逻辑； （2）在e x -ecute中，我们将任务级伪代码量身定制为每个实例并模拟其执行。t hink-和-e xecute在算法算法推理任务中的表现优于几个强大的基线（包括婴儿床和锅）。我们表现出使用任务级伪代码而不是一一生成实例特定解决方案的优点。另外，我们表明，即使对自然语言指导进行了自然语言指导，伪代码也可以更好地改善LMS的推理。
由印度科学与工业研究理事会（CSIR）科学传播与传播理事会（SCDD）编撰，Anusandhan Bhawan，新德里
尽管纳格浦尔市政公司 (NMC) 和居民共同努力，安巴扎里湖的凤眼莲杂草仍然肆意生长，迫使市政机构寻求该问题的长期解决方案。印度科学与工业研究理事会 - 印度国家环境工程研究所 (CSIR- NEERI) 已向 NMC 提供帮助，以消除这一祸害。该研究所将对此事进行研究，并准备一份关于安巴扎里湖凤眼莲杂草长期管理的报告。CSIR-NEERI 高级科学家 Paras Pujari 博士告诉《The Hitavada》，“水体中杂草的蔓延与许多因素有关，我们正在从各个方面寻找该问题的长期解决方案。”几周前，NMC 在居民和非政府组织的帮助下清除了湖中的杂草。大批民众前来清理湖面，并在消防部门潜水员和 NMC 工作人员的帮助下清除了水体中的凤眼莲杂草。尽管做出了这些努力，水体中杂草仍然蔓延，市政机构的机械设备频繁地清除杂草。“我们一直在努力清除湖中的杂草。我们部署了挖掘机、‘Jal Dost’、船只和人力来清理水体，”NMC 监理工程师 Shweta Banerjee 博士说道。污水进入水体是湖中凤眼莲泛滥的唯一原因。有一条从 Wadi 市政委员会 (WMC) 一侧流入的沟渠，将污水直接排入 Ambazari 湖。为了阻止污水进入 Ambazari 湖，邦政府拨款 1 亿卢比用于在沟渠附近建造一座污水处理厂 (STP)。“STP 的建设正在进行中，还需要六个月才能完成。在那之前，我们正在致力于短期杂草管理。 “我们要求 NEERI 开展一项研究，为水体制定杂草管理计划，”Banerjee 博士说。去年 9 月 23 日，该市发生洪水，原因是凤眼莲杂草堵塞了 Ambazari 湖的溢流侧。现在又到了季风季节，凤眼莲杂草成了附近居民的噩梦。
全国专家咨询会汇编报告……
附件二（c）：参加制定抗菌药物耐药性 2.0 国家行动计划的专业协会和民间社会组织国家专家磋商会的专家名单...................................................................................................................................... 37
步骤 1 编制持有或收藏品的摘要
关于步骤 1 的常见问题：编制藏品或收藏品摘要。1. 在编制摘要之前是否需要咨询？2. 摘要是否包括对哪些是或不是文化物品的判断？3. 我们是否将摘要发送给国家 NAGPRA 计划？4. 博物馆是否应将收藏品中的每个美洲原住民物品都包含在摘要中？5. 编制摘要的时间表是什么？6. 应何时更新摘要？如何更新之前提交的摘要？" 7. 摘要和清单有什么区别？摘要中是否包括人类遗骸？ 8. 谁决定摘要中应包括哪些内容？ 9. 如果博物馆声称其拥有某件文化物品的占有权，是否仍需要将其纳入摘要？ 10. 我们如何扩大摘要中列出的对象的地理范围？摘要中列出的对象数量/类型保持不变。我们是否需要创建一份扩大地理范围的新摘要？或者我们可以简单地联系咨询方，提供有关扩大范围的信息，并邀请新确定的咨询方进行咨询？
编译型异或游戏价值的计算 Tsirelson 定理
非局部博弈是理解纠缠和在具有多个空间分离的量子设备的环境中构建量子协议的基础工具。在这项工作中，我们继续了 Kalai 等人 (STOC '23) 发起的研究，该研究是在经典验证器和单个加密受限的量子设备之间进行的编译非局部博弈。我们的主要结果是，Kalai 等人提出的编译器对于任何双人 XOR 游戏都是可靠的。Tsirelson 的一个著名定理表明，对于 XOR 游戏，量子值由半定程序精确给出，我们通过证明 SDP 上界对于编译的游戏成立，直到编译产生的错误可以忽略不计，从而获得了我们的结果。这回答了 Natarajan 和 Zhang (FOCS '23) 提出的问题，他们展示了 CHSH 游戏特定情况的可靠性。利用我们的技术，我们获得了几个额外的结果，包括（1）并行重复 XOR 游戏的编译值的严格界限、（2）任何编译的 XOR 游戏的运算符自测试语句，以及（3）任何 XOR 游戏的“良好”平方和证书，从中可以看出运算符的刚性。
清洁能源基金编制投资计划 - nyserda
纽约州能源研究与开发局 (NYSERDA) 编制的投资计划记录了所有清洁能源基金市场开发和创新与研究投资组合计划的战略、活动、资金、预期收益和衡量计划，这些计划受 2021 年 9 月 9 日公共服务委员会批准清洁能源基金修改的命令管辖。1 本文件提供了纽约州能源研究与开发局 (NYSERDA) 管理的这两个投资组合的详细路线图，旨在帮助纽约州实现具有历史意义的《气候领导和社区保护法案》（《气候法案》）所体现的雄心勃勃的气候目标，该法案于 2020 年 1 月生效。利益相关者将找到按重点领域（市场部门分组）组织的计划，从而轻松全面了解纽约州能源研究与开发局 (NYSERDA) 通过投资纳税人资金来改变市场所做的工作。