BTC L2 賽道日益擁擠，ZKM 加入競爭

隨着 ZKM 進入比特幣 L2 賽道，這一領域的競爭正變得愈發激烈，其發展態勢與以太坊 L2 市場頗爲相似。然而，最終的市場格局仍需等待技術和市場的進一步演化。

ZKM 的核心技術基於 zkVM，其遠景目標是使該技術能被更多項目和生態系統採納，從而成爲底層基礎設施。這一技術有望連接不同生態網路的資產，如以太坊、比特幣和 Cosmos 等，以促進更好的流動性。這也解釋了 ZKM 爲何選擇進軍 BTC L2 賽道。

ZKM 的技術方案主要聚焦於兩個方面："Entangled Rollup 架構"和"zkVM"。這兩項技術旨在解決市場上兩個備受關注的問題：資產安全性和網路可持續性。

鑑於市場對跨鏈安全性的高度關注，ZKM 提出了"Entangled Rollup Network（糾纏匯總網路）"機制。該機制試圖通過遞歸的零知識證明技術來同步不同區塊鏈之間的狀態，避免依賴傳統的橋接機制來實現資產跨鏈。這一框架此前已在以太坊上實現，現在 ZKM 正嘗試將其應用到比特幣生態系統，並根據 BTC L1 的特性進行相應調整。

在資產安全方面，ZKM 採用本地可控模式，如使用多重籤名腳本控制 BTC。只要存在至少一個誠實方，惡意行爲者就無法取走質押的 BTC。在 L2 層面，ZKM 引入去中心化排序器，以去中心化方式完成交易的包含和最終確認。

ZKM 還引入了 OCP（Optimistic Challenge Process）機制，這可以看作是以太坊 L2 樂觀證明在 BTC L2 上的一種變體。當用戶將資產存入 L2 時，資產會被鎖定在預籤名的多重籤名腳本中。在指定的挑戰期後，籤名者可以向目標用戶發送資產，啓動挑戰階段。通過這種機制，ZKM 試圖爲鏈下計算提供安全性保障。

在技術實現上，ZKM 的 zkVM 與其他方案如 RISC 和 SP1 有所不同，它提供了對 Golang 的原生支持。這使得 Golang 開發者能夠使用標準 Golang 編譯器將代碼編譯爲 MIPS 指令，然後利用 ZKM 的證明網路進行驗證。未來，ZKM 還計劃支持 Rust 語言。

爲實現網路的可持續性，ZKM 引入了去中心化排序器的概念。這些排序器節點可以根據其貢獻獲得獎勵。ZKM 計劃將 40% 的代幣獎勵分配給參與挖礦的各方，包括排序器節點、流動性質押和證明網路挖礦。這意味着排序器節點不僅可以從 L2 交易中獲得 gas 費用，還能從挖礦活動中獲得額外收益。

目前，BTC L2 領域的探索正在兩個方向上展開：原生 L2 和 EVM 兼容 L2。原生 L2 旨在探索內部生態系統的潛力，而 EVM 兼容 L2 則不僅致力於擴展 BTC 生態，還爲不同生態系統的融合提供了新的可能性。