理论与实践：以太坊Rollup的抗审查交易如何触发？

作者：NIC Lin，Taipei Ethereum Meetup负责人

原文标题：《Rollup的Force Inclusion機制介紹》

就在昨天发生了一起震惊无数人的事情：由Metamask母公司Consensys推出的以太坊二层Linea主动停机了，官方称这么做的目的是为了降低Velocore黑客攻击事件的影响。而这不由得让人想起之前BSC链（BNB Chain）为了降低黑客攻击的损失，在官方主动协调下停机一事。每当人们谈论起这种事情，都会对Web3倡导的去中心化价值感到怀疑。

当然，上述事件发生的核心原因，更多在于基础设施本身的不完善，即不够去中心化：如果一条链足够去中心化，那么就不该说停就停。由于以太坊二层的独特构造，大多数Layer2都依赖于中心化的Sequencer，虽然近些年去中心化排序器的论调越来越多，但考虑到二层的存在目的及其结构，我们大可以认为，Layer2的排序器大概率不会有多去中心化，最后可能还比不上BSC链的去中心化程度。如果事实真的如此，那么我们该怎么办？

其实对于二层而言，排序器不去中心化带来的最直接危害，在于抗审查性和活性。如果处理交易的实体（Sequencer）很少，那么它在是否为你服务这件事上就掌握了绝对权力：想拒绝你就拒绝你，而你可能没有办法。如何解决Layer2的抗审查问题，显然是一个重要的话题。

在过去的数年中，各大以太坊二层针对抗审查问题提出了各种各样的解决方案，比如Loopring和Degate以及StarkEx的强制提款与逃生舱功能、Arbitrum及其他OP Rollup的Force Inclusion功能，这些方法都可以在一定条件下对Sequencer产生制衡，以防止其无端拒绝任意用户的交易请求。

在今天的文章中，来自台北以太坊协会的NIC Lin现身说法，亲自实验了4个主流Rollup的抗审查交易功能，从工作流程和操作方法等方面深入的分析了Force  Inclusion的机制设计，这对于以太坊社区和手握巨额资产的大户而言尤其具有参考价值。

交易审查与Force Inclusion

交易抗审查性（Censorship Resistance）对一条区块链来说非常重要，如果区块链能够任意审查并拒绝用户发起的交易，那就和一个Web2服务器没有两样。以太坊目前的交易抗审查能力来自于它为数众多的Validator，如果有人想审查Bob的交易、不让他的交易上链，要么就尝试买通网络中大部分Validator，要不就Spam整个网路，不断送出手续费比Bob更高的垃圾交易来抢占区块空间。不管是哪种方式，成本都会非常高。

注：在Ethereum目前的PBS架构中，审查交易的成本会降低不少，可以参考配合OFAC审查Tornado Cash交易的区块比例。当前的抗审查能力仰赖在OFAC及政府管辖范围之外的独立验证者及Relay。

但Rollup呢？Rollup不需要一大堆的Validator来确保安全性，即便Rollup只有一个中心化的角色（Sequencer）来产出区块，它也和L1一样安全。但安全和抗审查能力是两回事，即便一个Rollup和以太坊一样安全，但在只有一个中心化Sequencer的情况下，想审查任何用户的交易都行。

Sequencer可以拒绝处理用户的交易，导致用户资金被扣留无法离开该Rollup

Force Inclusion机制

与其要求Rollup有大量的去中心化的Sequencer，还不如直接利用L1的抗审查能力：

本来Sequencer就是要将交易数据打包送到L1的Rollup合约中，不如在合约里加入一个设计，让用户可以自行把交易插入到Rollup合约，这个机制就称为“Force Inclusion”。只要Sequencer没办法在L1层面审查用户，它就没法阻止用户在L1强制插入交易。这样一来，Rollup就可以继承L1的抗审查能力。

Sequencer无法审查使用者的L1交易，除非付出很高的成本

强制交易应该怎么生效？

如果允许通过Force Inclusion把交易直接写入到Rollup合约中（也就是立即生效），那Rollup的状态就会马上改变，例如Bob透过Force Inclusion机制插入一笔“转1000 DAI给Carol”的交易，如果交易立即生效，那最新的状态中Bob的余额会少1000 DAI，Carol会多1000 DAI。

如果Force Inclusion能直接把交易写进Rollup合约中并马上生效，那状态就会马上改变

如果此时Sequencer也在链下收集交易，并把下一批交易送到Rollup合约上，就有可能被Bob强制插入并立即生效的交易给影响到。这种问题要极力避免，因此Rollup一般不会让Force Inclusion交易立即生效，而是先让用户把交易插入到L1上的等待队列中，进入“准备中”状态。