Vitalik 新文拋出“ZK+Plasma”新方向，L2 格局又將生變？

作者：Haotian

編者按： 11 月 14 日，Vitalik Buterin 在伊斯坦布爾的 L2DAYS 發表了題為 Exit games for EVM validiums: the return of Plasma（退出 EVM 驗證遊戲：Plasma 的回歸）的演講，隨後更新了同名博客文章。 2017 年 8 月，Vitalik Buterin 和 Joseph Poon 發表《Plasma：自主智能合約》一文，宣布將 Plasma 作為以太坊新擴容方案。但隨後技術一直沒有進展，Plasma 在資金退出等問題上非常複雜，導致其很難成為真正可行的可擴展性解決方案。但 Plasma 的失敗並非沒有用，zk-Rollup 的誕生讓人們看到的 layer-2 擴展的可能方向，它可以解決 Plasma 的數據可用性問題和退出複雜性問題。 隨著L2格局越來越中心化，Vitalik又將Plasma方案提了出來並結合zk-SNARK證明探討更多關於以太坊擴容的可能性，加密研究員Haotian撰文從Plasma 應用場景、ZK+Plasma等方面解讀了Vitalik的新文章。

拜讀了 Vitalik Buterin 有關 Plasma 回歸的新作，被 Plasma 基於類 UTXO 的帳本「退出遊戲」機制深深吸引，且 Vitalik 似乎有意引導市場往 ZK+Plasma 方向探索，避免市場停留在 Rollup 階段內卷。接下來，詳細給大家科普解讀下。

我在上一篇解讀 Vitalik 文章中說了，以太坊的 2 層擴容方案原本有：Plasma、Rollup、Validium、Parallel 等多種方案，Vitalik 期待中的擴容方向應該是均衡發展，適配各類應用場景進行多樣化的 layer2 構建，但現實市場格局是，Rollup 方案一家獨大，且日益內卷。

只是，Rollup 雖然方案安全性高，但對 Data Availability 的依賴性過大，而純以太坊 DA 又受限於性能和成本問題，故而現在市場卷出一種卡位 Rollup 陣營但卻依賴第三方 DA 的 Solution，這是一種正在把 Rollup 畸形化的方案，絕非 Vitalik 想看到的現狀。

所以，Vitalik 新文章重新搬出了 Plasma，而且引導了一種 ZK+Plasma 的擴容解決方案，顯然又是一次事關 layer2 政治搖旗。

為啥 Plasma 目前受限於支付場景？

Plasma 相當於一種側鏈解決方案，會定期向主網同步默克爾狀態數據，是一種數據和計算依賴主網的擴容方案。這樣的話，2 層可以用非常中心化的方式，且設計非常複雜的帳本模型來高效擴展，還能復用主網 vailidator 這些系統能力。

總得來說，Plasma 用在支付場景可以保證帳本狀態被有效追蹤和記錄。為啥呢？

1）支付場景下，用戶只需要保留餘額狀態，若其他場景得保留全部鏈下狀態數據，會帶來存儲空間壓力；

2）Plasma 安全性依賴「退出遊戲」機制，運營方作惡，用戶可發起挑戰提出自己的資產，若資產狀態複雜則則會很麻煩；

3）目前 Plasma 很難兼容 EVM 的諸多無主狀態，用戶很難用 Plasma 的默克爾狀態樹帳本來對應很多非交易狀態，比如 LP、CDP；

Plasma 支付場景如何運作？

如 Vitalik 文章中所說，簡單而言：

Plasma Cash 可以把每個 Token 視為 NFT，有唯一編號，當某個用戶發生轉賬時，運營方會在默克爾樹葉上記錄一筆更新狀態，每個用戶都可以保存自己全局的默克爾樹狀態，這樣帳本追溯起來就不會出亂。

若是本就同質化的 Token，用戶可能在消費時存在多次拆分和合併，比如小王 1 個 ETH，先拆分了三份，又把其中兩份合併了，每一份都是不規則的，比如 0.001、0.1、0.3 等，如果大批量的拆分，可能導致默克爾數據冗餘，這樣發起退出遊戲機制時可能會產生問題（挑戰和驗證成本較高），比如回溯近一周的帳本發現對不上帳。如何解決呢？可以為每一次資產拆分或合併狀態匹配一個類 UTXO ID，這樣無論怎麼拆分都能即刻定位到相應交易樹葉。

