原文來源:慢霧
在研究區塊鏈系統的工作原理時,我們需要了解各種各樣密碼學知識,比如secp?256?k?1?,它是一種曲線和非對稱簽名算法,在比特幣和以太坊系統中用于簽名和驗證賬號。比如sha?256?,它是一種哈希算法,用于把變長信息壓縮成定長編碼。比如base?58?,它可以把信息編碼轉換成可打印字符表示的字符串。比如ECDH,它是一種Diffie-Hellman密鑰交換算法,用于在P2P節點間安全交換通訊密鑰。
零知識證明也是一種密碼學算法,簡稱為ZKP或者ZK,它的特點是可以在不泄露任何其他信息的前提下證明一個命題的正確性。
ZKP最早在1985年就已經被提出,然而長期以來一直沒有找到大規模應用的場景,所以技術的發展也十分緩慢。一直到2009年比特幣誕生后,人們發現它非常適合用于解決區塊鏈中的隱私和擴展性問題,至此大量的資本和人才投入到了這項技術的開發和工程應用中。ZKP有很多實現,例如:Groth?16、PlonK、STARK等,至今還沒出現真正的行業標準,本文將為大家盤點各種ZKP實現的技術特點,希望能給大家的學習研究和工程開發帶來幫助。
ZKP應用領域
Zcash可能是ZKP的第一個被廣泛使用的應用,它在比特幣源代碼的基礎上,將ZKP應用于代幣的轉移,使得交易的信息完全保密,但同時能被區塊鏈上的節點驗證。
TornadoCash是在以太坊運行的混幣器,它使用ZKP證明Merkle-Tree上的節點,用戶可以將固定金額的代幣存入資金池,然后使用ZKP生成的Proof證明自己曾經存入過資金,但不需要暴露自己存入時的交易信息。
在區塊鏈中,每個節點的計算能力有限,但借助ZKP技術,節點可以將大量的計算外包給鏈下節點,這時只需要驗證外包提交的計算結果和計算證明就可以知道計算是否正確。
zksync?1.0就是一個很好的例子,它在鏈下進行以太坊代幣轉賬和交易,然后將結果提交給節點,節點通過驗證ZKP證明就可以知道它是否按照它聲明的方法進行計算。
Filecoin運用ZKP構造了時空證明系統,能證明用戶在本地存儲了特定文件,目前已經證明存儲的文件已經達到18EiB。
Degen Zoo:項目代碼安全,為防止再次停機檢查正考慮添加代理合約:4月3日消息,針對昨日的安全事件,DAO Maker項目Degen Zoo官方團隊在Telegram中表示,調查結論是發現可以添加代理合約以使代碼可升級。代理合約允許項目在不停止游戲的情況下構建固定合約并測試內容。
目前有兩個方案正待投票:1.審查發現代碼很安全,出錯率很低,但無法100%保證完美,這意味著如果再次出現問題,則必須再次停止游戲并重新部署。選1則今晚可恢復游戲即保持周一早上之前的狀態。2.將代理合約添加到所有重要的智能合約中hatch()、kill()、burn()、speedup()、evolve(),以便更改這些合約,而無需在未來重啟游戲。選2則需24-48小時添加代理并恢復。目前在Telegram群中,第二種方案支持率占優。
此前昨日消息,Degen Zoo疑遭黑客攻擊,目前團隊已暫停游戲并啟動調查。[2023/4/3 13:41:36]
Mina是另一個例子,在很多高速區塊鏈系統中,交易的數據十分龐大,系統需要保留所有的區塊以備共識協議的驗證,所以系統對硬件的要求極高,永久保存意味著區塊鏈節點將需要不斷增大磁盤空間和數據索引能力。這時候可以借助ZKP,將驗證數據壓縮,Mina通過遞歸零知識證明,將賬本壓縮到11KB,但依舊可以驗證區塊的正確性。
證明系統是ZKP的底層算法實現,可分為交互式和非交互式兩種:交互證明系統由兩方參與,分別稱為證明者和驗證者,其中P知道某一秘密,P希望使V相信自己的確掌握這一秘密。交互證明由若干輪組成,在每一輪,P和V可能需根據從對方收到的消息和自己計算的某個結果向對方發送消息。比較典型的方式是在每輪V都向P發出一個詢問,P向V做出一個應答。所有輪執行完后,V根據P是否在每一輪對自己發出的詢問都能正確應答,決定是否接受P的證明。2.?非交互式證明系統
在上述交互式證明系統中,P和V不進行交互,證明由P產生后直接給V,V對證明直接進行驗證,這種證明系統稱為非交互式證明系統。
我們在區塊鏈中使用的證明系統一般都是NIZK,區塊鏈中的節點就是驗證者V,終端用戶或者二層網絡就是證明者P。
Aptos生態DeFi協議Thala公布Token發行細節:3月26日消息,據官方消息,Aptos生態DeFi協議Thala公布其治理Token THL的發行細節。THL將于美國東部時間3月31日晚上7點和美國東部時間4月5日晚上7點之間通過LBP池發布。
此次發布將持續五天,THL總量的至多7%(700萬枚)將分配給社區。LBP將與LayerZero Circle(zUSDC)組成交易對,初始權重為98:2(THL/zUSDC),最終權重為30:70(THL/zUSDC)。
此次籌集的所有收益將存至Thala的MomentumSafe多重簽名的國庫地址中。Thala承諾將高達50%的收益用于直接協議運營。這包括核心流動性對的播種流動性、用于支持金庫和現實世界資產的潛在壞賬的保險基金,以及用于確保最大協議安全性的漏洞賞金。其余部分將根據DAO治理的酌情權進行適當預算,以支付貢獻者工資、審計成本、法律費用和其他雜項運營成本。[2023/3/26 13:27:05]
文末參考鏈接?描述了近十年來公開發表的NIZK方案及特點。
在實際工程應用中我們主要關注的是性能和通用性,因此我們對一些常見證明系統進行更細致的分類對比,見文末參考鏈接:
Bulletproofs
特點:簡潔證明大小,無需可信設置,但證明生成和驗證耗時相比較長。
代表項目:Bulletproofs,Halo,Halo?2?。
SNARKs(SuccinctNon-interactiveARgumentsofKnowledge)
特點:簡潔證明大小,證明驗證耗時相比較短,但需要對每一個電路進行可信設置。
代表項目:Groth?16?。
SNORKs(SuccinctNon-interactiveOecumenical(Universal)aRgumentsofKnowledge)
特點:簡潔證明大小,只需要進行一次可信設置即可用于所有電路。
代表項目:Sonic,PlonK,Marlin,Plonky?2?。
數據:FTX將5萬枚ETH發送至Voyager:10月18日消息,Nansen監測數據顯示,北京時間5:04:11,FTX將5萬枚ETH(約6650萬美元)發送至加密貨幣借貸平臺Voyager的鏈上地址。[2022/10/18 17:30:21]
STARKs(Succinct(Scalable)TransparentARgumentsofKnowledge)
特點:證明十分龐大,不需要進行可信設置,具有良好的可擴展性。
代表項目:STARK。
以上分類也不是絕對的,比如Halo/Halo?2項目,它們在設計時也借鑒了很多Plonk的思路,另外,SNORKs通常會被歸入到SNARKs,因為它們都需要可信設置。
3.性能對比
電路是ZKP系統的業務邏輯實現,開發ZKP應用需要進行電路編程,為什么ZKP邏輯代碼被稱為“電路”?主要有以下幾個原因:ZKP證明的代碼會被轉換成一系列簡單約束條件的表達式R?1?CS,然后使用拉格朗日插值法,轉換為一個巨大的多項式QAP,最終以門電路的形式被約束。
與硬件電路類似,所有分支的代碼將被一起執行。
與硬件電路類似,ZKP證明電路中沒有遞歸和復雜的循環,循環的數量只能是恒定的。
我們不需要從頭去用密碼學實現ZKP應用,有很多開發庫已經實現了這些底層證明系統,我們只需要關注業務邏輯的實現。當然每一種庫都有不同的抽象程度,有的需要去學習描述電路的表達式,有的只需要按流程定義好代碼就可以輕松實現。
1.常用開發庫
libsnark
用C語言實現了通用證明系統、基礎電路庫和應用示例。
證明系統:BBFR?15、BCCT?12、BCCT?13、BCGT?V1?3、BCIOP?13、BCT?V1?4?a、BCT?V1?4?b、CT?V1?5、DFGK?14、Groth?16、GM?17、GGPR?13、PGHR?13?。
鏈接:https://github.com/scipr-lab/libsnark。
英偉達二季度財報不及預期,市場分析稱受挖礦顯卡需求暴跌影響:8月9日消息,昨日,英偉達(NVIDIA)披露了一份業績預告,公司2022年第二季度營收為67億美元,大幅不及市場預期為81億美元,環比下降19%。游戲業務收入大幅不及市場預期,季度營收20.4億美元,環比下降44%,同比下降33%。數據中心收入為38.1億美元,環比增長1%,同比增長61%。
該公司將其業績不佳歸咎于游戲業務萎靡和PC市場需求下跌,另外,有分析指出加密市場崩盤導致的顯卡需求暴跌也給英偉達帶來不小的沖擊。隨著加密貨幣貶值,礦工們對昂貴顯卡的需求減少。(華爾街見聞)[2022/8/9 12:12:15]
gnark
用Go語言實現的證明系統,提供高級API來設計電路。
證明系統:Groth?16、PlonK。
鏈接:https://github.com/consensys/gnark。
bellman
Rust實現的證明系統,它提供電路接口、基礎結構以及一些基本電路實現,例如布爾和數值抽象。
證明系統:Groth?16?。
鏈接:https://github.com/zkcrypto/bellman。
snarkjs
Javascript和WASM實現的證明系統,可用于可信設置、生成證明并驗證證明。snarkjs使用iden?3自己的circom編譯器對DSL定義的電路進行編譯。
證明系統:Groth?16、PlonK。
鏈接:https://github.com/iden?3/snarkjs。
ethsnarks
使用Python實現,可以在用戶瀏覽器生成證明,使用以太坊智能合約做為驗證者。目前項目開發不活躍,相同的場景下使用Circom可能是更好的選擇。
證明系統:Groth?16?。
鏈接:https://github.com/HarryR/ethsnarks。
雅虎已為AOL提交元宇宙及NFT相關商標申請:5月25日消息,據美國律師Mike Kondoudis的推文,雅虎公司已經為AOL(美國在線)提交了元宇宙及NFT相關商標申請,表明其計劃將AOL品牌擴展至虛擬環境、NFT/數字收藏品/代幣、以及用于為虛擬環境創建頭像及皮膚的計劃。[2022/5/25 3:40:55]
bulletproofs
使用Rust實現的證明系統,具有單一和聚合范圍證明、強類型多方計算,正在開發中用于證明任意語句的可編程約束系統API。
證明系統:bulletproofs。
鏈接:https://github.com/dalek-cryptography/bulletproofs。
halo?2?
一個基于Rust的實現的證明系統,由ZCash團隊維護。Halo?2特定于PLONKish,可以非常直接地控制電路在算術運算中的表示方式,非常適合編寫高度優化的電路。
證明系統:Halo?2?。
鏈接:https://github.com/zcash/halo?2?。
2.開發流程
以gnark為例,一個典型的工作流程如下圖:
1?)用代碼描述需要解決的問題。
2?)編譯成R?1?CS約束系統。
3?)對R?1?CS進行可信設置,得到Provingkey和Verifykey。
4?)證明者使用R?1?CS和Provingkey計算私密數據,生成證明Proof。
5?)驗證者使用Verifykey驗證Proof。
1.?基于以太坊平臺Cairo
Cairo是一種用于編寫可證明程序的編程語言,其中一方可以向另一方證明某個計算已正確執行。Cairo和類似的證明系統可用于為區塊鏈提供可擴展性。StarkNet將Cairo編程語言用于其基礎設施和編寫StarkNet合約。
證明系統:STARK。
鏈接:https://www.cairo-lang.org/docs/。
Zokrates
ZoKrates采用DSL描述電路,提供了一些常用的電路庫,它可以幫助你在DApp中使用可驗證的計算,從用高級語言規范您的程序到生成計算證明,再到在Solidity中驗證這些證明。
證明系統:GM?17、Groth?16、Marlin。
鏈接:https://zokrates.github.io/。
Circom
Circom語言采用DSL描述電路,可以配合snarkjs在用戶瀏覽器生成證明,使用以太坊智能合約做為驗證者。
證明系統:Groth?16、PlonK。
鏈接:https://iden?3.io/circom。
Noir
Aztec基于Rust的隱私編程語言,采用DSL描述電路,允許安全、無縫地構建隱私保護零知識電路。
證明系統:PlonK。
鏈接:https://noir-lang.org/index.html。
zkEVM
與EVM一樣,zkEVM是一個虛擬機,它作為程序操作的結果在狀態之間轉換,但是zkEVM通過生成證明來證明計算的每個部分的正確性。本質上,zkEVM使用一種機制來證明執行步驟遵循規則。
目前有zkSync、Polygon、Scroll、Starkware等團隊正致力于zkEVM的實現,已取得重大進展。
2.?基于公鏈平臺
zkApp(Mina)
zkApps是MinaProtocol的智能合約,由零知識證明提供支持。zkApps可以在鏈下執行任意復雜的計算,同時只收取固定費用以將生成的零知識證明發送到鏈以驗證此計算,這與其他在鏈上運行計算并使用基于可變gas費用的區塊鏈相反模型。zkApps使用Typescript編寫。
證明系統:PlonK。
鏈接:https://docs.minaprotocol.com/zkapps。
LEO(Aleo)
Leo是一種函數式靜態類型編程語言,專為編寫私有應用程序而構建。它專為開發人員設計,可以直觀地在Aleo區塊鏈上構建,為私有的、去中心化的生態系統提供基礎。
證明系統:Marlin。
鏈接:https://leo-lang.org/。
在過去幾年,慢霧安全團隊已為多個知名ZKP產品進行了電路及應用安全審計,包括ZKSwap、Zkdex、Zksafe等,發現了多個中高危漏洞,對基于Circom、libsnark等流行框架開發的應用有較為深入的理解。慢霧安全團隊在ZKP應用審計中發現常見的安全問題有:信任參數風險
為了使用zk-SNARKs,需要一組公共參數,稱為公共參考字符串。但是這些參數的創建也會產生一些私有參數,如果某一方獲得這些私有參數,他們就可以偽造證明。另外,生成CRS的流程需要經過審計,確保不會有隨機數后門,或者私有參數不會被蓄意保留。使用zk-SNORKs時也需要確保結構化參考字符串是可信的。
可信配置階段的安全隱患問題可以使用安全多方計算來解決,MPC的特點是只要任何一個參與者能誠實參與,那么通過這套多方計算系統最終得到的計算結果就是可信的。
靜態代碼安全
這部分主要是由于編碼不規范造成的安全問題,例如:參數未校驗、返回值未處理、數值溢出、邊界未檢查等,如果編寫電路的語言是C/C,那么還會存在內存溢出風險。
供應鏈攻擊風險
供應鏈的風險主要來自使用了存在漏洞的代碼庫,例如:舊版本的倉庫。通常ZKP應用還需要配合客戶端或者Web前端使用,而這部分也很容易遭受多種方式黑客攻擊。
邏輯錯誤
邏輯錯誤是電路實現中最容易出現的錯誤,需要結合需求文檔檢查電路的設計是否符合需求。
雙花攻擊
錯誤的設計可能導致雙花攻擊,例如:某些ZKP庫存在延展性風險,攻擊者可利用已知的Proof生成不同Proof,如果設計不當會導致雙花攻擊。
證明偽造
有效的證明是ZKP首要解決的問題,確保滿足完備性和可靠性,即“假的真不了,真的假不了”,所以如果一個電路可以創建假證明,通常是由于底層庫出現漏洞,通常我們會建議項目方使用公開的經過審計的ZKP庫,并使用穩定的發行版。
側信道攻擊
如果電路設計不當,不同的隱私信息可能存在不同的計算特征,攻擊者可能通過公開的輸入或者證明猜解出私有輸入數據。
電路約束失效
不恰當的電路表達式可能導致變量未被約束。
特殊值攻擊
一些特殊的輸入值可能繞過系統的驗證邏輯,例如:?0、null等。
隱私輸入猜解
對于TornadoCash等應用,如果輸入的信息可以被猜解,那么會導致嚴重的隱私泄露問題,這時需要對輸入數據進行嚴格審計,確保不能被猜解。
RugPull風險
一些項目可能存在特殊的管理員權限,一旦權限被非法使用會導致項目資金和用戶資產被竊取。
智能合約風險
一些ZKP證明使用智能合約進行驗證,例如:Circom、ZoKrates等。智能合約可能出現重入、重放、邏輯錯誤等風險,詳情可查看慢霧安全團隊的智能合約安全審計服務。
針對上面列舉的ZKP安全問題,慢霧安全團隊在攻防實戰中總結出了一套安全解決方案,結合黑盒/灰盒/白盒多種測試手段,推出了面向區塊鏈行業的ZKP電路審計服務。
零知識證明是解決區塊鏈隱私性、計算擴展和數據壓縮問題的有效方法,目前有很多的實現方案,這些實現方案具有不同的性能參數指標和安全基準。開發者在開發零知識證明電路時需要注意根據需求選擇合適的框架,并確保在項目上線前對應用的安全性進行過全面安全審計。
最后,感謝領先的一站式數字資產自托管服務商Safeheron提供的專業技術建議。
參考鏈接:
.https://en.wikipedia.org/wiki/Zero-knowledge_proof
.https://github.com/matter-labs/awesome-zero-knowledge-proofs
.https://docs.google.com/presentation/d/1gfB6WZMvM9mmDKofFibIgsyYShdf0RV_Y8TLz3k1Ls0/edit
加密貨幣的治理在促進去中心化概念方面發揮了重要作用。盡管如此,即使一群志同道合的人定期聚在一起對新提案進行投票,投票結果也會反映出不同的意見。公眾號:小七財圈加密治理比你知道的更具性.
1900/1/1 0:00:00原文作者:Todd,Ebunker?合伙人今天借著Kraken暫停?Staking?這個新聞,想做一個?Staking?的科普&分析:-本質上.
1900/1/1 0:00:00尊敬的用戶:?????????BKEX即將上線VAI,詳情如下:上線交易對:VAI/USDT??幣種類型:ERC20充值功能開放時間:已開放交易功能開放時間:2023年2月11日16:00提現功.
1900/1/1 0:00:00由于WAX(WAXP)項目正在進行技術維護,Gate.io已暫停WAX(WAXP)的充值和提現服務,交易暫不受影響,待維護完成后我們將第一時間開放充提,若有相關變動,我們將另行公告通知.
1900/1/1 0:00:00"親愛的用戶: 5A已于2023年02月10日13:30停止交易并下線以下幣種:1.幣幣交易對:KEY/USDTKEY的充幣和提幣服務將繼續為您開啟.
1900/1/1 0:00:00尊敬的XT.COM用戶:XT.COM即將上線STG,並在創新區開放STG/USDT交易對。 詳情如下: 充值時間:2023年02月11日01:00交易時間:2023年02月11日02:00提現時.
1900/1/1 0:00:00