近期比特幣生態中一個重要里程碑的事件，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#
