Plasma + ZK-SNARKs：以太坊扩容新思路？

作者：dt X 0xNing0x，DODO Research

上周以太坊创办人 Vitalik （以下文章简称 V 神）于推特上发表了其最新的文章 “Exit games for EVM validiums: the return of Plasma”，文章着重在对于 Plasma 扩容技术的介绍并有意引导目前日渐边缘的 Plasma 扩容方案与 ZK 零知识证明结合，此文一出许多与 Plasma 技术相关的项目随即大涨，也让这项被 Rollup 取代逐渐淡出众人视野的技术重新回到以太坊扩容赛道的竞争中。

本周的 CryptoSnap，让 DODO Research X NingNing (@0xNing0x) 用最简单易懂的方式来向大家科普下 Plasma 并阐述 V 神的最新文章在表达什么！

Plasma 是什么？

扩容问题一直是区块链世界开发者重点研究的项目，为了能够实现去中心化世界电脑的目标，打造一个便宜且快速的区块链势在必得，因此围绕着以太坊主网出现了各种的扩容方案，而 Plasma 便曾是以太坊扩容方案的主流。

Plasma 可以简单理解为在以太坊主网上架构一条链，透过智能合约控制主网与 Plasma 链之间的存取资金交互，与侧链（BNB Chain, Gnosis Chain) 不同的是 Plasma 链需要定期地将链上最终状态回传至以太坊主网中，而与 Rollup 技术不同的是 Plasma 链并未回传整条链上的交易数据而仅回传默克尔树的根也就是 Plasma 链上的状态。

Source: https://learnblockchain.cn/2018/10/20/plasma-framework

Exit Game 安全“退出游戏”机制

由于计算并不在主网进行，Plasma 链能够大大提升整个网络的可扩展性（Scalability），并且有相对安全的验证机制能预防作恶者。说到安全性那么就要提到 V 神标题所述的 “Exit game” ，Plasma 链的安全“退出游戏”机制。

在 Plasma 框架的设计中安全性由其退出机制来保护，当用户想返回主网或其认为 Plasma 链出现攻击时，用户得以向主网链上 Plasma 合约提出 “退出” 并提供证明若在七天的挑战期内没有挑战者反证来挑战该 “退出” 便能顺利在主网上取回资产，反之若被成功挑战则 “退出” 失败，恶意用户需要承担相应罚金。

而常见的的攻击的行为有下列三种：

发送交易后立即退出（Not latest owner）：这种攻击是指,当一个用户发送了转账交易后，在挑战期内立即进行资产退出。这是无效的，因为最新的资产拥有者应该是交易的接收者，网络可以挑战这个退出，证明资产已被转移给其他人。

双花攻击（Double spend）：双花攻击指的是同一个资产被非法花费两次或以上，比如 Alice 向 Bob 转账了 1 个token，然后 Alice 再向 Charlie 转账同样的这个 token。网络可以检测到这个 token 被双重使用，因此可以挑战这个非法的转账。

非法交易历史（Invalid history）：这表示检测到资产交易历史中存在非法状态转换，例如存在未被对应消费的交易输出，用户可以通过提供相应的消费证明来回应这个挑战。

Plasma Cash

接着 V 神在此篇文章中介绍了使用 Plasma 框架的项目 Plasma Cash，在 Plasma Cash 中用户存款的每一笔代币都将视为一个 NFT，每一个 NFT 都有一条交易历史并将其以默克尔树形式记载，但由于 NFT 的独一无二不可拆分性，让 Plasma Cash 使用场景有限仅能为特定转账用途服务，此时便出现了以 UTXO 模型改进的版本，透过 UTXO 账本形式可以解决 Plasma Cash 原先 NFT 转账设计中无法拆分的困境，有助于再支付领域的发展但同时也让其难以与智能合约交互。

Source: https://vitalik.ca/general/2023/11/14/neoplasma.html

Plasma 技术瓶颈

Plasma 目前的技术瓶颈是难以实现 EVM，由于 EVM 合约中的许多状态对象没有明确的“所有者（Owner)”，这一点与 Plasma 的安全模型存在矛盾，Plasma 退出机制要求每一个状态对象都有一个明确的所有者，所有者有责任去监控这个状态对象的数据，必要时进行退出以保护资产安全。但是在 EVM 合约中有很多状态对象并没有明确的所有者，比如 Uniswap 中的流动性池或是 MakerDAO CDP 头寸就没有单一的所有者，在这种情况下，如果 Plasma 链出现问题将出现以下几种状况：

没有所有者去进行状态退出，状态可能永远被锁在 Plasma 链上。

即使外部人员可以发起退出，也容易出现 Exit Game 攻击，风险很大。

复杂状态的合约难以验证。

Plasma ＋ ZK-SNARKs