Vitalik 抛出 ZK+Plasma：方向引导还是政治摇旗？

深入探讨Vitalik的最新作品：ZK+Plasma是否改变了Layer 2的发展局面？

解读Vitalik新作：ZK+Plasma改变Layer 2格局？

革命政治家Vitalik Buterin最近在推特上抛出了关于Plasma回归的新想法，这可是一个方向引导，也是一次政治摇旗。看了一下这个Plasma基于类UTXO的账本退出游戏机制，感觉真是太吸引人了，Vitalik似乎还有意思让市场往ZK+Plasma的方向探索，避免市场陷入Rollup内卷的泥潭。

听起来有点拗口？别担心，我会为大家详细科普一下，让你对这个新方向了然于胸。

Plasma在支付场景中的优势

Plasma类似于侧链解决方案，可以定期向主网同步默克尔状态数据，是一种依赖主网数据和计算的扩容方案。这样一来，我们就能在第二层上，采用非常复杂的账本模型来高效扩展，还能复用主网validator这些系统能力。

那为什么Plasma适合在支付场景中使用呢？

• Animoca 眼中的 SportFi 生态系统，成为 Chiliz Chain 的验证节点
• 非同质化代币（NFT）销售量呈上升趋势，行业高管表示
• Web3与体育的奇妙结盟：独善其身还是互惠共赢？

首先，在支付场景下，用户只需要保留余额状态，而不需要保留完整的链下状态数据，这样就能减轻存储空间的压力。

其次，Plasma的安全性非常依赖于“退出游戏”机制，如果Plasma的运营方作弊，用户可以发起挑战来保护自己的资产。当资产状态非常复杂时，这个过程会非常麻烦，但对于支付场景而言，相对简单而有效。

另外，目前Plasma很难与以太坊虚拟机（EVM）的无主状态兼容，这导致用户很难通过Plasma的默克尔状态树账本来对应许多非交易状态，比如流动性提供（LP）或债务抵押（CDP）。

Plasma支付场景的运作方式

简单来说，Plasma Cash可以将每个代币看作是非同质化代币（NFT），每个都有唯一的编号。当用户发生转账时，运营方会在默克尔树叶上记录一笔更新状态，每个用户都可以保存自己全局的默克尔树状态，这样账本追溯起来就不会出乱子。

但如果是同质化代币呢？用户可能在消费时需要进行多次拆分和合并。如果用户大规模进行拆分，可能导致默克尔数据冗余，而在发起退出游戏机制时可能会出现问题。为了解决这个问题，可以为每一次资产拆分或合并状态匹配一个类UTXO ID，这样无论怎么拆分都能立刻定位到相应的交易树叶。

如何保证“退出游戏”机制的安全性？

由于Plasma没有像其他Rollup方案那样有自己独立的链系统，它必须始终保持与主网的同步。这就意味着Plasma不必追求完全去中心化，只要有一个可高效记账的运营主体就足够了。

但是问题来了，如果运营方发布了无效区块并记录了虚假交易，窃取用户资产，我们该如何处理呢？用户可以发起“退出游戏”机制，将第二层的资产转移到第一层，这就像Rollup中的逃生舱一样安全。

具体的操作是，用户可以展示自己的默克尔树状态证明，证明资产转移的过程，并发起7天的挑战期。主网的验证节点会检测用户是否是最终的资产拥有者，以及用户是否存在双花等问题。通过“退出游戏”来约束第二层的运营方作恶，而挑战期的存在则避免了用户恶意退出，这就确保了Plasma链的正常运行。

兼容EVM“无主状态”的难点

正如之前所说，Plasma目前更多是针对支付交易场景设计的二层解决方案，它使用的是类UTXO模型的记账方式，而以太坊虚拟机（EVM）本身使用的是账户模型。UTXO可以记录每一次余额状态的刷新，但很多“无Owner”场景很难用Plasma的方案实现。

例如，用户在存入Uniswap池子或在MakerDAO的CDP中的资产，用户很难证明哪一笔资产属于自己。一旦运营方宕机，合约被锁，用户就无法正常“退出游戏”，因为无法证明用户在合约里的资产。由于受到Plasma数据特性的影响，主网只能监测合约的余额，用户如何证明自己的资产不是被恶意增发的呢？

这也限制了Plasma在更多场景的使用。

ZK+Plasma释放的想象空间

如果Plasma的底层完全采用ZK技术，用户的操作就可以使用zk-SNARK证明的形式存在，这样就能应用在很多包括EVM状态机场景在内的情况下：

比如，如果用户向某个Plasma合约存入一笔资产，就可以构造一笔zkSNARKs证明，用于向主网发起“退出游戏”，即使池子受到安全威胁被冻结，用户也能够撤出自己的合法资产。

或者在涉及隐私交易的场景下，用户可以使用zkSNARKs来证明自己拥有某个资产，而无需暴露自己的隐私。此外，Plasma的智能合约升级时也可以使用zkSNARKs的形式证明状态升级的正确性，而无需暴露细节，从而提高了合约作恶的难度。

嗨，我知道这些内容有点技术性，但它们真的非常有趣。听说Vitalik最近提到的这个新方向可是引起了很大关注呢。你觉得对这个方向有何想法呢？欢迎留言和我交流！

请注意，如果你觉得这篇文章有价值，请给我点个赞，也可以分享给身边的朋友们哦。感谢大家的支持！

We will continue to update 算娘; if you have any questions or suggestions, please contact us!