PRO 前沿｜将 EOA 迁移到智能合约钱包、Aztec 去中心化 Sequencer 方案、MEV-Boost 拍卖
以及更高精度解码意图、欺诈证明的即时交互等
欢迎阅读第十六期 ChainFeeds PRO Newsletter。本次内容将覆盖将 EOA 迁移到智能合约钱包、Aztec 的 去中心化 Sequencer 方案解析、MEV-Boost 拍卖的博弈论模型，以及每周更新内容：比特币协议进展、以太坊治理相关、链上数据、最新研究和进展，和最新论文。
EIP-7377: Migration Transaction
EIP-7377 提出一种新的交易类型「Migration Transaction」，允许以太坊外部账户（EOA）迁移到智能合约钱包。该提案由 Go Ethereum 开发者 Matt Garnett 提出。这一提案背后的动机是提升用户体验和智能合约钱包的采用率。用户在 EOA 中积累了足够的资产，将每个资产迁移到新地址是不可行的。因为成本高昂并且需要手动签名和验证可能数百次的交易。EIP-7377 提供一种嵌入在协议中的机制，允许 EOA 账户通过一次性交易将账户永久迁移到智能合约钱包。该提案概述了 Migration Transaction 的结构、验证标准等。
Aztec的去中心化 Sequencer 方案解析
提案 Fernet 和 B52 是为了解决 ZK Rollup 方案中的去中心化问题，旨在实现去中心化的 Sequencer 节点的选择过程。
Fernet 通过引入 Verifiable Delay Function （VDF）来为 Sequencer 节点设定预估的分数，并采用流水线式的出块机制。Sequencer 需要质押 16 个 ETH 加入 Sequencer Committee，而 Prover 无需质押。Fernet 方案引入了质押和 VDF Score 计算，同时使用叔块机制来保证每个时隙有多个候选区块，以提高网络的 Liveness。它还解决了 MEV 问题，并采用类似以太坊的 PBS 机制来确保抗审查性。
B52 同过多个 Sequencer 竞争提出不同的区块，并由 Prover 投票选出得分最高的提议区块。B52 方案允许多个 Sequencer 竞争一个有效的提议区块名额，而 Sequencer 无需事先质押 Token。该方案着重在 Sequencer 的选举和提案阶段，并采用了投票和聚合的方式来选择最佳区块。B52 提案对区块的完整性验证和 Finality 也有相应设计。
Game-theoretic Model for MEV-boost Auctions (MMA)
MEV-Boost 拍卖允许区块提议者通过中继器从构建者那里获取区块，构建者通过提交有效区块的出价来竞争构建区块的权利。出价代表用户交易产生的区块奖励和 MEV 机会。作者提出了 一个 MEV-Boost 拍卖的博弈论模型，在该模型中，构建者根据公开和私人信号提交出价，提议者选择支付最高的区块作为赢家。还展示了给构建者的一些可以赢得拍卖的出价策略示例。
比特币协议进展
Bitcoin Optech Newsletter #261
简化 LN 关闭协议： Rusty Russell 提出了一种新的 LN 通道关闭协议。该协议简化了两个LN节点相互关闭通道的过程，其中一个节点告知其对等节点它想要关闭通道，并指定交易手续费。关闭发起方将负责支付整个手续费，但允许双方通道的输出立即可用。该新协议与交换基于 MuSig2 的无脚本多重签名相关的信息兼容，将提高隐私性并降低 LN 网络的链上费用。
LN 峰会讨论： Carla Kirk-Cohen 分享了最近在纽约市举行的 LN 开发者会议的讨论摘要。讨论的主题包括：
可靠的交易确认： 讨论了与交易中继和挖矿相关的各个方面，以便在使用 CPFP 或 RBF 费用增加时，更可靠地确认 LN 链上交易，而不会受到交易固定或过高费用的威胁。
Taproot 和 MuSig2 通道： 讨论了使用 P2TR 输出和 MuSig2 进行签名的通道的进展，其中之一是简化的相互关闭协议提案。
更新的通道公告： LN gossip 协议需要更新以支持 P2TR 输出与 MuSig2 为基础的无脚本多重签名承诺。提出了「v1.75 gossip」的决定，允许使用任何脚本但没有价值乘数。
PTLC 和冗余超额支付： 讨论了支持 PTLC（点时间锁定合约）的可能性，以及能够进行冗余超额支付并获得大部分或全部超额付款的能力。
通道堵塞缓解方案： 讨论了减轻通道堵塞攻击的提案，重点是同时使用多种方法来解决该问题。
简化承诺： 讨论了一个协议想法，其中一方负责提出下一次对承诺交易的更改，简化了过程但可能在某些情况下增加了延迟。
规范流程： 讨论了改进 LN 规范过程和相关文档的各种想法，包括当前的 BOLT 和 BLIP 以及其他文档的想法。讨论似乎比较广泛，从讨论记录中没有明确的结论。
系列文章之等待确认（八）：交易池规则是个接口
由于 Bitcoin Core 软件的交易转发规则变更可能会影响交易是否能被转发，因此在提出之前需要整个比特币社区的社会合作。闪电网络和合约式协议是两种使用交易转发的应用，它们需要特定的交易池规则来确保交易能够顺利确认。合约式协议特别依赖于交易池规则，因为它们依赖于快速确认交易，而在对抗环境中，推迟交易的确认可能会有利可图。闪电网络的交易遵循标准化规则，但仍需考虑交易池规则对于确认优先级的影响。交易池规则作为接口，确保了各种交易的平等对待，并提供了一个共享的标准化机制，让不同的参与者能够按照相同的规则来发送和处理交易。
以太坊
MEV 相关
The MEV Letter #2
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
《Threshold Encrypted Mempools: Limitations and Considerations》 是FRP-31的结果，它研究了使用加密（特别是阈值加密）作为减轻提取 MEV 负外部性的技术对市场和激励影响。
《Towards a Theory of MEV, Part II: Uncertainty》探讨了减少 MEV 的问题，并提出所谓的公平排序技术和经济机制都无法单独减轻任意支付函数的 MEV。
《Latency in Blockchains and Ethereum L2 Migration 2》讨论了 DeFi 应用在以太坊 L1 上面临的高延迟挑战，以及迁移到 L2 如何提高市场效率并降低市场操纵的可能性。
《MEV Matters: Decoding Chorus One’s winning MEV strategy》介绍了他们通过中继选择、延迟博弈和基础设施优化最大限度提取 MEV 的相关策略。
治理重点
This Week in Governance - July 27
Optimism 提出了「Law of Chains v0」：作为实现统一链集合 Superchain 的的下一步计划，并寻求社区对治理和新链包容的反馈。这一框架为多个链上的 Optimism 治理定义了原则，规定了各方利益相关者的保护和期望，并促进区块空间的同质性、中立性和开放性。
Worldcoin 开始运营：Worldcoin 推出世界应用程序平台，首先发布了 World App，一个协议兼容的钱包，以及一个名为 Orbs 的生物特征验证系统。为全球所有人提供保护隐私的数字身份（世界 ID）和数字货币（WLD）。
Aave 推出 「The Curator」：这是一个专门设计用于管理资产交换的合约，在可行情况下具有 MEV 和价格影响保护。
Builder DAO 正式认可使命、愿景和价值观：该提案倡导正式认可 Builder DAO 的使命、愿景和价值观（MVV）声明，以指导其将 DAO 基础设施发展为公益事业的方向，投票将于 7 月 29 日开始。
其他研究和进展
Adding extra_data2 to EL blocks
作者建议在 EL （Execution Layer）区块中添加 「extra_data2 」字段，以显示构建区块时使用的客户端。目的是解决由于 MEV-Boost 和缺乏区块数据区分客户端的启发式算法而导致客户端多样性难以准确测量的问题。引入 extra_data2 可以提高透明度和数据可靠性，使提议者能够指明他们所使用的 EL 客户端。为了避免外部因素对客户端份额的影响，中继和构建者将获取客户端信息并将其包含在 extra_data2 中。
Almost Instant Interactive Fraud Proof using Multi-Sect on DA BLOBs and multi-step ZK verifier
作者提出引入一种新的机制来减少 optimistic 欺诈证明协议的挑战-响应交互时间，使其在 1-3 次之间完成。提出了以下改进：允许挑战者在单个挑战事务中提交 4096 个中间执行结果（即状态哈希），这 4096 个状态哈希被上传到一个称为 DA BLOB 的数据结构中，不通过 calldata 提交也不存储在链上。只有 4096 个状态哈希的数据哈希存储在链上。在回答挑战时，顺序生成器将选择 4096 个状态哈希中的一个，在这个状态哈希上，顺序生成器与之前的状态哈希存在争议，但在之前的状态哈希上是一致的。这将减少 4096 倍的计算步骤。
Reducing Intents’ dependency on LLMs for generating Transaction Object
该提案旨在制作一个解析器，以更高精度解码意图（intent），同时减少根据意图构建事务对象时对 LLM 的依赖。这种方法出现的问题是，为意图交易生成的调用数据/值/金额可能不准确，从而导致多次交易失败，可以通过使用 Alchemy/Tenderly 的交易模拟来避免这种情况，但它似乎是一种试错的解码意图的方法。
Privatizing the Volume and Timing of Ethereum Transactions
现有的隐私解决方案（如 zkSNARKs）虽然可以保持机密性和匿名性，但无法隐私保护交易的数量和时间信息。该方案通过引入"伪装交易（Decoy transactions）"的概念，即不对应用结果产生影响的交易，但可以混淆交易量和时间的数据集，从而保护这些信息不被泄漏。通过定义时间段和要求用户在每个时间段内提交多笔交易，以及公开验证正确性的方法，确保足够的噪音被添加，避免信息泄露。
📑论文
NFT-Based Blockchain-Oriented Security Framework for Metaverse Applications（Metaverse 应用程序的基于 NFT 的面向区块链的安全框架）
作者来自：Seoul National University、International Islamic University
作者提出了一个基于 NFT 的新型框架，以解决 Metaverse 普及面临的真实性、完整性、互操作性和效率等研究挑战。该框架采用基于区块链的 PoS 共识算法来进行数据交易、验证和资源管理。通过将 NFT 用于用户认证，并结合 PoS 进行数据完整性保障，该框架展现了显著的优势，如增强的交易吞吐量和提高的可扩展性。通过安全性分析、实验和模拟结果，论文证明了基于 NFT 和PoS算法的方法对于 Metaverse 应用来说是安全且高效的。
Quotable Signatures for Authenticating Shared Quotes（用于验证共享报价的可引用签名）
作者来自：University of Southern Denmark
作者介绍了可引用签名方案（Quotable Signature Schemes），是一种具有附加属性的数字签名方案，即从消息的签名中，任何一方都可以提取消息中的（允许的）引用的签名，而无需知道密钥或与原始消息的签名者进行交互。关键是，提取的签名仍然使用原始密钥进行签署。论文定义了可引用签名方案的安全性概念，并构建了一个使用 Merkle 树和经典数字签名方案的具体示例。该方案经过了安全性验证，符合前述的安全性概念。此外，论文还证明了构建方案的复杂性界限，并提供了签名、引用和验证的算法。（本文最早发表于 2022 年 12 月 21 日，在 2023 年 7 月 21 日更新了 V3 版）
Attacks on Dynamic DeFi Interest Rate Curves（对动态DeFi利率曲线的攻击）
作者来自：Gauntlet
来自 Euler Finance 和 Mars Protocol 对去中心化货币市场协议的优化的提议，即使用比例积分微分（PID）控制器作为利率曲线。论文证明了对比例和比例积分控制的利率曲线进行攻击的可能性。这种攻击允许某人操纵利率曲线，从而获得比他们在贷款池中所占份额更高的收益。最后，论文指出 PID 利率曲线实际上可能会降低资本效率（由于攻击对策），除非供求弹性对于利率变化足够高。
Invisible Warning Line: Efficient and Generic Regulation for Anonymous Cryptocurrencies（隐形警告线：匿名加密货币的高效和通用监管）
作者来自：Nanjing University of Posts and Telecommunications
一些像 ZCash 和 Zethe 去中心化匿名支付（DAP）系统带来了监管方面的挑战。为了解决这个问题，作者提出了名为 Walsh-DAP（WDAP）的方案，它是一个既高效又通用的监管方案，能够在监管和隐私保护之间取得平衡。该方案引入了两种监管策略：首先，在一定时间内超过支出限额的用户将在监管过程中被识别；其次，监管机构具有追踪任何匿名交易的能力。为了有效实施监管，论文设计了一种创新的承诺方案——Walsh 承诺，利用 Walsh 码的正交特性来实现聚合和提取的功能。在 WDAP 中，监管机构只需处理 Walsh 承诺的聚合结果，而不是庞大的原始交易信息。
SoK: Design, Vulnerabilities and Defense of Cryptocurrency Wallets（SoK：加密货币钱包的设计、漏洞和防御）
作者来自：University College London
加密货币钱包作为点对点交易的关键端点，已变得越来越普遍。然而，这些钱包的价值和使用增加也使其面临重大的安全风险和挑战。本研究旨在全面探讨加密货币钱包的安全方面。提供了钱包类型的分类，分析了它们的设计和实现，识别了常见的漏洞和攻击，并讨论了防御机制和缓解策略。分类涵盖托管、非托管、热钱包和冷钱包，突出它们的独特特点和相关的安全考虑。安全分析审查了钱包设计的理论和实践方面，同时评估了现有的安全措施和协议的有效性。
What Drives the (In)stability of a Stablecoin?（是什么驱动了稳定币的（不）稳定性？）
作者来自：UC Berkeley、University College London
为了进一步审查现有的稳定币设计，并最终实现更强大的系统，作者提出一个博弈论模型，旨在帮助识别稳定币为何脱钩。这个博弈论模型揭示了稳定币在价格上存在不同的均衡点，这取决于币种的架构和最小化波动性的机制。作者收集了 22 种稳定币的日价格以及来自包括以太坊和 Terra 区块链在内的五个区块链的链上数据进行验证。（本文最早发表于 2023 年 6 月 15 日，在 2023 年 7 月 25 日更新了 V2 版）