比特幣L2網路推出實時證明的ZK Rollup測試網

近期一個比特幣L2網路推出了基於BitVM2技術的測試網,其中一項引人注目的功能是實時證明的比特幣ZK Rollup。這一技術進步對比特幣L2基礎設施的發展具有重要意義。從用戶體驗角度來看,提款效率將大幅提升,有望吸引更多開發者和用戶關注。

該網路是基於比特幣L2的解決方案,採用了BitVM2和zkMIPS技術,支持原生BTC收益。其主要流程包括橋入、橋出、排序器承諾以及報銷處理等環節。橋入過程中,BTC被質押到taproot腳本,中繼者將其提交到L2合約。委員會構建BitVM2交易流,運營者預籤名並存儲,用戶驗證後在L2發行PegBTC。橋出時,用戶可通過原子交易提取BTC,銷毀L2上的PegBTC,無需在比特幣主鏈上進行Peg-OUT交易。排序器承諾機制使用Merkle樹定期承諾未來的排序器集,支持輕客戶端驗證。報銷處理中,運營商質押BTC並提交相關信息,經過驗證後可領取資金。挑戰機制縮短了最終性時間至約1天。

該網路的ZK Rollup技術將多筆L2交易打包成批次,在鏈下執行生成ZK證明,通過比特幣主鏈驗證。與以太坊上的ZK Rollup不同,該網路使用比特幣原生機制錨定狀態更新,避免了對外部橋接或多籤機制的依賴。

實時證明生成採用zkMIPS引擎,通過流水線並行證明架構和分布式GPU證明者網路實現快速生成。證明過程包括區塊證明生成、聚合證明和SNARK證明三個階段。根據測試網數據,區塊證明平均耗時2.6秒,聚合證明2.7秒,SNARK證明10.38秒。用戶可實時查看每筆提款的完整ZK證明生成過程。

實時證明的實現意味着用戶提現速度將大大加快。與之前需要等待數小時才能發起提現的比特幣L2網路相比,用戶現在可在不到1分鍾內完成ZK證明並發起提款。雖然最終到帳時間仍取決於比特幣主網交易情況,但提現體驗已接近直接在比特幣鏈上發起交易。

除提現外,實時證明還將推動高頻L2應用的開發。對運營者而言,無需等待批量出證,提高了資金效率。盡管ZK技術復雜度較高,長期安全性仍需時間驗證,但實時證明的落地無疑是比特幣L2技術基建的重要進步。

然而,比特幣L2的發展之路仍然漫長。除技術基礎設施外,還需在挖掘用戶需求和推動開發者構建應用方面付出更多努力。只有比特幣L2生態真正繁榮起來,才能產生足夠的交易費用實現良性循環。值得注意的是,許多BTC持有者希望獲得收益,這從目前超過15萬BTC(價值超150億美元)包裹在以太坊鏈上可見一斑。如果能實現基於比特幣鏈原生安全性的解決方案,更多BTC持有者可能會嘗試通過BTCFI獲取收益。