比特幣生態里程碑:Zulu利用比特幣腳本實現零知識證明驗證


Zulu在比特幣生態系統中實現了利用比特幣腳本的zk-SNARK驗證,這是一個重要里程碑事件。這意味著比特幣網路現在可以對layer2進行驗證,繼承比特幣網路的安全性。與以太坊layer2相比,透過ZKP驗證,比特幣網路的安全性更高。此外,BitVM的出現使得使用比特幣網路進行驗證變得更加方便,不需要額外的升級或分叉。 Zulu在這方面的貢獻得到Robin Louis的高度評價。比特幣網路透過ZKP的實現,進一步確保了其安全性。

近期比特幣生態系統中一個重要里程碑事件,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,自己由p​​os網路管理,對作惡者進行嚴厲懲罰。當質押的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#

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

資訊來源:0x資訊編譯自網際網路。版權歸作者日月小楚所有,未經許可,不得轉載

Total
0
Shares
Related Posts