GOAT推出實時ZK Rollup測試網：​​原生BTC收益新可能？

看到GOAT網路推出其基於BitVM2技術的測試網，其中有個實現值得關注：實時證明的比特幣 ZK Rollup。實現快速的ZK Rollup證明，這對於BTC L2的基建來說，是重要的發展。從用戶體驗上看，在提取時間方面會較之前有很大的效率提升，這利於帶來更多開發者加入和用戶的關注。

那麼，從技術上如何簡單理解？

首先來看看GOAT網路的比特幣L2的實現流程。GOAT網路是基於比特幣L2的解決方案，使用了BitVM2和zkMIPS技術，支持實現原生BTC收益（也就是參與者有機會賺取更多BTC）。它流程主要包括了橋入（Bridge in）、橋出（Bridge out）、排序器承諾（Sequencer Set Commitment）以及報銷處理（Reimbersement）等。橋入主要是將BTC質押到taproot腳本（無人控制私鑰），中繼者將其提交到Goat的合約。委員會構建BitVM2交易流，運營者預籤名並存在FIL，用戶驗證後，中繼者在L2發行PegBTC；橋出則是提取，用戶跟運營商進行原子交易（用戶自己也可以是運營商，如果自己不願意，可通過運營商完成提取），銷毀L2上的PegBTC，運營商啓動報銷處理，無須在BTC主鏈上進行Peg-OUT交易。排序器承諾主要是指委員會定期使用Merkle樹承諾未來的排序器集，支持比特幣輕客戶端機制的驗證。通過輕客戶端機制驗證將BTC上承諾的驗證人集合作爲後面零知識證明驗證的公共輸入，用來實現L2區塊共識性的驗證。報銷處理則是運營商質押BTC並提交提款的交易ID以及最新區塊哈希。挑戰者進行鏈下和鏈上驗證，如無挑戰，運營商領取資金。挑戰者也可以提出挑戰，挑戰發生後，隨機產生驗證者，驗證者可通過比特幣腳本執行互動驗證。挑戰期縮短到大約1天（約144個btc區塊），壓縮最終性所需時間。此外它使用了去中心化的排序器，運營者質押BTC參與，經濟模型中L2 gas費用等會生成原生BTC收益。

下面重點說下其實時證明的ZK Rollup，先來說下它的Rollup技術。GOAT網路會將多筆L2交易打包成批次（Batch），在鏈下執行生成一個ZK證明，該證明會通過比特幣主鏈進行驗證（BitVM2的Assert/Disprove階段驗證等），ZK證明的好處是無須上傳所有交易細節；此外，跟以太坊的zksync或Starknet不同，Goat使用比特幣Taproot腳本等原生機制來錨定狀態更新，從而避免依賴外部橋接或多籤機制。

那麼，簡單了解了其Zk Rollup技術，再來看看其實時證明的機制。根據GOAT網路文檔，它的實時證明生成採用了zkMIPS引擎，通過流水線並行證明架構+分布式GPU證明者網路來實現其證明的快速生成。首先是區塊證明生成，使用執行軌跡分片和並行證明技術，驗證Rollup狀態轉換是否正確；其次是聚合證明，對多個區塊證明進行遞歸壓縮；最後是SNARK證明（Groth16），壓縮成BitVM2上可驗證的小體積證明。

爲了實現實時證明，上述的證明生成並不是單行方式處理，而是採用流水線（Pipelined）並行處理的機制，主要依賴ZKM的zkVM「Ziren」技術來實現，再加上GPU加速和分布式的證明者網路，根據其測試網目前的官方網站數據，區塊證明大約平均2.6秒、聚合證明平均2.7秒、SNARK證明大約10.38秒。用戶可通過前端頁面實時查看每筆提款的完整的ZK證明生成過程。

如果在不到1分鍾內即可完成ZK證明，也就意味着，用戶提現的速度將極大加快，之前的一些比特幣L2網路提現需要等待好幾小時才能發起，有了快速的證明，則支持用戶在證明生成後即可發起提款，也就是說，大約不到1分鍾內用戶就可發起提現。當然用戶最終到帳時間，還需要依賴於比特幣主網的交易情況。但在提現方面，已經無須等待，也就是，其提現基本上接近於在比特幣鏈上發起交易的時間體驗。

除了提現之外，實時證明，也會推動開發者構建高頻的L2應用，此外兼容EVM，也可吸引以太坊生態的開發者；對運營者來說，無須等待批量出證，也可提升了資金效率。ZK技術相對復雜，長期安全性也需要一定的時間證明。不過，實時證明的落地對於比特幣L2來說，是技術基建的重要進步。當然，目前比特幣L2還有很遠的路要走，除了技術基礎設施的構建之外，還需要在挖掘用戶需求、推動開發者構建比特幣L2應用方面做出更多的努力，因爲最終來說，比特幣L2生態起來了，才會有足夠的交易費用來實現飛輪的增長。其中，有一個需求是相對明確的，就是不少BTC持有者也希望獲得收益，這從以太坊鏈上的BTC（如wbtc等）數量就可以看出來，目前超過15萬btc包裹在以太坊鏈上，價值超過150多億美元。如果能夠實現基於btc鏈原生安全性，那麼，會有更多的BTC持有者願意嘗試通過BTCFI來獲得收益。