比特幣生態里程碑：Zulu 利用 Bitcoin Script 實現 ZKP 驗證

撰文：日月小楚

近期比特幣生態中一個重要里程碑的事件，Zulu 宣佈實現首個利用 Bitcoin Script 的 zk-SNARK 驗證（ZKP）。涉及 Groth16/FFlonk 主流算法，並將代碼提交到 BitVM 存儲庫。

實現了比特幣腳本進行 ZKP，這意味著比特幣網絡可以對 Layer2 進行驗證。這是真正意義的 layer2，它將繼承比特幣網絡的安全性的，來自比特幣 Pow 機制的安全性，這應該是區塊鏈最具安全性網絡。

由於比特幣網絡的編程性限制，實現 ZKP 是特別困難的。現有的大部分比特幣 l2，實際上並不是真正意義上 L2，因為其鏈上狀態是無法在比特幣網絡上直接驗證的。他們現在的做法是生成了一個 zk proof，發佈到 btc 網絡上。但是這個證明是並不是比特幣網絡驗證的，而是他們自身網絡的角色，這就導致 l2 的鏈上狀態跟比特幣網絡是分離的狀態。

這跟以太坊的 layer2 有著明顯的區別。不管是 zk-rollup 還是 op-rollup，都會將數據打包後交由以太坊主網絡進行驗證。而以太坊 layer2 層相比其它公鏈最大的優勢，是由以太坊來保證 layer2 的安全性。

成為有比特幣網絡驗證的 layer2，它最大的好處是繼承比特幣網絡的安全性。比特幣網絡的安全明顯是勝於以太坊的。現在能真正繼承其安全性的，有兩種方式。一種是 babylon 為代表，質押原生的 btc，自己形成 pos 網絡進行管理，對作惡者進行懲罰。當質押的 btc 價值比較大，作惡的成本非常高，以此保證安全性。但是，這種方式的前提是先有大量的 btc 進行質押。

第二種是利用比特幣自身的 pow 網絡，作為第一條也是市值最高的網絡，btc 安全運行已經 14 年了，擁有全網最高的算力，其安全係數不言而喻。那麼能繼承比特幣網絡的安全性的，其重要的一環就是 btc 能夠實現驗證。也就是這次 Zulu 這次 ZKP 的重要意義。上次關注到 Zulu network，是它首創的 bitcoin 雙層架構。這次 zk-SNARK 驗證（ZKP），讓我也意識到 Zulu 背後的技術實力非常強大。

zk-SNARK 的重要性

SNARK ( succinct non-interactive argument of knowledge) 是簡潔非交互式知識論證，其核心是通過數學算法來構建一個證明系統，使得驗證者在不瞭解原始數據的情況下驗證數據本身的正確性。我們知道，現在以太坊 Layer2 有 zk-rollup 和 op-rollup。而 op-rollup 被認為只是中間過渡期，zk-rollup 才是最終形態。因為 zk-rollup 是使用 zk 算法將交易批量打包，並生成 SNARKs 證明提交到主網，主網驗證該批次的所有交易。zk-SNARK 可以有效的進行隱私保護，並且有很強的擴展性，被 V 神譽為下個 10 年的重中之重。

BitVM

這裡必須要介紹一下 BitVM。在 BitVM 之前，比特幣的腳本編程語言被認為不具備圖靈完備的。儘管大量的人經過大量努力，依然無法解決這個問題。直到去年 10 月 Robin Linus 發佈了一個令人轟動的 BitVM，Robin 的方法是在比特幣腳本上驗證一種特殊類型的邏輯門，稱為 NAND 門（「與非」門）這是計算的基本原語之一，位於物理 / 電氣級別。所有可能的計算都可以由 NAND 門構建而成。

最近，Robin 又提出了 BitVM 2 的設計方案。不再直接使用腳本 NAND 門，而是將它們用於使用通用的 SNARK 零知識證明驗證器。

BitVM 的意義在於，可以實現使用比特幣網絡進行驗證，並且無需升級、無需分叉、不給 btc 帶來任何額外的負擔。layer2 執行負責的其它的負責計算，繼承主網的安全性。由於 BitVM 的巨大意義，很多 layer2 都在 BitVM 的基礎上進行了構建。比如 Bitlayer 就是將 BitVM 作為核心組件，採用了分層虛擬機技術（Layered Virtual Machine）的二層解決方案。

在 Zulu Network 中，BitVM 也是非常重要的存在。而 Zulu 同樣也是 BitVM 非常重要的貢獻者，可以說用比特幣腳本實現 zk-SNARK 驗證對 BitVM 是最核心的一步。Zulu 為 BitVM 2 官方 GitHub 代碼倉庫貢獻頗多，因而得到了 BitVM 發明人 Robin Louis 的高度肯定。

上週，Zulu 已經完成對 Groth16 腳本的切分。2 個 public 的輸入，總共切分出了 1701 個子腳本，大小小於 4M，棧深度<1000。此次 ZKP 腳本切分完成，代表 BitVM 邁向商用的又一個里程碑。由於 Zulu 的出色工作，BitVM2 可以很快實現比特幣上面的第一個 SNARK 證明。也說明 Zulu 的技術也處於領先的地位。

圖片注：Zulu 的技術進展得到了 BitVM 發明人 Robin Louis 的高度肯定

最後簡單介紹下 Zulu Network

Zulu Network 是首個比特幣生態的雙層網絡，其 layer2 層是一個 EVM 兼容的 ZuluPrime。EVM 項目可以快速、低成本的部署，實現生態的繁榮。另外一層為 Layer3 層，稱為 ZuluNexus。它創新性地統一了 UTXO 和賬戶資產類型，並實現了基於 UTXO 模型的智能合約創新。這意味著它能最大限制的發揮 UTXO 的優點，並且能支持未來 UTXO 上的創新。Zulu 正在開發兩個產品：

• 一個可以通過 ZKP 驗證鏈下狀態的 Zulu bridge，用於支持資產發行

• 首個去中心化的 ZK 橋來為用戶提供任意金額的跨鏈操作

Zulu 現在尚未發幣，想早期的參與的可以參加 Zulu 現在的測試網積分活動。詳細看官方的文檔https://www.yuque.com/zulunetworkzhongwenshequn/zvggg8/kr9epkg0v27rh860?singleDoc#