PRO｜MCP（多并发提议者）机制存在的问题、提议者延迟提交区块的影响
Solana 上交易失败的经济成本、理解 Taproot Assets 协议，以及三篇论文等
欢迎阅读 ChainFeeds PRO #65。本次内容将包含 MCP（多并发提议者）机制存在的问题、提议者延迟提交区块的影响和解决方案，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
MCP （多并发提议者）机制存在的问题
FastLane Labs 联合创始人 Thognad 指出 MCP （多并发提议者）机制目前存在交易排序不确定性的问题。在 MCP 中，每个提议者都会组建一个包含即将打包到区块中的交易列表，这些列表是无序的。然后，这些提议者的交易列表会被合并，并根据协议内的规则排序，排序算法大概率是优先级费用。这个过程与以太坊当前单一提议者模型的主要区别在于，提议者（或区块构建者）无法百分之百准确地模拟交易的执行结果，因为他们无法确切知道其他提议者持有的交易。由于提议者们并不清楚其他提议者持有哪些交易，导致他们无法可靠地模拟整个区块的状态。例如，如果提议者 B 拥有一个优先级费用高于提议者 A 的交易，那么这个交易会在 A 的所有交易之前执行，从而使 A 的模拟结果无效，因为提议者 A 进行模拟时并不知道提议者 B 的交易。
FastLane Labs 采取了一种创新的方法来适应这种模拟中的对抗性，而不是依赖传统的链下模拟：
排序交易/操作数组：首先，对提议者的交易或操作数组进行排序，以便明确交易的执行顺序。
使用智能合约强制执行出价支付：通过智能合约的机制来确保出价的支付得以强制执行，智能合约自动验证交易是否满足某些预设的条件，保证交易的有效性和公正性。
循环执行操作：最后，循环执行这些操作，直到有一个成功为止。这种方法通过逐步执行来应对不可预测的交易结果，从而在 MCP 模型中保持操作的有效性。
On Attestations, Block Propagation, and Timing Games
以太坊基金会研究员 Toni Wahrstätter 分析以太坊网络中的提议者时间游戏（proposer timing games）及其对验证者投票行为和网络共识机制的影响。以太坊中的提议者时间游戏是指区块提议者在一个时隙（slot）内故意延迟提交区块的行为，以便可以在更长时间内收集和处理更多的交易信息，包括 MEV。
验证者在时隙中收到提议的区块后，需要对其进行验证并投票。当提议者延迟提交区块时，验证者可能无法及时接收到区块，导致以下情况发生：
漏投（missed votes）： 验证者未能在规定的时间内接收到区块，从而错过了投票的机会。这直接降低了验证者的效率。
错误投票（wrong votes）： 验证者因为没有及时接收到新的区块而对上一个区块（即父区块）投票，这会影响链的延续性和网络的整体共识。
针对提议者时间游戏可能带来的问题，社区讨论了几种应对策略：
EIP-7716 提案： 该提案建议通过反相关性惩罚机制（Anti-Correlation Penalties）来应对这种策略，即当验证者行为高度相关（例如共同推迟或协调投票）时，加重其惩罚。这种机制旨在减少通过协调或集中化设置获取不公平优势的可能性。
协调行为的界限： 社区讨论了不同层次的协调行为（即点对点通信），如静态对等（static peering）和私有网格网络（private mesh networks），但这些协调行为可能会削弱网络的去中心化，需要加以限制。
比特币协议进展
理解 Taproot Assets 协议
开发者 Hiroki Gondo 解释了 Taproot Assets 协议（缩写为 TAP）是如何在比特币网络上创建和转移基于 UTXO 的资产。TAP 通过利用了比特币的 Taproot 输出功能，通过将复杂的花费条件（包括密钥花费和脚本花费）嵌入到比特币交易中，实现了资产的创建、转移和验证。创建资产时，会在比特币交易的 Taproot 输出中嵌入一棵表示新资产的「资产树」，并生成一个唯一的资产 ID。转移资产时，用户通过广播一笔比特币交易，花费包含资产的 UTXO，并在新输出中创建一个更新的资产树。接收者需要验证资产的合法性，包括历史交易记录，以确保资产转移是合法且有效的。
Bitcoin Optech Newsletter #316
Testnet4 的时间扭曲漏洞（time warp vulnerability）：开发者 Zawy 在 Testnet4（比特币的一个测试网络） 中发现了新的时间扭曲攻击漏洞。时间扭曲攻击是一个利用区块时间戳的漏洞，通过操纵时间戳，攻击者可以降低挖矿的难度，使得挖矿变得更容易。Testnet4 引入了新的难度调整算法，旨在防止这种攻击，但开发者 Zawy 发现了一种新的方式可以绕过这个防护措施，仍然降低挖矿的难度。Erhardt进一步改进了Zawy的攻击方法，使得难度可以降低到更低的值，甚至是最低值。为了防止这种攻击，Erhardt 和 Zawy 提出了一些解决方案，包括通过软分叉调整区块时间戳规则。
洋葱消息的拒绝服务（DoS）风险讨论：研究人员发现洋葱消息在比特币网络中可能被滥用以浪费节点的带宽资源。为此，讨论了一些减少这种风险的方法，包括引入计算成本递增的工作量证明（PoW）机制，以使长距离路由的消息变得更加昂贵。
比特币核心将切换到 CMake 构建系统：Bitcoin Core 即将从 GNU autotools 构建系统切换到 CMake 构建系统，这次更改主要由 Hennadii Stepanov 领导，预计将在未来几周内合并到代码库，并计划在版本 29 中发布。开发者和集成商需要对新系统进行测试以避免可能出现的问题。
BDK 1.0.0-beta.1：这是一个用于构建钱包和其他支持比特币应用程序的库的候选版本。这次更新中，原始的「bdk」Rust crate 被重命名为「bdk_wallet」，并且一些底层模块被分离成独立的 crates，如「bdk_chain」、「bdk_electrum」、「bdk_esplora」和「bdk_bitcoind_rpc」。这个版本的「bdk_wallet」crate 是第一个提供稳定 1.0.0 API 的版本。
以太坊
研究和进展
Proof of Service Integrity (PoSI): Trustless measurement of service integrity
peshwar9 介绍了「服务完整性证明（Proof of Service Integrity，PoSI）」协议，是一种拜占庭容错（Byzantine Fault Tolerant）的验证协议，主要用于在去中心化网络中验证离链（off-chain）服务的完整性。PoSI 的主要用途是确保在去中心化系统中，离链服务的部署和运行是可信赖的，即使这些服务在不受信任的环境中运行。
PoSI 协议通过去中心化的方式，执行以下三项主要任务：
部署经过批准的服务镜像：确保只有经过验证的代码被部署到生产环境中。
测量已部署服务的完整性：持续监控服务，检测任何未经授权的修改或篡改。
证明服务的完整性：允许用户通过 API 或者零知识证明（ZKP）验证服务的完整性。
A trustless on-chain anti-MEV solution for Layer2/3
开发者 Lawliet Chan 介绍了一种 Layer2 上的 MEV 解决方案，称为 MEVless 协议，核心思想是通过一种信任最小化的方式防止这些 MEV 攻击。在 MEVless 中，用户最初只需向 Layer2 链发送交易哈希（而不是完整的交易内容），并支付一些预付款。链会根据小费多少对这些交易哈希进行排序，并生成一个交易顺序承诺（Tx-Order-commitment）。在用户看到这个承诺后，才会将交易内容发送到链上，同时这些交易内容也会存储在数据可用性层。链会按照之前的顺序承诺打包交易，这样即使攻击者获得了交易内容，也无法更改交易的顺序或插入新的交易，从而避免了 MEV 攻击。
Economic Costs of Failed Transactions on Solana
文章分析了 Solana 网络上交易失败的经济成本，聚焦于比较 Solana 网络的总体交易失败率与 Pyth 接收合约的失败率。Pyth 是 Solana 上的预言机。Pyth 合约在接收价格数据更新时的失败率高达 26.5%，导致约 1.45 SOL 的费用损失，比整体网络的 8%失败率高出 3.3 倍。如果将这个的损失外推到一个月，Pyth 合约每月可能会损失约 10.45 SOL 的费用。Pyth 合约负责接收并处理来自数据提供者的价格更新。如果交易失败率高，这意味着很多价格更新可能会延迟甚至无法成功发布到链上，对依赖该数据的去中心化金融应用构成风险。
不过这些交易失败对验证者来说产生了经济收益，因为失败交易的费用最终由验证者收取。这种收益机制使得验证者缺乏降低交易失败率的动机，尽管失败交易在浪费网络资源和影响用户体验上有负面作用。
MEV 相关
The MEV Letter #51
Flashbots 团队推出垂直于 MEV 研究领域的 Newsletter，以下是一些重点摘录：
文章《Mitigating MEV with FHE - Blind Arbitrage on Ethereum》提出了一种设计，允许搜索者使用 FHE 进行 blind backrun 操作。
文章《PROF: Protected Order Flow in a Profit-Seeking World》 介绍了一种系统，通过在现有的 PBS 系统中强制执行交易排序，来限制有害的 MEV 形式。
文章《ShardDAG: Ordering and Exploitation in Sharded Blockchains》介绍了一种架构，通过为跨分片交易强制执行可验证的顺序，解决了分片区块链中的 MEV 挑战和审查问题。
文章《The Future of DeFi: Overcoming Key Blockers for Mass Adoption—Insights from the SBC Conference》讨论了阻碍 DeFi 大规模采用的挑战，以及在 MEV SBC’24 上提出的解决这些问题的最新进展。
Flashbots 主办的 MEV-SBC’24 会议重点展示了过去一年的 MEV 研究以及新的研究领域
OneBalance 和 Espresso Systems 主办的 Sequencing x CAKE day 讨论了与排序、预确认、承诺和链抽象相关的内容。
IC3、斯坦福区块链研究中心和 UC Berkeley RDI 主办的 The Science of Blockchain Conference 2024 (SBC’24)，演讲内容涉及分布式系统、安全计算、加密经济学等。