作者：藍狐筆記

看到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 來啟動，要求業者嘗試透過向資產腳本提供中間計算追蹤來開啟其承諾。如果承諾無法成功開啟，則驗證者將在挑戰期結束後收到所有資產，或將挑戰資產給簽署者。執行追蹤則透過TapTree 來提交，其中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 L2 方面的探索會持續下去，在原生L2 方面和EVM 兼容L 2 方面都會持續，原生L2 方面在於內部生態張力的探索，由於其原生性有一大批忠實擁躉；而在EVM相容L2 方面，不僅在於擴展BTC 生態，也在於為更多生態的融合提供一個探索方向。