比特幣生態裡程碑：Zulu 實現 ZKP 驗證

作者：日月小楚來源：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，深度<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正在開發兩個產品：