PRO｜Execution Tickets 机制解决连续区块 MEV 问题、不同的数据可用性政策对 Rollup 性能的权衡
以及比特币中的时间锁、SGX 将敏感代码和数据隔离等
欢迎阅读第三十五期 ChainFeeds PRO Newsletter。本次内容将包含执行票 Execution Tickets 机制来解决连续区块 MEV 问题、不同的数据可用性政策对 Rollup 安全性、去中心化和性能权衡的分析，以及每周更新内容：比特币协议进展、以太坊治理相关、最新研究和进展，和最新论文。
重点
Execution Tickets：通过优化共识使连续区块 MEV 更公平
以太坊研究员 mike 提出连续区块 MEV（multiblock MEV）的问题，即一个套利者通过控制两个相邻的区块，通过在第一个区块中审查交易来增加第二个区块的价值。通过引入执行票（Execution Tickets），mike 试图将 MEV 奖励与验证者的验证任务分离，以防止套利者通过控制连续区块来获取额外的利润。
执行票的机制涉及到在协议中创建一个市场，使得持有执行票的个体有权在未来的执行轮次中提出执行区块的建议。这样一来，通过动态的定价机制和抽签过程，执行票的持有者将有机会参与区块建议的竞争，而不受连续区块 MEV 的影响。
执行票的基本概念：在协议中建立一个用于购买和出售票据的市场，使得持有票的人有权提出未来区块的建议。使用动态定价机制，可以设定在流通中的票的数量，并根据现有供应调整价格。票是一次性使用的，只在随机分配的槽位中有效。
抽签机制：存在两个抽签过程，一个用于选择信标区块建议者和见证者，另一个用于选择执行区块建议者和见证者。区块提议者不再负责执行有效负载（区块的最终交易列表），而是提供了一个包含必须在执行区块中出现的交易的包含列表。
A taxonomy of data availability policies in (Ethereum) rollups
以太坊研究员 emmanuel-awosika 讨论 Rollup 解决方案，详细分析了不同的数据可用性政策对 Rollup 安全性、去中心化和性能的权衡。他将数据可用性政策分为三大组进行对比分析：
1.在以太坊上发布完整交易数据 vs. 使用专门的数据可用性层：
完整交易数据发布： 通过在以太坊上发布完整的交易数据，可以确保 Rollup 的高安全性。因为以太坊作为基础层，能够保证 Rollup 的活力（即使序列器意外或故意下线，诚实的 Rollup 节点仍可生成新块）和安全性（乐观 Rollup 采用 1-of-N 安全模型，要求至少有一个诚实节点重新执行交易并挑战 L1 对 L2 状态的无效更新）。
使用专门的数据可用性层： 外部数据可用性服务可以水平扩展，通过实施数据可用性采样，轻节点可以为网络的吞吐量和安全性做出贡献。模块化的数据可用性层理论上可以比以太坊拥有更大的块，因为计算资源不在执行和状态存储之间共享。
权衡： 外部数据可用性服务的吸引力在于能够提高吞吐量并降低运营成本，但与此同时，Rollup 将不再完全由以太坊安全保护，因为恶意节点合谋可能影响活力和安全性。
2.在链上发布数据 vs. 使用数据可用性委员会（DACs）：
在链上发布数据： 将 Rollup 数据直接发布到以太坊链上，这样可以确保数据的透明性和可审查性。
使用数据可用性委员会： 通过委员会的方式来处理数据可用性，可能可以提高网络的吞吐量和安全性。
权衡： 直接在链上发布数据保证了透明性，但可能受限于以太坊的区块大小和交易费用。使用数据可用性委员会可能提高吞吐量，但也引入了对委员会的信任。
3.在链上发布原始交易数据 vs. 发布状态差异：
发布原始交易数据： 对于乐观 Rollup，发布完整的交易数据是默认选项，因为交易批次和通过批处理执行的状态根不带有证明，证明正确执行。
发布状态差异： 对于 ZK Rollup，也称为有效性 Rollup，提交交易批次和带有有效性证明的状态根，以证明每个状态转换的完整性，而不必发布重新执行交易所需的所有数据。
权衡： 发布原始交易数据提供了 Rollup 的完整历史记录，对许多应用很有用。发布状态差异可以减少链上存储空间和交易费用，但可能导致更长的最终性延迟。
比特币协议进展
见证数据的折扣：为什么有些字节比别的字节更轻
Bitcoin Magazine 作者 Brandon Black 介绍了比特币的激励机制，包括限制区块大小、P2SH 和隔离见证等技术变更，以平衡矿工、交易者和节点运营者之间的激励。
比特币交易和区块空间： 由于比特币区块的有限大小，交易需要支付更高的手续费以确保被快速确认。这导致了对区块空间的高需求。
交易的激励结构： 比特币的激励结构涉及矿工、交易者和节点运营者。限制区块大小、P2SH（Pay to Script Hash）和隔离见证等技术变更都是为了在这些激励之间达到平衡。
P2SH 技术： P2SH 技术的引入使得复杂的锁定脚本不再需要完整地放在交易输出中，从而减少了交易的体积。
隔离见证： 隔离见证是比特币的一项重大变更，通过将授权数据从交易结构中分离出来，解决了长期存在的交易ID熔融性问题，并优化了交易的体积和激励结构。
铭文和 Taproot： 铭文是一种在比特币交易中揭晓信息的机制，而 Taproot 是一种使用隔离见证锁定比特币的方法。文章讨论了铭文数据在验证成本上的低开销，但也指出了由此导致的手续费上涨和对其他用户的挤出。
基于时间锁的安全保管及钱包复原
Wizardsardine CEO Kevin Loaec 在 Advancing Bitcoin 2023 大会上发表关于时间锁（Time Locks）的演讲，讲述了比特币中的时间锁的发展历史、不同类型的时间锁、使用时间锁的原因以及近期出现的改变。时间锁（Time Locks）是比特币中的一种机制，用于设置特定条件下才能花费比特币的时间限制。
1. 绝对时间锁（nLocktime）：nLocktime 是比特币交易中的一个字段，表示交易在网络中传播的最早区块高度。
工作原理： 如果一个交易包含 nLocktime 字段，该字段的数值必须大于当前区块的高度，否则该交易被认为是无效的。这使得交易在未来的某个特定时间点之前无法被打包确认。
使用案例： 绝对时间锁可用于实现一些场景，比如为了强制实施强制储蓄策略，或符合税法规定的资本利得税策略。
2. 相对时间锁（CheckLockTimeVerify，CLTV）： CLTV 是比特币脚本中的操作码，用于强制要求花费某个未经确认的交易的 nLocktime 字段满足一定条件。
工作原理： 在比特币脚本中加入 CLTV 操作码，可以指定一个相对的时间条件，使得该交易在指定的区块数量或秒数后才能被确认。这允许创建一些高级的时间锁脚本。
使用案例： CLTV 的应用场景包括多方合约的逃生舱、防止对手尝试使用旧状态关闭通道等。
以太坊
其他研究和进展
Unlocking PBS with CL Verification of “block.coinbase” (E.G. Multi Tx Flashloans)
目前在区块链上执行可信的多交易闪电贷款存在问题，主要是由于缺乏区块生成者与以太坊 EVM 执行之间的可靠链接。现有的直接链接方式，即
block.coinbase地址，由区块生成者设置，但可以任意分配，而且与生成者的关联并未得到验证。为了解决这一问题，FastLane Labs 成员 Alex Watts 建议在共识层的区块验证过程中要求对block.coinbase的拥有权进行签名验证。有两种主要的实现路径，一是直接在共识层验证block.coinbase地址的签名，二是通过一个 BOOPS 聚合器合约来实现。