作者：日月小楚來源：medium
近期比特幣生態中一個重要里程碑事件，Zulu宣布實現利用比特幣腳本的zk-SNARK驗證（ZKP）。涉及Groth16/FFlonk主流演算法，並將程式碼提交到BitVM儲存庫。
實作了比特幣腳本進行ZKP，這意味著比特幣網路可以對layer2進行驗證。這真正意味著layer2，它負責繼承比特幣網路的安全性，來自比特幣Pow機制的安全性，這應該是區塊鏈最具安全性的網路。
由於比特幣網路的程式化限制，實現ZKP是特別困難的。現有的大部分比特幣l2，其實並不是真正法L2，因為其鏈上狀態是無法在比特幣網路上直接驗證的。他們現在打算是產生一個zk證明，發佈到btc網路上。但這個證明並不是比特幣網路驗證的，而是他們自身網路的角色，就導致l2的鏈上狀態跟比特幣網路是分離良策。
這跟以太坊的layer2有著明顯的不同。 無論是zk-rollup還是op-rollup，都會將資料打包後交由以太坊主網路進行驗證。 而以太坊layer2層相比其它公鏈最大的優勢是，由以太坊來確保layer2的安全性。
成為比特幣網路驗證的layer2，它最大的好處是繼承了比特幣網路的安全性。比特幣網路的安全明顯是勝於以太坊的。現在能真正繼承其安全性，有兩種方式。一種是babylon為代表，質押原生的btc，自己由pos網絡進行管理，對作惡者進行嚴厲懲罰。當質押的btc價值比較大，作惡的代價非常高，以此確保安全性。但是，列舉的前提是首先有大量的btc進行質押。
第二種是利用比特幣本身的pow網絡，作為第一條也是市值最高的網絡，btc安全運行已經14年了，擁有全網最高的算力，其安全係數不言而喻。那麼能繼承比特幣網路的安全性，其重要的一環就是btc能夠實現驗證。也就是這次Zulu這次ZKP的嚴峻意義。上次關注Zulu網絡，是它首創的比特幣雙層架構。這次zk-SNARK驗證（ZKP），讓我也意識到Zulu背後的技術實力非常強大。
zk-SNARK中文
SNARK ( 簡潔的非互動式知識論證) 是簡潔非互動的知識論證，其核心是透過數學演算法來建構一個證明系統，使得驗證者在不了解原始資料的情況下的驗證資料本身的正確性。我們知道，現在以太坊Layer2有zk-rollup和op-rollup。而op-rollup只是中間過渡期，zk-rollup才是最終型態。因為zk-rollup是使用zk演算法將交易批次打包，並產生SNARK證明提交到主網，主網驗證該批次的所有交易。 zk-SNARK可以有效地進行隱私保護，並且具有很強的擴展性，被V神譽為下個10年的重中之重。
比特虛擬機
這裡必須要介紹一下BitVM。在BitVM之前，比特幣的腳本並不具備圖靈的。儘管大量的人經過大量工作，但仍然無法使用。直到去年10月Robin Linus釋放了一個令人震驚的BitVM，Robin的方法是在比特幣腳本上驗證一種特殊啟動邏輯門，稱為NAND門，這是計算的基本語序之一，位於物理/電氣級別。所有可能的計算都可以由NAND閘建構而成。
最近，Robin又提出了BitVM 2的設計方案。
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 個公共的輸入，總共切分出了1701 個子腳本，大小小於4M，深度
圖片附註：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#
