浅论Restone：它不是Plasma 而是Optimium变体

作者：Faust，极客web3

近期，一个叫Redstone的项目成为了热点。这个由Lattice团队推出的链游专项Layer2设施，于11月15日正式发布，目前已上线测试网。有趣的是，Lattice团队称“Redstone是受到Plasma启发的Alt-DA链”。

就在Redstone发布的前一天，Vitalik刚刚发表了文章“Exit games for EVM validiums: the return of Plasma”，文中简单回顾了本已消失在以太坊生态的技术方案“Plasma”，并指出可以引入有效性证明（与ZK Proof混淆），来解决Plasma的问题。

对此，有不少朋友认为，Vitalik发表这篇文章，是为了给Redstone站台，甚至在极客Web3社群内也有人说，Vitalik搞不好投资了Redstone。再加上此前传的沸沸扬扬的“以太坊Layer2定义之争”，一时间人们普遍认为，接下来会引发“Plasma的复兴”，而Celestia等以太坊生态外的DA方案可能因此被抑制，因为Plasma没有对DA的严格要求。

但据本文作者考证，Redstone并不符合Plasma方案的大致框架，其自称“受到Plasma启发”反而有蹭Vitalik文章热点的可能性，而不是Vitalik真要为Redstone站台。此外，Redstone的DA挑战方案与Layer2项目Metis在2022年4月推出的方案颇有相似之处，只不过两者在更新Stateroot——发布DA数据这两个步骤上的先后次序不同。

所以，真实的情况是，大家可能对Redstone产生了“过度解读”。下文中将通过一些简单的推理来为读者解释Plasma的原理及其为何对智能合约及Defi不友好，以及Redstone到底是什么东西。

Plasma：遇到了数据扣留攻击就要紧急提款

Plasma的历史可以追溯到2017年以太坊IC0热潮时期，彼时以太坊用户的交易需求呈爆炸式增长，而TPS低下的ETH不堪重负。在这样的关头，Plasma最早的理论版本发布了，文中提出了一种二层扩容方案，可以处理“世界上几乎所有的金融场景”。

简单来说，Plasma是一种只把Layer2的区块头/Merkle Root发布到Layer1上的扩容方案，区块头/Merkle Root之外的那部分数据（DA数据）只在链下发布。如果Plasma的排序器/Operator在L1上发布的Merkle Root关联了一笔无效交易（数字签名错误等场景），相关用户可以提交欺诈证明，证明排序器提交的Root关联着一笔无效交易。

但问题在于，要发布欺诈证明必须保证DA数据不被扣留，但Plasma对DA层没有严格要求，不能保证用户或L2节点可以接收到数据。如果排序器在某个时间点发动数据扣留攻击（也被称作数据可用性问题），只发布新的区块头/Merkle root，却不发布对应的区块体，让人无法验证区块头/root是否有效，用户就只能默认排序器“无药可救”，通过名为“Exit Game”的紧急退出机制，把资产从Layer2撤到Layer1上。

这一步操作需要用户提交Merkle Proof，证明自己在L2上的确有相应数额的资产，我们可以将此称为“资产证明”。有意思的地方在于，Plasma的Exit Game和ZK Rollup的逃生舱模式并不一样，ZK Rollup用户必须提交对应最近一个有效Stateroot的Merkle Proof，而Plasma用户却可以提交很久前的Merkle Root对应的Proof。

为什么设计成这样？只是因为，ZK Rollup提交的Stateroot，会被Layer1上的合约立刻投入判断（判断有效性证明是否有效）。如果这个刚提交不久的Stateroot是有效并合法的，那么用户就应当提交对应合法Stateroot的Merkle Proof来充当资产证明。

但Plasma的排序器提交的Merkle Root，Layer1合约无法判断是否有效，只能让L2节点主动发起挑战来排除无效Root，所以会有挑战机制，这使得Plasma和Zk Rollup的运作原理迥然不同。

假设排序器刚发布了一个无效的Merkle Root 101，同时发动数据扣留攻击，让L2节点无法证明101号root是无效的，此时用户可以提交对应100号root或更早以前root的merkle Proof，把自己的资产提走。

当然这里有个问题需要解决，就是某个用户可能提交对应30号root或更早期root的资产证明，请求把资产撤到Layer1，但这个人在30号root发布后，资产状况可能有变化。换句话说，他提交的是过时的资产证明，这就是典型的双花攻击/双重支付。