XiaoMi-AI文件搜索系统
World File Search System证明
如何证明虚假陈述：对菲亚特 - 萨米尔的实际攻击
Fiat-Shamir（FS）变换是一种将公共互动协议汇编为非相互作用的多产技术。粗略地说，这个想法是用复杂哈希函数的评估替换验证者的随机硬币。在随机Oracle模型中已知FS变换是声音的（即，当哈希函数被建模为完全随机的函数时）。但是，当使用混凝土哈希函数实例化随机或时，有一些协议的示例，其中转换不声音。到目前为止，所有这些示例都是人为的协议，这些协议是专门设计为失败的。在这项工作中，我们根据GKR协议显示了对标准和流行的交互式简洁论证的攻击，用于验证非确定性界限深度计算的正确性。对于每种选择FS Hash函数，我们表明，该协议的相应插件在文献中已被广泛研究，并且在实践中也使用，当使用FS转换编译时，它并不是（适应性的）声音。具体来说，我们构建了一个显式电路，我们可以为其生成一个错误语句的接受证明。我们进一步扩展了攻击，并表明，对于每个电路C和所需的输出y，我们可以构建功能等效的电路C ∗，为此，我们可以产生一个接受的证据，即C ∗输出y（无论该语句是否为true）。这表明任何安全保证（如果存在）必须取决于电路C的特定实现，而不仅仅是其功能。最后，我们还演示了违反协议非自适应声音的攻击版本 - 也就是说，我们生成了一个独立于基础加密对象的攻击电路。但是，这些版本要么不太实用（因为攻击电路的深度非常大），要么对基础加密原语做出一些额外的（合理）假设。
交互式的甲骨文证明与图形上的代码接近
设计有效的简洁非相互作用的知识论证（SNARKS）已成为密码学的重要领域。snark是一个加密证明系统，它使计算功能强大的谚语能够证明计算语句对计算弱验证者的有效性。实践中使用的蛇子依赖于对代数问题的计算算术化，并有效，互动地证明该问题具有解决方案。主要方法之一依赖于将错误校正代码作为代数问题，特别是芦苇 - 固体代码的接近测试。由于它们是作为对多项式评估的评估，因此它们提供了与算术相关的有用代数特性。但是，REED - 固体代码不是局部测试的，这意味着测试与代码相邻的距离，可以访问大部分单词。交互式甲骨文（IOPP）[1]，[2]的交互式甲骨文证明，通过启用与Reed-Solomon代码的接近度，同时仅读取几个坐标，以实现这一ISUE。iopp是供p的per p和verifier v之间的r旋转相互作用，其中p旨在说服v，对于给定的单词f∈Fn，代码c f n，code c f n和parameterΔ∈[0，1]，
从三个大型语言模型概念证明
注意：应将本文档理解为对2024年期间三个时间点概念证明的反思，该证明是由政府CIO在公共支出部门NDP交付和改革部赞助的，并由相关行业的反馈告知。它旨在为公共服务中的非技术和技术人员提供背景和见解。，就采用人工智能而言，这并不是要表明整个公共服务中通常发生的事情。
费马大定理在希尔伯特算术中的证明。III.费马大定理与格里森定理的量子信息统一
摘要 。本文的前两部分（分别是 https://philpapers.org/rec/PENFLT-2 和 https://philpapers.org/rec/PENFLT-3）表明，费马最后定理 (FLT) 在希尔伯特算术中的狭义和广义解释可以在第一部分中通过归纳法提出证明，在第二部分中通过 Kochen-Specker 定理提出证明。同样的解释也适用于基于格里森定理的 FLT 证明，部分类似于第二部分中的证明。希尔伯特空间子空间的 (概率) 测度的概念，尤其是其唯一性，可以明确地与偏代数或不可通约性联系起来，或者在广义上解释为希尔伯特算术的两个对偶分支的关系。对最后一个关系的研究使得 FLT 和格里森定理在某种意义上等同于两个对偶对应物，前者可以从后者推出，反之亦然，但需要附加条件，即算术对集合论的哥德尔不完备性。反过来，量子比特希尔伯特空间本身也可以通过 FLT 和格里森定理的统一来解释。利用广义的希尔伯特算术证明 FLT 这样的数论基本结果可以推广到“量子数论”的概念。通过“非标准双射”及其两个与信息论内在关联的对偶分支，可以从数学上研究皮亚诺算术从希尔伯特算术的起源。然后，无穷小分析及其革命性的物理学应用也可以在更广泛的背景下重新实现，例如，作为对时间物理量（分别是物理学中考虑的任何时间过程中的时间导数）出现方式的探索。最后，结果允许对任何层次结构如何产生或改变自身进行哲学反思，这仅归功于其对偶和幂等对应物。关键词：完备性、格里森定理、费马最后定理、希尔伯特算术、幂等性和层次结构、科亨和斯佩克定理、非标准双射、皮亚诺算术、量子信息
机器学习算法的概念证明，以预测过早的耻骨头发儿童的晚期21-羟化酶缺乏症
1。国家健康与医学研究所（INSERM）UMRS 1138，法国巴黎Cordeliers Research Center的蜂窝成像和细胞仪中心。2.索邦大学，UMRS 1138，法国巴黎Cordeliers Research Center。3。脂肪，法国巴黎大学，巴黎大学。4。INSERM-1162，实体瘤的功能基因组学，巴黎，法国。5。公共援助 - 法国克雷蒂尔病理学系Henri Mondor-Albert Chenevier大学医院的巴黎。6.UniversitéParis是Créteil，Inserm，IMRB，F-94010法国Créteil，法国。7. Inserm，UNUT U955，法国克莱特尔第18小组。8。医学系，大学医院RWTH AACHEN，德国亚尚；医学肿瘤学，国家肿瘤疾病中心（NCT），德国海德堡大学海德堡大学医院。9。在巴黎，亨利·蒙多尔·阿尔伯特·切尼维尔大学医院，法国克雷蒂尔的消化和肝动物手术系的公共医院援助。10。法国克雷蒂尔肝病学系的亨利·蒙多尔 - 阿尔伯特·切尼维尔大学医院的巴黎公共医院援助。11。12。公共援助 - 法国克里蒂尔医学肿瘤学系Henri-Mondor-Albert Chenevier大学医院Hôpitauxde Paris。13。公共援助 - 巴黎，亨利·蒙多尔 - 阿尔伯特·切尼维尔大学医院，法国克雷蒂尔细菌学与病毒学系。
naysayer证明 - 密码学EPRINT档案
在大多数具有编程功能的区块链中，例如以太坊[W + 14]，开发人员被激励以最大程度地减少链链程序的存储和计算复杂性。具有高度计算或存储的应用产生的大量费用，通常称为气体，以补偿网络中的验证器。通常，这些费用会传递给应用程序的用户。高气成本促使许多应用程序利用可验证的计算[GGP10]，将昂贵的操作放置到执行任意计算并提供简洁的非互动证明（SNARK）的功能强大但不受信任的脱链实体的昂贵操作（SNARK）是正确的。在零知识证明（即ZKSNARKS）的情况下，该计算甚至取决于验证者不知道的秘密输入。可验证的计算导致范式，其中智能合约虽然能够进行任意计算，但主要充当验证符，并将所有重要的计算外包外包。激励应用程序是汇总，它将许多用户的交易结合到单个智能合约中，该合约验证了所有用户都已正确执行的证明。但是，验证这些证据仍然很昂贵。例如，迄今为止，Starkex汇总已经花费了数十万美元来验证周五多项式承诺的开放证明。1
新定义，增强的安全性和可授权的证明
摘要。Benaloh和de Mare于1993年推出的密码蓄能器代表了具有简洁价值的一套，并提供了（非）成员身份的证据。 累加器已经发展，在匿名凭证，电子现金和区块链应用中变得至关重要。 为特定需求出现了各种属性，例如动态和通用性，导致多个累加器定义。 在2015年，Derler，Hanser和Slamanig提出了一个统一的模型，但此后出现了新的属性，包括零知识安全性。 我们提供了基于Derler等人的累加器的新定义。 的，适合所有属性。 我们还引入了一个新的安全物业，私人评估的不强迫性，以保护累加器免受伪造的侵害，并在Barthoulot，Blazy和Canard最近的累加器中验证了该物业。 最后，我们提供了有关累加器和可授权（非）会员证明属性的安全临时的讨论。代表了具有简洁价值的一套，并提供了（非）成员身份的证据。累加器已经发展，在匿名凭证，电子现金和区块链应用中变得至关重要。为特定需求出现了各种属性，例如动态和通用性，导致多个累加器定义。在2015年，Derler，Hanser和Slamanig提出了一个统一的模型，但此后出现了新的属性，包括零知识安全性。我们提供了基于Derler等人的累加器的新定义。的，适合所有属性。我们还引入了一个新的安全物业，私人评估的不强迫性，以保护累加器免受伪造的侵害，并在Barthoulot，Blazy和Canard最近的累加器中验证了该物业。最后，我们提供了有关累加器和可授权（非）会员证明属性的安全临时的讨论。
