XiaoMi-AI文件搜索系统
World File Search SystemNaysayer
naysayer证明 - 密码学EPRINT档案
在大多数具有编程功能的区块链中，例如以太坊[W + 14]，开发人员被激励以最大程度地减少链链程序的存储和计算复杂性。具有高度计算或存储的应用产生的大量费用，通常称为气体，以补偿网络中的验证器。通常，这些费用会传递给应用程序的用户。高气成本促使许多应用程序利用可验证的计算[GGP10]，将昂贵的操作放置到执行任意计算并提供简洁的非互动证明（SNARK）的功能强大但不受信任的脱链实体的昂贵操作（SNARK）是正确的。在零知识证明（即ZKSNARKS）的情况下，该计算甚至取决于验证者不知道的秘密输入。可验证的计算导致范式，其中智能合约虽然能够进行任意计算，但主要充当验证符，并将所有重要的计算外包外包。激励应用程序是汇总，它将许多用户的交易结合到单个智能合约中，该合约验证了所有用户都已正确执行的证明。但是，验证这些证据仍然很昂贵。例如，迄今为止，Starkex汇总已经花费了数十万美元来验证周五多项式承诺的开放证明。1
poqeth 以太坊上高效的后量子签名验证
这项工作探索了 (标准化) 后量子 (PQ) 数字签名算法在区块链环境中的应用和有效部署。具体而言，我们在以太坊虚拟机中实现并评估了四种 PQ 签名：W-OTS +、XMSS、SPHINCS + 和 MAYO。我们专注于优化验证算法的 gas 成本，因为这是签名方案在链上执行的唯一算法，从而给用户带来财务成本（交易费）。因此，验证算法是签名方案用于去中心化应用的主要瓶颈。我们研究了两种在链上验证后量子数字签名的方法。我们的实际性能评估表明，完整的链上验证通常成本高昂。Naysayer 证明 (FC'24) 允许一种新颖的乐观验证模式。我们观察到 Naysayer 验证模式通常是最便宜的，但代价是额外的信任假设。我们将我们的实现 poqeth 作为开源库发布。
美国为何必须赢得人工智能（...
祝福许多人。反对者对未来人工智能的普遍看法是，人工智能将是一个由终结者和坏人主导的暗淡反乌托邦画面。高调的埃隆·马斯克将我们对人工智能技术的快速追求视为召唤恶魔。1 这场辩论的另一方认为，人工智能将开启一个新的全球篇章，在这一章中，我们试图比外界更好地了解自己。2 哪种人工智能预言最为准确尚不得而知，但可以肯定的是，人工智能技术在不断进步。最近，谷歌宣布其人工智能模型拥有超过 1.5 万亿个参数，取代了之前最先进的人工智能，即 Open AI 的 1750 亿个参数化的 GPT-3 模型。3 人工智能行业取得了令人眼花缭乱的突破，由于人工智能有可能在国家安全和企业效能方面取得范式进步，各国政府和私营企业越来越多地推动人工智能行业的突破。