PRO｜Vitalik：量子计算机的威胁、Crypto 整合 AI 的可取性、zkSync：空投设计的深入分析
以及数据可用性采样（DAS）改进技术、Execution Tickets 的经济分析等
欢迎阅读第四十五期 ChainFeeds PRO Newsletter。本次内容将包含Vitalik 探讨量子计算机对现有加密算法的威胁、Crypto 整合 AI 的可取性、zkSync 对空投设计的深入分析，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
How to hard-fork to save most users’ funds in a quantum emergency
Vitalik 探讨了量子计算机对现有加密算法的威胁，特别是对椭圆曲线加密的破解可能性。在这种情况下，用户的私钥可能会被泄露，从而导致资金被盗。并提出了一种应对量子计算机威胁的解决方案——通过进行硬分叉来实现恢复：
回滚到出现大规模盗窃迹象的第一个区块之后的所有区块。
禁用传统的以太坊地址交易。
添加一种新的交易类型，允许从智能合约钱包进行交易。
添加一种新的交易类型或操作码，允许提供 STARK 证明，证明对于给定的私钥和哈希函数，能够生成与已知公钥相对应的地址。如果 STARK 证明通过，用户的账户代码将被切换到新的验证代码，并且用户可以从那时开始使用该账户作为智能合约钱包。
The Internet of Agents
以太坊研究员 davidecrapis.eth 论证了区块链基础设施与 AI 代理的整合是可取的，它将催生「Internet of Agents（代理互联网）」，将 AI 代理程序与区块链基础设施相结合可以实现更高水平的安全性、效率性和合作潜力，从而促进经济发展。区块链特有的特点，如去中心化、激励机制、开放性与可组合性以及加密保证，将成为支持 AI 代理程序交互的理想基础设施。并讨论 Crypto x AI 的短期用例和应用：
DeFi 的增强：DeFi 是目前拥有最广泛采用的应用类别，因此在这一领域可能会发现更多的机会来利用 AI。例如，用于交易、清算、路由、统计套利等的专门模型，以及用于提取 MEV 的策略。
用户意图匹配：AI 代理程序可用于与区块链交互，根据用户的意图执行一系列的链上操作，从而使用户与链上市场连接。
行动规划和路由：随着以太坊区块链基础设施的成熟和复杂化，可以设计更加复杂的路由算法，这些算法不仅可以优化单个交易的执行，还可以考虑到更广泛的交易供应链上下文，为各种应用提供更好的执行策略。
共享资金和资产池：在区块链上创建和管理基金，让许多人合作，共同协商目标，然后委托执行给 AI 代理程序。
Airdrops: Giving Money Away Is Harder Than It Seems
尽管空投在区块链行业被广泛使用，但大家对于导致空投成功的因素的适当理解仍然缺乏。zkSync 和 Matter Labs 对空投的设计、成功度量和常见问题进行深入分析。得出的结论是，先前的空投并没有始终达到其预期的目标，大部分收益（⾼达 95％）最终被空投猎人通过交易所出售，而不是用于激励正常用户参与平台活动。空投设计常常存在一些常见的问题和陷阱，这些问题限制了空投的有效性。
建议改变空投机制，采用验证机制来确认参与者的真实身份和活跃度。并明确空投的目标和预期结果，并确保设计和执行空投时与这些目标保持一致。同时简化和优化空投流程，使得用户更容易参与和获得奖励，从而提高空投的效果和吸引力。
比特币协议进展
Bitcoin Optech Newsletter #293
可信赖的链上赌注与软分叉激活预测：ZmnSCPxj 提出了一种协议，允许参与者通过赌注的形式预测某个软分叉是否会激活。具体来说，协议允许两个参与者（比如 Alice 和 Bob）将他们的比特币按照一定比例结合起来，根据他们对软分叉激活的预测结果，其中一个参与者将获得所有结合起来的比特币。如果出现链分裂的情况，Alice 和 Bob 将分别获得激活了软分叉和未激活软分叉的链上比特币。
Chia Lisp 的概述：Anthony Towns 在 Delving Bitcoin 上发布了一篇关于 Chia 加密货币（共识算法为Proof of Space and Time，挖矿者利用硬盘空间来参与竞争）使用的 Lisp 变种的详细概述。这篇文章解释了 Chia 使用的 Lisp 编程语言，并提到了他之前提出的为比特币引入基于 Lisp 的脚本语言的软分叉建议。
闪电网络：技术与用户体验（六）：只有一种比特币
本系列文章旨在填补关于闪电网络的文献资料的一些空白。
本文探讨了闪电网络钱包在用户日常生活中可能面临的发起闪电支付和链上支付的需求，并提出了解决这一问题的技术和解决方案。
潜水艇互换（Submarine Swaps）：允许在闪电通道内发起链上支付的技术。通过潜水艇互换，可以利用通道内的资金创建链上输出，从而实现链上支付。
通道拼接（Channel Splicing）：允许在维持闪电支付功能的同时调整通道大小，而无需关闭通道。通道拼接利用共享的通道UTXO，使通道资金可以直接用于发起链上交易，也可以将链上资金用于创建新的闪电通道。
Swap-in Potentiam：一种加速链上资金进入闪电网络的方案。通过Swap-in Potentiam脚本，用户可以在接收链上支付后将资金迅速转入闪电网络，而无需等待通道开启。
治理
This Week in Governance - March 14: New Frontiers & Focused Funding
Arbitrum: 提议延续 Arbitrum DDA 计划：通过分配 400 万美元的预算，平均分配到四个领域：新协议想法、游戏、开发工具和教育、增长、社区和活动。该计划旨在通过 Questbook 管理，支持与 Arbitrum 路线图一致的项目，响应社区和开发者对增加资金和结构化监督的反馈。提议还概述了提高资助上限、详细评估流程和财务管理计划，以确保责任和计划的有效性。
Forefront: 提议解散 Forefront DAO：并将资金返还给 2021 年的财政多样化轮次参与者，原因是在熊市中失去了动力，缺乏明确的盈利路径。资金的分配将与每个参与者在该轮次中的参与成比例，计划将于三月底完成。此外，被视为治理而非投资工具的 $FF 代币将不会退还给 TDR 之外的持有者，而剩余的 $FF 将被销毁。
Purple: 提议将 BuilderDAO 的合约从以太坊主网迁移到 Base：降低交易成本并增强成员参与。该过程包括暂停拍卖以更新治理设置、迁移 DAO、以新设置恢复拍卖，并将部分资金库桥接到 Base。这一举措是由于高昂的主网成本，旨在降低交易费用、增加交互并与 Farcaster 生态系统保持一致，其中包括缩短的投票期和协议费的引入。
Sushi: 提议立即恢复 Sushi DAO 的治理论坛：这是一项前所未有的举动，抹去了自 Sushi 成立以来的所有治理讨论。这一举措声称是为了迁移目的，引发了对技术能力和治理忽视的担忧。在增强 Sushi DAO 的治理透明度和问责制方面，围绕论坛的删除和暂停活动引发了怀疑，突显了在维护重要通信渠道方面的 perceived 疏忽。
以太坊
研究和进展
LossyDAS: Lossy, Incremental, and Diagonal Sampling for Data Availability
研究员 Csaba Kiraly 介绍了三种数据可用性采样（DAS）改进技术：
LossyDAS 是一种数据可用性采样（DAS）技术，其核心思想是在稍大的样本大小下允许一些数据丢失。通常情况下，为了通过采样测试，节点需要成功检索所有选定的数据片段。但是，LossyDAS 允许在测试过程中接受一定数量的数据丢失，从而提高了系统的容错性。这意味着，即使未能检索到所有选定的片段，节点仍然可以接受数据块的可用性。通过牺牲一些数据完整性，系统可以在采样大小略有增加的情况下获得更高的容错性。
IncrementalDAS 是一种动态采样策略，其基本原理是根据测试结果逐步增加样本大小。允许在测试失败时逐渐增加样本大小。通过增加样本大小，系统可以适应不同的网络条件和数据可用性情况，提高测试的准确性。
DiDAS 是一种改进的数据可用性采样方法，针对 2D Reed-Solomon 编码网格进行优化。通过选择行和列不同的样本来提高采样性能，相比于随机均匀采样，DiDAS提供了更好的性能保证。
Economic Analysis of Execution Tickets
Execution Tickets 机制将提议者分为两种角色来消除提议者在区块生产中的垄断地位（可以从优先费用和 MEV 中获利）：Beacon Block Proposer（BP）和Execution Block Proposer（EP），后者负责构建执行载荷。当协议激活时，会生成 n 个执行票，可以从协议购买。每个区块都会抽取一个执行票，赋予持有者提出提议的权利。
Blockchain Capital 成员 jonahb27 提出了一个经济模型，用于评估 Execution Tickets 的价值。结果表明 Execution Tickets 的价值受到未来 EL 奖励的影响，以及折现率的影响。在理想情况下，Execution Tickets 应该能够捕获所有系统中的价值。
MEV 相关
The MEV Letter #31
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
论文《An Analysis of Intent-Based Markets》探讨了基于意图的市场中的求解器动态，并提出了求解器战略行为的两个正式模型。
论文《am-AMM: An Auction-Managed Automated Market Maker》介绍了一种自动做市商设计，通过对配置权的链上拍卖降低 LVR，并收取池费用。
文章《Considering Client Diversity through the lens of Network Performance》探讨了客户多样性对网络恢复能力的影响以及对时间博弈的影响。
MEV.market 由Flashbots 和 Nethermind 主办，活动为期一整天，就 MEV、订单流、PBS、SUAVE 等问题举行了会谈和小组讨论。
视频《Ethereum Sequencing and Preconfirmations Call #3》由 Justin Drake 主持，包括基于生态系统的最新情况，随后 Alex Gluchowski 介绍了与基于排序相关的问题。
Twitter Space《MEV & threshold encryption with Project Shutter》邀请 Ellie Davidson、Luis Bezzenberger 和 Jannik 就 Shutter 和加密内存池展开讨论。
📑论文
Atomicity and Abstraction for Cross-Blockchain Interactions
作者来自：Princeton University
当前跨链通信和跨链交易面临着接口差异、安全性等问题。作者定义了一种统一的、高级的链间通信接口。基于这个接口，制定了一个协议，保证了涉及多个链的一般交易的原子性。研究还论证并证明了这些协议的正确性和安全性属性。并通过 LayerZero 跨链桥梁进行了原型实现和性能评估验证了该解决方案的可行性和有效性。
zkFi: Privacy-Preserving and Regulation Compliant Transactions using Zero Knowledge Proofs
作者来自：zkFi
作者介绍了一个中间件解决方案，旨在通过零知识证明在各种多链协议中实现隐私的无缝集成，涵盖 DeFi、游戏、社交网络、DAO、元宇宙等领域。该设计实现了两个不同的目标。zkFi 旨在通过零知识证明保护消费者隐私，同时实现监管合规性。zkFi 协议被设计成一个即插即用的解决方案，为开发人员提供处理交易资产的灵活性，同时抽象掉与零知识证明相关的复杂性。
ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
作者来自：University of Luxembourg
文章介绍了一种名为 ACFIX 的新方法，旨在利用大型语言模型（LLMs）以及区块链智能合约的数据来自动修复智能合约中的访问控制（AC）漏洞。ACFIX 通过离线和在线两个阶段来实现自动修复。为了评估 ACFIX，作者构建了包含 118 个真实世界 AC 漏洞的基准数据集，并发现 ACFIX 成功修复了 94.92% 的漏洞，相比之下，基线模型 GPT-4 只能修复 52.54% 的漏洞。