如何看待 ZKM 進入 BTC L2 賽道？

作者：藍狐筆記

看到 ZKM 也進入 BTC L2 賽道，這條賽道會跟以太坊 L2 一樣，會變得越來越擁擠，最終市場格局還須等待技術和市場演化的結果。

ZKM 底層技術是 zkVM ，它的最終目標是試圖讓其 zkVM 技術被更多項目和生態所採用，從而成為底層基礎設施。比如可以連接不同生態網絡（以太坊、比特幣、 Comos 等）的資產，形成更好的流動性。在這個大框架下可以更好地理解 ZKM 為什麼要進入的 BTC L2 賽道。

回到技術解決方案， ZKM 核心技術主要兩個方面：「 Entangled Rollup 架構 + zkVM 」。這兩個方面主要解決市場上兩大關注的問題：一是，如何保證資產的安全；二是，如何實現自身網絡的可持續性。

目前市場很關注跨鏈的安全性問題， ZKM 推出「 Entangled Rollup Network （糾纏匯總網絡）」機制，試圖通過遞歸的零知識證明技術，來同步區塊鏈間的狀態，不依賴於傳統的橋的機制來實現資產跨鏈。這個框架之前在以太坊上實現落地，也就是 Metis 的 Optimistic Rollup 機制。目前 ZKM 試圖將這一思路和框架應用過來，同時根據比特幣 L1 自身的特性進行改造，從而推出其 BTC L2 。當然， BTC 不支持智能合約，要實現 L2 ，挑戰要大很多。 ZKM 試圖通過 Entangled Rollup 將狀態匯總到 ZKM 網絡，然後將驗證的狀態傳遞給其他生態系統。 BTC 的資產安全採用本地可控的模式，比如 BTC 由多簽腳本控制，只要至少有一個誠實方存在，作惡者就無法取走質押存入的 BTC ；而在 L2 方面，則採用去中心化排序器，交易的包含和最終性都以去中心化的方式來完成， L2 的交易批次的執行也計劃通過 BTC 腳本進行驗證。

ZKM 引入 OCP 機制（ Optimistic Challenge Process ），部分類似於以太坊 L2 樂觀證明的 BTC L2 版本。大概機制是，當用戶將資產存入到 L2 （ ZKM ）時，資產會被鎖定到預簽名的 n - of - n 的多重簽名腳本中，簽名者一般是獨立第三方 / 審計方。多重簽名的兌換腳本在指定的挑戰期後激活，簽名者提前向目標用戶發送資產，啟動挑戰階段。在挑戰階段，簽名者預先簽署包含挑戰腳本和資產腳本的交易。要發起挑戰腳本，挑戰可以通過支付輸入 UTXO 來啟動，要求運營者嘗試通過向資產腳本提供中間計算跟蹤來打開其承諾。如果承諾無法成功開啟，則驗證者將在挑戰期結束後收到所有資產，或者將挑戰資產給到簽名者。執行跟蹤則通過 Tap Tree 來提交，其中 Tree 的每個葉子代表一個中間值。每個中間值都是使用一次性簽名計算，前值作為其輸入。使用這種方法， BTC 腳本直接執行此計算並完成鏈上資產驗證。也就是說， ZKM 試圖通過 OCP 機制為鏈下計算提供安全性，確保 L2 交易包含在去中心化的排序器網絡中。

zkVM 一直是加密領域重要的基礎探索之一， ZKM 的 zkVM 是其中的一個類型。跟 RSIC 和 SP1 不同的區別之一是 ZKM 提供對 Golang 的原生支持。（ RSIC 和 SP1 支持 Rust ） ZKM 允許 Golang 開發者使用 Vanilla Golang 編譯器將其代碼編譯為 MIPS 指令，之後使用 ZKM 的證明網絡證明其執行。同時，未來 ZKM 也計劃支持 Rust 。

市場除了關注 BTC 鏈上資產的安全性，還關注 ZKM L2 本身如何實現可持續性。要想要實現可持續，需要參與網絡的各參與方有機會獲得持續的收入。 ZKM 的 BTC L2 中，引入去中心化排序器的概念，這些排序器節點根據貢獻獲得獎勵的收入。 ZKM 計劃將其 40% 代幣獎勵給挖礦參與者（包括參與排序器節點、流動性質押、證明網絡挖礦）。也就是說，排序器節點除了從 L2 的交易中獲得 gas 費用之外，還可以從挖礦中獲得收益。

按照目前的趨勢， BTC L 2 方面的探索會持續下去，在原生 L 2 方面和 EVM 兼容 L 2 方面都會持續，原生 L 2 方面在於內部生態張力的探索，由於其原生性有一大批忠實擁趸；而在 EVM 兼容 L 2 方面，不僅在於擴展 BTC 生態，也在於為更多生態的融合提供一個探索方向。