PRO 前沿｜MEV-Burn 产生的影响、PEPC 的协议层解决方案 CSC、EIP-7540 的异步功能
以及将 Polkadot 技术堆栈用于以太坊、Solidity 智能合约状态分析和提取工具等
欢迎阅读第二十七期 ChainFeeds PRO Newsletter。本次内容将包含 MEV-Burn 产生的影响、PEPC 的协议层解决方案：引入 Commitment-Satisfaction Committee、EIP-7540 引入异步流程，以及每周更新内容：比特币协议进展、以太坊治理相关、链上数据、最新研究和进展，和最新论文。
重点
ETH Research：后 MEV-Burn 的模拟及统计数据，MEV 利润可能降 96%
数据分析师 Nerolation 分析得出在考虑到出价动态不发生变化的情况下，MEV-Burn 将导致当前流向验证者的大约 90% 的矿工营利额被销毁；在过去的两个月内，将销毁的以太坊数量达到了 35,000 ETH。提议的每个区块的中位数 MEV 利润可能会从大约 0.05 ETH 降低至大约 0.002 ETH，降幅为 96%。
MEV-Burn 可能会减少 MEV 支付/利润的绝对不平等，但会增加相对不平等。MEV-Burn 让大于 10 ETH 的彩票（MEV lotteries）变得非常罕见（假设不更改时隙时间和Δ时间 d < 2），但我们仍然会定期看到大于 1 ETH 的奖池。数据分析表明，设置有效载荷基本费用与 slot 结束之间的Δ时间 d 可能具有线性关系，d 越高 MEV Burn 小费较高。
Commitment-Satisfaction Committees: An In-Protocol Solution to PEPC
以太坊研究员 diego 提议引入Commitment-Satisfaction Committee（CSC），确保在以太坊协议内有效地执行提案者的承诺，无需建立新的信任网络。CSC 是由每个 slot 委员会的第一个验证者组成的委员会，主要任务负责验证提案者所作的承诺是否得到遵守。CSC 检查区块中的 ProposerCommitments 实例是否与构建者在有效负载（execution payloads）中承诺的一致，确保区块满足各项承诺。如果 CSC 成员发现不一致或某个承诺未得到满足，他们会投票支持将该 slot 的区块设置为空块。否则，他们将投票支持全块。CSC 与 PTC 在同一阶段进行投票，称为承诺满意度投票传播阶段。
*Payload-timeliness Committees（PTC）是一个由一组特定的验证者组成的委员会，负责确保在及时的情况下发布有效的执行负载。它通过进行区块-slot 的投票来决定是否应该考虑给定 slot 的完整区块或空区块。
Proposer Commitments 是提案者对于其区块的一系列承诺，这些承诺以某种方式被嵌入到区块中。这些承诺是由一个特定的函数来定义，该函数可由第三方用来验证一个区块是否满足相应的承诺。
EIP-7540: Asynchronous ERC-4626 Tokenized Vaults
由 Fei Protocol 创始人 joeysantoro 提出的 EIP-7540，主要目的是扩展以太坊上的智能合同标准，通过引入名为 「Requests」的异步流程，以支持异步存款和赎回流程。目前 ERC-4626 支持原子性的存款和赎回，但有一定的限额，一旦达到这个限额，就无法再提交新的存款或赎回请求。这种限制不适用于需要异步行动或与 Vault 保险库进行交互的智能合同系统。一些金融协议和应用，例如处理现实世界资产、低抵押贷款、跨链借贷、流动质押代币以及保险安全模块等，需要具备异步功能，以处理不同步的操作或延迟。EIP-7540 旨在解决这些需求，通过引入异步请求流程，扩展了 ERC-4626 Tokenized Vaults 标准。
*异步操作是指不需要等待某些事件（存款和赎回请求的发起和处理过程）的完成，而可以在事件触发后继续进行其他操作。
比特币协议进展
Bitcoin Optech Newsletter #273
安全漏洞公开披露：Antoine Riard 在比特币和闪电网络开发者邮件列表上发布了一篇关于影响闪电网络问题的全面披露。最新版本的 Core Lightning、Eclair、LDK 和 LND 都包含了减轻攻击风险的措施，但它们没有根本解决潜在的问题。
基于任意计算的支付：Robin Linus 在比特币开发者邮件列表上发布了一篇关于 BitVM 的论文，它是一种组合方法，允许比特币支付给那些成功证明执行了任意程序的人。值得注意的是，这在当前比特币网络上是可行的，不需要共识变更。
提议的 MuSig2 PSBT 字段 BIP：Andrew Chow 在比特币开发者邮件列表上发布了一份草案 BIP，部分基于 Sanket Kanjalkar 之前的工作，用于向 PSBT 的所有版本中添加一些字段，用于使用 MuSig2 生成的密钥、公共 nonce 和部分签名。
何为 “日蚀攻击”？
日蚀攻击（Eclipse Attack）日蚀攻击指的是攻击者控制一个节点所有的入站和出站网络连接，从而 「模糊」或者「遮蔽」 该节点对比特币网络的视野，干扰其正常运行、影响其交易和区块链数据的可见性。实际上，攻击者让受害者节点从网络中孤立了出来，并强迫它只能跟攻击者所控制的恶意节点相连接。
日蚀攻击的关键步骤：
攻击者通过建立恶意节点或通过其他手段控制一组节点，并让它们成为受害节点的对等节点。
攻击者努力掌握受害节点的所有网络连接，从而剥夺受害节点与正常、诚实对等节点的联系。
一旦攻击者成功孤立了受害节点，他们可以选择性地向受害节点发送交易和区块数据，干扰受害节点的数据视图。导致受害节点的数据不准确，甚至对受害节点的操作产生负面影响。攻击者可以进行审查，阻止交易和区块传播，以及欺诈性行为。
以太坊
治理重点
This Week in Governance - October 12: Grants, Loans, and Longevity
Uniswap：完成 Uniswap 基金会的初始资金筹集。治理提案寻求 4600 万美元的 UNI 代币，以支持 Uniswap 基金会未来两年的运营和赠款。该提案还概述了他们承诺遵循治理流程，并保留需要获得链下治理批准的赠款超过 200 万美元的必要性。
VitaDAO 成立生物技术公司 Matrix Biosciences：初期融资为 30 万美元，预计将在 2024 年初获得额外资金。Matrix Biosciences 在基于 Vera Gorbunova 对裸鼠长寿和抗癌研究的基础上，探索裸鼠中一种化合物对增强人类寿命的潜力。VitaDAO 是一家资助长寿研究的机构，今年早些时候完成了 400 万美元的融资轮，其中包括 Pfizer Ventures 的投资。
Goldfinch DAO 的 Stratos 池存在借贷问题：代表 Goldfinch DAO 工作的 Warbler Labs 承认 Stratos 资金池贷款存在问题。Stratos 从 Goldfinch 获得了 2000 万美元的贷款，其中 1300 万分配给 Threecolts，500 万给 REZI，200 万给 POKT。REZI 是一家专注于美国主要城市公寓租赁的房地产科技公司，由于未能支付利息，其部分贷款预计将减支为零。为了确保恢复，Warbler Labs 将支持所有损失，不包括他们自己和 Stratos 的仓位。
Nouns:「 The Burn」升级计划提案，旨在减少 ETH 在国库中的过多持有。该提案计算多余的 ETH 作为国库中 ETH 价值与过去拍卖的总供应和平均价格相关价值之间的差异。烧毁将按照特定参数的可预测间隔发生。该提案寻求用于确保系统安全性的审计资金，并将烧毁机制的部署与定义其参数的任务分开，将后者留给未来的治理决策。该提案于 10 月 11 日通过，54% 的投票者投票赞成。
其他研究和进展
Spec’ing out Forward Inclusion-List w/ Dedicated Gas Limits
向前包含列表（forward inclusion list）是一种确保区块链网络中交易的有效性和执行的机制。旨在通过提供更安全和强大的方式来验证和执行区块链网络中的交易，降低审查或恶意活动的风险，从而增强网络的抗审查性。它涉及到提议者、验证者和执行层（EL）客户端，并包括以下步骤：
在特定时隙（Slot N），提议者提交一个带有签名的区块。与此同时，提议者广播了用于 Slot N+1 的摘要和交易对。这个摘要和交易对是前向包含列表的一部分，用于确定将在 Slot N+1 中包含的交易。摘要包括发送这些交易的地址以及燃气限制。
验证者仅在他们至少看到一个有效的摘要和交易对时才验证该区块。他们检查包含列表交易的有效性和燃气限制。
Slot N+1 的提议者会构建其区块，并附上 Slot N 提议者的签名摘要。有效负载包括来自 Slot N 区块的交易索引列表，这些交易满足了签名的包含列表摘要的条件。如果执行条件满足或者共识条件满足，有效负载被视为有效。
Jolt and Lasso, a New Approach to Building zkVM — Part 2
Lasso 是零知识证明领域的一种替代传统 SNARKs 和 STARKs 的方法。Lasso 采用多变量多项式和 SumCheck 协议，用于证明有关多线性扩展的性质。Lasso 引入了对查找表技术的改进，称为 Spark，并提出了一个名为 Surge 的新协议，同时还依赖其他重要技术，如检查内存正确性、高效评估对数空间均匀算术电路和由 Thaler 本人开发的高效矩阵乘法验证。Lasso 具有潜力用于更高质量和更少错误的 zkVM 实现，特别是对于使用查找表来实现 CPU 指令的应用程序。
Bringing Polkadot tech to Ethereum
开发者 apoorvsadana 提出了将 Polkadot 技术堆栈用于以太坊的想法，特别是在 zk rollup 的背景下，并可能使用 Madara 框架的各种应用链（如 Pragma、Kakarot、Mangata Finance 和 Dojo）。他建议在多应用链生态系统中，通过重新利用 Polkadot 技术堆栈，可以解决与去中心化、可组合性和开发体验相关的挑战。
Smart Contract State Analyzer, Extractor and Explorer - SmartMuv
Blockchain Lab 团队成员正在开发 SmartMuv ，一款 Solidity 智能合约状态分析和提取工具，它使用静态分析技术来提取智能合约的完整状态。可以用于合约存储槽分析、存储审计、Dapp/区块链数据浏览、智能合约状态提取、重新部署/升级合同以及合同迁移。它的主要特点包括：
Key Approximation Analysis（映射键近似分析）：能够检索映射变量（mapping variable）的所有键，这是与其他工具的主要区别。
使用 AST 和 CFG：利用抽象语法树（AST）来分析合约的存储槽布局，同时在控制流图（CFG）上执行映射键近似分析。
支持多种变量类型：能够分析映射变量、多维数组和结构等所有类型的变量。
Interprocedural Analysis 和 Event Analysis：通过这两种分析技术，确保不会错过任何映射键源，提取每个可能用作映射键的值。
MEV相关
The MEV Letter #12
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
论文《Shared Sequencing and Latency Competition as a Noisy Contest》介绍了一个最小的非平凡模型（non-trivial model），该模型捕捉了跨域套利者的行为，并比较了共享排序和单独排序的性能。
文章《Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving》探讨了 TEE、MPC、FHE 和其他加密策略如何在 Anoma 中求解意图时提高隐私性。
文章《Commitment-Satisfaction Committees: An In-Protocol Solution to PEPC》介绍了承诺-满意委员会 (CSC)，该委员会扩展了 PTC 的功能，可强制执行协议内提议者承诺。
文章《Diamond: A Uniswap V4 Hook minimizing LVR》介绍了 Uniswap V4 挂钩，旨在通过要求建设方在区块开始时承诺最终的集合价格来减少 LVR。
视频《Bell Curve: AMMs vs DEXs: DeFi’s First Debate Revisited》 深入探讨 CLOB、AMM 以及气体、延迟和钩子如何塑造 DEX 设计的演变。
Twitter Space《Based sequencing ft. Justin Drake: Part 2》由 Taiko 主持，邀请 Justin Drake 讨论基于序列的缺点。
📑论文
Evolving Bitcoin Custody
作者来自：King’s College London
作者研究了比特币托管系统的设计和分析，提出了一个系统综合视角，试图全面考虑托管系统的复杂性，包括技术、人员和流程。还研究了比特币契约，这是一种用于强制执行交易序列约束的机制。通过引入删除密钥契约协议，论文提供了首个详细的协议和安全性分析，该协议与当前的比特币共识规则兼容。还提出了适用于自主（用户控制）托管系统的删除密钥契约的安全模型。最后，论文提出了一个名为 Ajolote 的自主托管系统，以验证契约的设计。
Mitigating MEV via Multiparty Delay Encryption（通过多方延迟加密缓解MEV）
作者来自：University of British Columbia
作者通过将交易的包含和执行分开，保持交易在执行之前进行加密，从而减轻了 MEV 问题。他们提出了多方延迟加密（MDE）的概念，并基于时间锁谜题构建了一个实际的 MDE 方案。与其他基于加密的方法不同，此方法在可扩展性（交易解密方面）、效率（最小化通信和存储开销）和安全性（最小的信任假设）方面表现出色。为了展示我们的 MDE 方案的有效性，作者在本地以太坊测试网络上进行了实现。
How to Rationally Select Your Delegatee in PoS（PoS 中如何合理选择受托人）
作者来自：CSIRO Data61
在 PoS 协议中，尤其是在以太坊 2.0 的背景下，用户应该如何选择他们的委托验证者，这个问题一直被忽视，本文通过深入研究用户在进入实际共识阶段之前的委托过程填补了这一空白。研究中提出了一个贝叶斯模型，用于量化普通用户对被委托者的信任，然后将这一模型纳入一个博弈论模型，以模拟用户对通过广泛研究确定的一系列关键因素的反应。结果显示，用户在选择他们的被委托者和使用他们的代币时，会仔细权衡委托成本、其他用户的行为以及被委托者的声誉，最终达到纳什均衡。但是这种集体趋势显著增加了代币集中在少数几个被委托者的可能性。
BRC-20: Hope or Hype
作者来自：CSIRO Data61
BRC-20 代币潮流是 2023 年中期的一个重要故事线。与以太坊上的传统 ERC-20 代币标准不同，BRC-20 通过在每个聪中引入可编辑字段，为比特币引入了不可互换性，使其成为独一无二的。作者首次探索了这一概念，涵盖了其复杂的机制、特点和最新的应用。通过对跨越数月的多维数据进行事实调查和分析，作者认为，虽然 BRC-20 扩展了比特币的功能和适用性，但它可能仍然无法与以太坊的大量去中心化应用和类似的生态系统相匹敌。