XiaoMi-AI文件搜索系统
World File Search Systemverifier
如何证明虚假陈述：对菲亚特 - 萨米尔的实际攻击
Fiat-Shamir（FS）变换是一种将公共互动协议汇编为非相互作用的多产技术。粗略地说，这个想法是用复杂哈希函数的评估替换验证者的随机硬币。在随机Oracle模型中已知FS变换是声音的（即，当哈希函数被建模为完全随机的函数时）。但是，当使用混凝土哈希函数实例化随机或时，有一些协议的示例，其中转换不声音。到目前为止，所有这些示例都是人为的协议，这些协议是专门设计为失败的。在这项工作中，我们根据GKR协议显示了对标准和流行的交互式简洁论证的攻击，用于验证非确定性界限深度计算的正确性。对于每种选择FS Hash函数，我们表明，该协议的相应插件在文献中已被广泛研究，并且在实践中也使用，当使用FS转换编译时，它并不是（适应性的）声音。具体来说，我们构建了一个显式电路，我们可以为其生成一个错误语句的接受证明。我们进一步扩展了攻击，并表明，对于每个电路C和所需的输出y，我们可以构建功能等效的电路C ∗，为此，我们可以产生一个接受的证据，即C ∗输出y（无论该语句是否为true）。这表明任何安全保证（如果存在）必须取决于电路C的特定实现，而不仅仅是其功能。最后，我们还演示了违反协议非自适应声音的攻击版本 - 也就是说，我们生成了一个独立于基础加密对象的攻击电路。但是，这些版本要么不太实用（因为攻击电路的深度非常大），要么对基础加密原语做出一些额外的（合理）假设。
AI 自适应 POW：用于 DDoS 防御的 AI 辅助工作量证明 (POW) 框架
在客户端-服务器架构中，负载均衡器负责验证和分配各个服务器实例之间的传入客户端请求。这可以防止单个服务器实例不堪重负。客户端通过发起请求开始交互。成功建立连接后，负载均衡器将请求放在服务器队列上。假设服务器的队列大小是有限的，大量恶意流量可能会耗尽此队列，使其无法处理真正的客户端请求。在本文的范围内，我们重新讨论了容量密集型分布式拒绝服务 (DDoS) 攻击。在这里，对手假装是真正的客户端，从而消耗大量服务器资源，并且几乎没有资源留给真正的客户端。一种可能的防御策略是强制所有连接的客户端在初始客户端-服务器连接建立阶段解决工作量证明计算难题。通用工作量证明 (POW) 框架由难题生成器、难题解答器和难题验证器组成。谜题生成器将谜题发送给解算器，解算器解开谜题并将解决方案发送给验证器。这些谜题的难度级别不同，即每个谜题需要不同数量的计算资源才能解决。解决谜题的任务会在交互过程中引入延迟，并且此延迟时间与谜题难度成正比。在本文中，我们使用 Java 编程语言 AI Adaptive POW 构建了一个基于 POW 的 DDoS 防御框架。该框架由人工智能 (AI) 协助，通过分配适当的 POW 谜题自适应地减慢对抗流量，从而在持续的 DDoS 攻击期间提高服务器的可用性。我们的 AI Adaptive POW 框架利用声誉分数来指导决定每个客户端应该解决多难的谜题。声誉分数是一种启发式方法，可指导系统区分真实客户端和恶意客户端。此启发式方法是使用检查传入客户端请求特征的 AI 算法计算的。
日期 2024 年 6 月 12 日 主题 航空可再生能源平行申领
尊敬的先生/女士，基础设施和水资源管理部长最近决定允许燃料供应商和飞机运营商同时在航空领域申请可再生能源。这意味着飞机运营商可以使用“等效”可持续性证明进行欧盟 ETS 报告。这封信包含有关 2024 年报告年度这一临时国家解决方案的更多信息。背景作为 Fit for 55 计划的一部分，ReFuelEU Aviation 和欧盟 ETS 的修订都已进行。在此框架内，燃料供应商和飞机运营商应该能够在各自的系统中申请可持续航空燃料 (SAF)。欧洲监测和报告实施条例 1 和荷兰国家排放交易条例 (Regeling handel in emissierechten) 规定了飞机运营商根据欧盟 ETS 申请的必要要求。荷兰已实施可再生能源指令 (RED-II)，并可选择加入航空业。当燃料供应商供应 SAF 时，他们可以在向荷兰排放管理局 (NEa) 提交可持续性证明 (PoS) 后生成可再生能源单位 (HBE)。飞机运营商在遵守必要的监测和报告要求时，可以根据欧盟 ETS 报告他们使用的 SAF 的零排放。从 2024 年起，飞机运营商还可以申请免费配额（SAF 配额）以使用 SAF。为此，需要向验证者提交 PoS，并（如果要求）向 NEa 提交。实际上，燃料供应商已经使用 PoS 来根据荷兰航空业的 RED-II 选择获得其可再生能源单位。PoS 只能发行一次，因此飞机运营商无法将其用于欧盟 ETS 报告。政策措施 欧盟委员会正在开发一个联盟数据库 (UDB)，该数据库将提供燃料供应商的燃料货物和飞机运营商的燃料购买之间的联系。UDB 将是一个可靠的系统，支持
多轮协议的量子回溯
简洁论证 [Kil92、Mic94] 允许证明者说服验证者语句 x 属于语言 L，并且通信长度短于对应关系的见证长度。简洁论证已成为现代密码学的基石，并推动了许多现实世界应用的发展，如可验证计算和匿名加密货币。近年来，基于各种密码学假设，简洁论证的构造呈爆炸式增长。然而，量子计算的出现对这些进步构成了重大威胁。一方面，Shor 算法 [Sho94] 迫使我们过渡到基于后量子假设的密码系统，例如带错学习 (LWE) 问题的难度 [Reg05]。另一方面，由于量子信息的根本性质不同，一些已知的证明密码协议安全性的技术不再适用于后量子时代。最值得注意的是倒带技术，这种技术在简洁论证的安全性证明中无处不在。在倒带证明中，有人认为，如果对手在一次随机挑战中以足够高的概率取得成功，那么他一定能在多次挑战中取得成功。这种经典的直观想法在量子环境中不成立，因为测量对手对一次挑战的反应会导致不可逆转的信息丢失，这可能使其无法用于回答其他挑战。一类重要的简洁论证是基于 [ BCC + 16 , BBB + 18 ] 递归折叠技术的交互式协议，在文献中也称为 Bulletproofs 。利用密码方案的代数性质，类似 Bulletproofs 的协议可以实现比基于 PCP 和 IOP 的简洁论证 [ Kil92 , BCS16 ] 小得多的证明大小，同时保留公共币设置的好处。然而，与基于 PCP 和 IOP 的论证不同，原始的 Bulletproofs 构造不是后量子安全的，而是基于离散对数问题的难度。这激发了一系列旨在设计“后量子 Bulletproofs” [BLNS20、AL21、ACK21、BCS21] 的工作。虽然这些工作不依赖于量子不安全的加密假设，但它们对后量子安全性的分析只是启发式的，因为健全性只能在面对经典对手时才能体现出来。受此情况的启发，我们提出以下问题：
量子优势的密码学表征
量子计算优势是指存在一些对于量子计算来说很容易但对于经典计算来说很难的计算任务。无条件地展示量子优势超出了我们目前对复杂性理论的理解，因此需要一些计算假设。哪种复杂性假设对于量子优势是必要且充分的？在本文中，我们证明了当且仅当存在经典安全单向谜题 (OWPuzzs) 时，量子性低效验证者证明 (IV-PoQ) 才存在。据我们所知，这是第一次获得量子优势的完整密码学表征。IV-PoQ 是量子性证明 (PoQ) 的泛化，其中验证者在交互过程中是高效的，但之后可能会使用无限时间。IV-PoQ 捕获了以前研究过的各种类型的量子优势，例如基于采样的量子优势和基于搜索的优势。先前的研究 [Morimae and Yamakawa, Crypto 2024] 表明 IV-PoQ 可以从 OWF 构建，但从较弱的假设构建 IV-PoQ 仍未可行。我们的结果解决了这个悬而未决的问题，因为人们认为 OWPuzzs 比 OWFs 弱。OWPuzzs 是最基本的量子密码原语之一，它由许多比单向函数 (OWF) 弱的量子密码原语所暗示，例如伪随机幺正 (PRU)、伪随机状态生成器 (PRSG) 和单向状态生成器 (OWSG)。因此，IV-PoQ 与经典安全 OWPuzzs 之间的等价性强调，如果没有量子优势，那么这些基本密码原语就不存在。这种等价性还意味着量子优势是 OWPuzzs 应用的一个例子。除了承诺之外，以前没有 OWPuzzs 的应用。我们的结果表明，量子优势是 OWPuzzs 的另一个应用，它解决了 [Chung, Goldin, and Gray, Crypto 2024] 的悬而未决的问题。此外，它是 OWPuzzs 的第一个量子计算经典通信 (QCCC) 应用。为了展示主要结果，我们引入了几个新概念并展示了一些独立有趣的结果。特别是，我们引入了一个交互式（和平均情况）版本的采样问题，其中的任务是对两个量子多项式时间算法之间的经典交互获得的转录进行采样。我们表明交互式采样问题中的量子优势等同于 IV-PoQ 的存在，它被认为是 Aaronson 结果 [Aaronson，TCS 2014] 的交互式（和平均情况）版本，SampBQP ̸ = SampBPP ⇔ FBQP ̸ = FBPP 。最后，我们还引入了零知识 IV-PoQ 并研究了它们存在的充分必要条件。
2021 年大学课程授权材料一级
产品名称 产品编号 发布流 Conformal® GXL CFM300 COMFRML202 Conformal® 约束设计 L CFM401 COMFRML202 Conformal® 约束设计 XL CFM421 COMFRML202 CCD 多约束检查选项 CFM422 COMFRML202 Conformal® 低功耗 CFM500 COMFRML202 Conformal® 低功耗 GXL CFM550 COMFRML202 Conformal® ECO Designer GXL CFM650 COMFRML202 多物理通用 HPC 令牌 SYS316 EMX/INTEGRAND60 EMX® IC 求解器 SYS500 EMX/INTEGRAND60 Genus™ 低功耗选项 GEN30 GENUS201 Genus™ 物理选项 GEN40 GENUS201 Genus™ CPU 加速器选项 GEN80 GENUS201 Genus™ 合成解决方案 GEN100 GENUS191 Cadence® 框架集成运行时选项 117 IC618 Virtuoso® 仿真环境 206 IC618 Virtuoso® 原理图编辑器 HSPICE 接口 276 IC618 Dracula® 图形用户界面 365 IC618 Cadence® SKILL 开发环境 900 IC618 Virtuoso® EDIF 200 读取器 940 IC618 Virtuoso® EDIF 200 写入器 945 IC618 Cadence® 设计框架集成商工具包 12141 IC618 Virtuoso® 原理图 VHDL 接口 21060 IC618 Virtuoso® 原理图编辑器 Verilog 接口 21400 IC618 Virtuoso® 模拟绿洲运行时选项 32100 IC618 Cadence® OASIS for RFDE 32101 IC618 Virtuoso® 模拟 HSPICE 接口选项 32760 IC618 Virtuoso® AMS 设计环境 70000 IC618 Dracula® 物理验证和提取器套件 70520 IC618 Diva® 物理验证和提取器套件 71520 IC618 Virtuoso® 原理图编辑器 XL 95115 IC618 Virtuoso® ADE Explorer 95250 IC618 Virtuoso® 可视化和分析 XL 95255 IC618 Virtuoso® ADE 汇编器 95260 IC618 Virtuoso® 变体选项 95265 IC618 Virtuoso® ADE 验证器 95270 IC618 Virtuoso® DFM 选项 95311 IC618 Virtuoso® 布局套件 GXL 95323 IC618 Virtuoso® 实现感知设计选项 95510 IC618 Virtuoso® 系统设计平台 95541 IC618 Virtuoso® 布局套件 EAD 95600 IC618 Voltus™-Fi 定制电源完整性解决方案 XL VTS500 IC618 Voltus™-Fi 定制电源完整性解决方案 - AA 高级分析 VTS501 IC618
量子优势的加密表征
量子计算优势是指容易用于量子计算的计算任务的存在，但对于经典的计算很难。无条件显示量子优势超出了我们当前对复杂性理论的理解，因此需要一些计算假设。哪种复杂性假设是必要的，并且足以满足量子优势？在本文中，我们证明存在量子性（iv-poq）时，并且仅当存在经典的单向拼图（Owpuzzs）时，就存在量子性的量化证明（IV-POQ）。据我们所知，这是第一次获得量子优势的完全加密表征。iv-poq是量子性证明（POQ）的概括，其中verifier在交互期间有效，但随后可能会使用无限的时间。IV-POQ捕获先前研究的各种类型的量子优势，例如基于采样的量子优势和基于搜索的量子优势。 先前的工作[Morimae和Yamakawa，Crypto 2024]表明，可以从OWFS构建IV-POQ，但是从较弱的假设中构建IV-POQ的结构是敞开的。 我们的结果解决了开放问题，因为据信owpuzzs比OWF弱。 owpuzzs是许多量子加密原语所暗示的最基本的量子加密原语之一，而不是单向函数（OWFS），例如伪和单位单位（PRUS），pseudorandom andom state state nate state Intate Generators（PRSGS）和单向状态生成器（单向状态生成器（OWN）。 因此，IV-POQ与经典的Owpuzzs之间的等效性强调，如果没有量子优势，那么这些基本的加密原始原始物将不存在。IV-POQ捕获先前研究的各种类型的量子优势，例如基于采样的量子优势和基于搜索的量子优势。先前的工作[Morimae和Yamakawa，Crypto 2024]表明，可以从OWFS构建IV-POQ，但是从较弱的假设中构建IV-POQ的结构是敞开的。我们的结果解决了开放问题，因为据信owpuzzs比OWF弱。owpuzzs是许多量子加密原语所暗示的最基本的量子加密原语之一，而不是单向函数（OWFS），例如伪和单位单位（PRUS），pseudorandom andom state state nate state Intate Generators（PRSGS）和单向状态生成器（单向状态生成器（OWN）。因此，IV-POQ与经典的Owpuzzs之间的等效性强调，如果没有量子优势，那么这些基本的加密原始原始物将不存在。等效性还意味着量子助理是Owpuzzs应用程序的一个示例。承诺以外，以前没有知道Owpuzzs的应用。我们的结果表明，量子优势是Owpuzzs的另一种应用，它解决了[Chung，Goldin和Gray，Crypto 2024]的开放问题。此外，它是Owpuzzs的第一个量子计算 - 经典交流（QCCC）。为了显示主要结果，我们介绍了几个新概念，并显示了一些将引起独立感兴趣的结果。尤其是我们引入了一个交互式（和平均值）版本的采样问题，其中该任务是通过两个量子脉络化的tompolynomial-timealgorithm之间的经典相互作用来采样转录本。我们表明，QuantumAdvantional的交互式抽样问题等同于IV-POQ的存在，IV-POQ被认为是Aaronson结果的交互式（和平均值）版本[Aaronson，TCS，TCS 2014]，SAMPBQP = SAMPBQP = SAMPBPP。最后，我们还引入了零知识的IV-POQ，并为其存在的研究足够和必要的条件。
缩写和首字母缩略词
A 安培、面积、高度、埃 (Å)、处理系统天线孔径或空中 (英国) AFOTEC 空军作战 T&E 中心 A-799 无故障证据报告 A/G 空对地 A/A、A-A、AA 空对空或防空 AGB 自主制导炸弹 AA-() 空对空导弹编号 () AGC 自动增益控制 AAA 防空炮兵 AGI 辅助通用情报 AAAA 美国陆军航空协会 (情报收集船) AAED 先进机载消耗性诱饵 AGL 高于地面 AAM 空对空导弹 AGM 空对地导弹 AARGM 先进反辐射制导 AGS 角门窃取导弹 (概念) AHWS 先进直升机武器系统 AAW 防空战 AI 人工智能、空中拦截或 A-BIT 自动内置测试机载拦截器 ABM 吸气式导弹或 AIAA 美国航空和反弹道导弹航天学会 A/C 飞机（也称 acft.）AIC 空中拦截控制 AC 交流电 AIM 空中拦截导弹 ACA 联合承包商协议或 AIRLANT 美国指挥官海军航空兵，空域协调区 大西洋舰队 ACAT 采购类别 AIRPAC 美国指挥官海军航空兵，ACCB 飞机配置控制委员会 太平洋舰队 Acft 飞机（也称 A/C） AJ 抗干扰或抗干扰 ACLS 航空母舰着陆系统 A-Kit 系统飞机接线套件 ACM 先进巡航导弹或空中（包括电缆、机架等。不包括战斗机动 WRA） ACQ 采购AM 幅度调制 ACS 天线耦合器组 AMD 飞机维修部 ACTD 先进概念技术 AMES 先进多环境演示模拟器 A/D 模拟到数字 AMLV 先进内存加载器/验证器 Ada 不是首字母缩略词。Ada 是 DoD Amp Amplifier 标准编程语言。AMRAAM 先进中程空对空 ADM 先进发展模型导弹 ADP 自动数据处理或 ANSI 美国国家标准协会先进发展计划 ANT 天线 ADVCAP 先进能力 A 作战可用性 AEC 航空电子战（陆军） AO 声光 AEGIS 自动电子制导拦截 AOA 到达角、攻角或替代方案系统分析（类似于 AEL 可访问发射限值 COEA） AEW 机载预警 AOC 老乌鸦协会（专业 AF 天线因子、空军或音频 EW 协会）或合同授予 频率 AOT 仅角度跟踪、尾部角度或 AFB 空军基地或机身公告 目标捕获 AFC 自动频率控制或 APC 安费诺精密连接器或机身更换 装甲运兵车
缩写和首字母缩略词
A 安培、面积、高度、埃 (Å)、处理系统天线孔径或空中 (英国) AFOTEC 空军作战 T&E 中心 A-799 无故障证据报告 A/G 空对地 A/A、A-A、AA 空对空或防空 AGB 自主制导炸弹 AA-() 空对空导弹编号 () AGC 自动增益控制 AAA 防空炮兵 AGI 辅助通用情报 AAAA 美国陆军航空协会 (情报收集船) AAED 先进机载消耗性诱饵 AGL 高于地面 AAM 空对空导弹 AGM 空对地导弹 AARGM 先进反辐射制导 AGS 角门窃取导弹 (概念) AHWS 先进直升机武器系统 AAW 防空战 AI 人工智能、空中拦截或 A-BIT 自动内置测试机载拦截器 ABM 吸气式导弹或 AIAA 美国航空和反弹道导弹航天研究所 A/C 飞机（也称为 acft.）AIC 空中拦截控制 AC 交流电 AIM 空中拦截导弹 ACA 联合承包商协议或 AIRLANT 美国指挥官海军航空兵，空域协调区 大西洋舰队 ACAT 采购类别 AIRPAC 美国指挥官海军航空兵，ACCB 飞机配置控制委员会 太平洋舰队 Acft 飞机（也称为 A/C） AJ 抗干扰或抗干扰 ACLS 航空母舰着陆系统 A-Kit 系统飞机接线套件 ACM 先进巡航导弹或空中（包括电缆、机架等。Ada 是 DoD Amp Amplifier 标准编程语言。（不包括战斗机动 WRA） ACQ 获取 AM 幅度调制 ACS 天线耦合器组 AMD 飞机维修部 ACTD 先进概念技术 AMES 先进多环境演示模拟器 A/D 模拟到数字 AMLV 高级内存加载器/验证器 Ada 不是首字母缩略词。AMRAAM 先进中程空对空 ADM 先进发展模型导弹 ADP 自动数据处理或 ANSI 美国国家标准协会先进发展计划 ANT 天线 ADVCAP 先进能力 A 作战可用性 AEC 航空电子战（陆军） AO 声光 AEGIS 自动电子制导拦截 AOA 到达角、攻角或替代方案系统分析（类似于 AEL 可访问发射限值 COEA） AEW 机载预警 AOC 老乌鸦协会（专业 AF 天线因子、空军或音频 EW 协会）或合同授予 频率 AOT 仅角度跟踪、尾部角度或 AFB 空军基地或机身公告 目标捕获 AFC 自动频率控制或 APC 安费诺精密连接器或机身更换 装甲运兵车
缩写和首字母缩略词
A 安培、面积、高度、埃 (Å)、处理系统天线孔径或天线 (英国) AFOTEC 空军作战 T&E 中心 A-799 无故障证据报告 A/G 空对地 A/A、AA、AA 空对空或防空 AGB 自主制导炸弹 AA-() 空对空导弹编号 () AGC 自动增益控制 AAA 防空炮兵 AGI 辅助通用情报 AAAA 美国陆军航空协会 (情报收集船) AAED 先进机载消耗性诱饵 AGL 高于地面 AAM 空对空导弹 AGM 空对地导弹 AARGM 先进反辐射制导 AGS 角门窃取导弹 (概念) AHWS 先进直升机武器系统 AAW 防空战 AI 人工智能、空中拦截或 A-BIT 自动内置测试机载拦截器ABM 吸气式导弹或 AIAA 美国航空与反弹道导弹协会 宇航 A/C 飞机（也称为 acft.） AIC 空中拦截控制 AC 交流电 AIM 空中拦截导弹 ACA 联合承包商协议或 AIRLANT 美国海军航空兵司令，空域协调区 大西洋舰队 ACAT 采购类别 AIRPAC 美国海军航空兵司令，ACCB 飞机配置控制委员会 太平洋舰队 Acft 飞机（也称为 A/C） AJ 抗干扰或抗干扰 ACLS 航空母舰着陆系统 A-Kit 系统的飞机接线套件 ACM 先进巡航导弹或空中（包括电缆、机架等，但不包括作战机动 WRA） ACQ 采购 AM 幅度调制 ACS 天线耦合器组 AMD 飞机维修部 ACTD 先进概念技术 AMES 先进多环境演示模拟器 A/D 模拟到数字 AMLV 先进存储器加载器/验证器 Ada 不是首字母缩略词。Ada 是 DoD Amp 放大器标准编程语言。 AMRAAM 先进、中程、空对空 ADM 先进开发模型导弹 ADP 自动数据处理或 ANSI 美国国家标准协会先进开发计划 ANT 天线 ADVCAP 先进能力 A 作战可用性 AEC 航空电子战（陆军） AO 声光 AEGIS 自动电子制导拦截 AOA 到达角、攻角或替代方案系统分析（类似于 AEL 可访问发射限值 COEA） AEW 机载预警 AOC 老乌鸦协会（专业 AF 天线因子、空军或音频 EW 协会）或合同授予 频率 AOT 仅角度跟踪、尾部角度或 AFB 空军基地或机身公告 目标捕获 AFC 自动频率控制或 APC 安费诺精密连接器或机身更换 装甲运兵车