如何確保安全「退出遊戲」機制？

因為 Plasma 沒有像 Rollup 們一樣有自己獨立的鏈系統，它得時刻確保自己的側鏈記帳和主網保持同步，這就允許其不必刻意追求去中心化，只要有一個可高效記帳的運營主體就行。

但問題來了，若運營方發布了無效區塊記了假帳，竊取用戶資產該怎麼辦？用戶需要隨時發出「退出遊戲」機制，把 2 層的資產 withdraw 回 1 層，類似於 Rollup 的逃生艙安全機制。

如何做呢？用戶可以曬出自己默克爾樹狀態證明，證明資產轉移過程，並發起 7 天挑戰期，主網驗證節點會檢測用戶是否為最終的資產 Owner，以及用戶是否存在資產雙花等問題。（因為主網節點存儲了更多的默克爾樹狀態可以核對用戶的 Proof 是否有惡意退出之嫌）。

通過「退出遊戲」來約束 2 層運營方作惡，而挑戰期的存在則避免了用戶惡意退出，這就確保了 Plasma 鏈的正常運行。

兼容 EVM「無主狀態」的難點？

如前邊所言，Plasma 目前更多是針對支付交易場景設計的 2 層解決方案，是一種可類比為 UTXO 模型的記帳，而 EVM 本身則是賬戶模型。UTXO 可以記錄每一次餘額狀態刷新，但 EVM 狀態機中的很多「無 Owner」場景很難用 Plasma 的方案來實現。

比如，比如存入 Uniswap 池子的 USDC，放在 MakerDAO 的 CDP 中的資產也同理，用戶很難證明哪一筆資產屬於自己，這樣一旦出現運營方宕機問題，合約被鎖，用戶就無法正常「退出遊戲」。

因為無法證明用戶在合約裡有錢。受 Plasma 數據特性影響，主網只能監測合約的餘額，若運營方給合約增發了一部分錢，用戶怎麼能證明哪筆錢是自己的，哪筆錢是被惡意增發的呢？

何況一個 layer2 側鏈如果只能實現 Payment 轉賬交易，要如何構建應用和生態，顯然這會大大限制 Plasma 的使用場景。

ZK+Plasma 釋放的想象空間

若 Plasma 底層徹底的被 ZK 化，用戶的操作會以 zk-SNARK 證明形式存在，就能釋放很多 EVM 的狀態機場景：

假若用戶向 Plasma 某合約存入了一筆資產，就可以構造一筆 zkSNARKs 證明，這個證明可以向主網發起「退出遊戲」，這樣即使池子受安全威脅被凍結，用戶也能撤出自己的合法資產；

或者在涉及隱私 DEX 的交易場景下，用戶可以用 zkSNARKs 來證明擁有某資產，而不需要暴露自己的隱私；以及 Plasma 的智能合約在進行複雜升級時也可以 zkSNARKs 的形式證明其狀態升級正確性，而不需要暴露細節，也能提升合約作惡難度；

以上。

整體來說，Vitalik 全文清晰地描述了 Plasma 的現狀以及存在的問題，包括未來 ZK 化的可能性。在我看來，Plasma 並不新穎，甚至過去多年它已經在支付場景找到了自己的位置，此時此刻 Vitalik 拋出 ZK+Plasma 的新方向，是一次方向引導，也是一次政治搖旗，至於市場是否會順著 vitalik 的意思走，我個人不是很樂觀：

1）Rollup 是市場從投入成本、開發難度、生態兼容度等綜合出來的最優解，ZK+Plasma 雖然是一種更高級的 ZK-Rollup，但當下 ZK-Rollup 的發展也並不樂觀，直接跳到 Plasma 過於倉促了；

2）Validium 作為一種獨立鏈擴容方案，在 ZK 的應用程度上相對更高級，但它完全依賴鏈下 DA，相較之下 ZK+Plasma 似乎和以太坊主網黏性更高，但 Vitalik 這樣呼籲可以理解，ZK 的成熟開發者們放棄 Validium 搞 ZK+Plasma 的動力或許不足。