作者
配對是許多加密協議的核心組成部分。本文我們介紹circom-pairing1,一種在Circom用于橢圓曲線配對的zkSNARK電路的概念驗證實現。
簡介
基于配對的密碼學(PBC)建立在一個叫做橢圓曲線配對的數學對象存在的橢圓曲線密碼學之上。雖然配對的定義相對復雜,但它們是零知識密碼學現代發展的許多加密對象的基礎:BLS數字簽名、KZG多項式承諾和zkSNARKs。
由于ZK生態系統中的這個關鍵角色,在zkSNARKs中實現配對極大地擴展了可尋址密碼構造的范圍,并增加了SNARKs的反射能力。特別是,我們設想的應用程序的ZK身份,區塊鏈擴容,和可編程的SNARKs。最后的“解鎖”可能會帶來一個未來,任何人都可以在運行中自由組合和聯合不同的SNARKs。
由于配對涉及許多復雜的橢圓曲線操作,在zkSNARK中實現它們會帶來許多挑戰。首先,對于非自然域上的橢圓曲線算法,我們必須使用zk-ECDSA6的大整數和ECC優化,但是要適應我們的曲線和BLS12-381的配對涉及到在域擴展上操作的事實。其次,Miller的計算配對算法Miller'salgorithm7允許在標準計算模型中進行許多優化,我們將這些優化移植到zkSNARK設置中。最后,由于配對計算的復雜性,即使最終優化的電路也可能相當大,這意味著需要一些基礎設施的最佳實踐來適應Circom工具棧。
Kyber Network在zkSync Era上部署KyberSwap聚合器和流動性協議:6月21日消息,Kyber Network宣布,已在zkSync Era上部署KyberSwap聚合器和流動性協議,集成Mute、Switch、SyncSwap、Velocore等DEX。[2023/6/22 21:52:57]
在這一系列的文章中,我們提出了一個在BLS12-381曲線上的最優Ate配對的概念驗證Circom實現,以及一個在BLS簽名驗證中的應用實例。然后,我們概述了其他潛在的應用,如遞歸SNARK和多項式承諾驗證,我們認為這種方法很容易推廣應用。
循環配對
我們實現了循環配對circom-pairing8代碼庫,它為BLS12-3819曲線上的以下操作提供未經審核的ZK電路:
Tate配對是最簡單的橢圓曲線配對之一。該算法滿足雙線性特性,適用于密碼學領域,對橢圓曲線的計算和算法的正確實現起到了很好的檢驗作用。
數據:已有超10萬地址將以太坊跨鏈至zkSync Era:3月27日消息,據Web3知識圖譜協議0xScope監測,自zkSync Era主網開放以來,已有超10萬地址將以太坊跨鏈至zkSync Era,截止目前跨鏈至zkSync Era的以太坊數量約為1.59萬枚,價值約2790萬美元。同時,zkSync Lite日活隨著zkSync Era主網開放而大幅回落。[2023/3/27 13:29:17]
最佳配對:最佳配對是實踐中最常用的配對。計算類似于Tate配對(使用Miller的算法,我們將在以后的文章中討論);然而,涉及的步驟較少,而每一步的算法更加復雜,最終的結果是一個較短的總計算。
BLS10簽名驗證(短公鑰):簽名驗證允許檢查一個BLS簽名.給定簽名s,生成元G,公鑰xG,和哈希hash,驗證電路轉換hash到橢圓曲線點H(m),使用maptoG2下面的電路,然后驗證s確實是由給定的公鑰和消息生成的簽名。BLS簽名驗證涉及到評估兩個最優的Ate配對來驗證這一點e(s,G)=e(H(m),xG),e表示最佳的Ate配對
OKX Web3錢包即將率先接入zkSync Era (zkSync 2.0):3月22日消息,為支持新公鏈發展和促進多鏈生態繁榮,OKX Web3錢包將于zkSync Era (zkSync 2.0)主網正式上線后24小時內,率先完成接入,屆時,用戶可使用App和插件Web3錢包管理自己在zkSync Era上的資產。
據了解,OKX Wallet是異構多鏈錢包,支持包含Arbitrum、Fantom、Avalanche、Optimistic等50+公鏈。同時內置DEX、NFT市場、賺幣、Dapp探索5大一站式Web3板塊,能夠滿足用戶一站式Web3需求。[2023/3/22 13:19:53]
散列hash到曲線:maptoG2的BLS簽名驗證操作通過計算橢圓曲線上的點對。正在簽名的消息必須首先散列成一個數值。然后,這個散列值被轉換成橢圓曲線上的一個點;散列到曲線電路執行這種轉換。
更詳細的文件,我們的電路在這里可用。這些電路沒有經過審核,也不打算用作生產級應用的庫。
ZKSwap過去24小時捕獲21萬美金手續費,名列所有DeFi項目第6名:過去24小時所有DeFi項目捕獲手續費排名前五的為:Uniswap V2(309萬美元)、Compound(122萬美元)、SushiSwap(69萬美元)、Aave(39萬美元)、Balancer(26萬美元)。 ZKSwap在24小時則捕獲了21萬美金手續費,在所有DeFi項目中排名第六。第七位和第八位則為Bancor Network(15萬美元)和Ren Protocol(2.19萬美元)。zkswap.info瀏覽器數據顯示,截至發稿,ZKSwap流動性已達13.91億美元,L2總資產達到15.3億美元,另據Debank數據,目前ZKSwap鎖倉量以及流動性均已接近Uniswap的30%。(Cryptofees)[2021/3/20 19:03:12]
演示
為了說明我們的電路,我們在zkpairing.xyz11實現了一個演示,它允許用戶生成任何BLS簽名(以特定的輸入格式)有效性的證明。如果用戶沒有一個特定的BLS簽名他們可以指定以太坊信標鏈上的任何塊號,并且演示會將塊數據解析為適當的格式,并生成一個驗證該驗證者簽名的證明區塊。對于每個證明,我們提供所有的數據-在三個小文件中-任何人都可以用來在自己的計算機上驗證證明!
幣贏CoinW支持ZKSwap(ZKS)空投ZKS:據ZKS官方消息,ZKSwap將于2021年2月25日10:00(UTC+8)對所有在Layer1(所有交易所和獨立錢包地址)和Layer2以及鎖倉合約里面持有ZKS的用戶進行1:1的空投。
據悉,本次空投將只針對目前已經流通的8000萬個代幣進行空投。天使投資人的代幣會和空投的8000萬個代幣,進行同步釋放,天使投資人在2月25日解鎖的大部分代幣,會參與長期鎖倉和Staking計劃,2月25日也將同步解鎖顧問團隊0.33%的代幣。
Uniswap和ZKSwap 關于ZKS/USDT的流動性,也會臨時移除,并在空投結束的72小時內,按照大于等于移除前50%的價格,重新添加1200萬美金的流動性(重新添加流動性的時候,如果市場價格高于50%的移除前價格,將按照市場價格添加流動性)。詳情點擊鏈接。[2021/2/22 17:40:04]
基準
所有基準測試都運行在32核3.1GHz、256GRAM、1T硬盤和400G交換機(AWSr5.8xlarge實例)上。
運行大型電路
請注意,驗證和Tate配對是非常大的電路,因此它們需要特殊的硬件和設置來運行。特別是,必須使用C++生成見證服務器,使用rapidsnark進行證明,使用補丁版本的Node.js而不使用垃圾收集生成密鑰。所有這些都必須在具有大容量內存的機器上完成;我們的設置工作流程在《大電路最佳實踐》文檔中有詳細說明。
我們能用zkPairing做什么?
因為配對是許多加密協議的核心組成部分,所以用于配對計算的zkSNARKs允許我們將以下高級原語放入SNARK中:
BLS簽名驗證:Boneh-Lynn-Shacham(BLS)數字簽名是一種基于橢圓曲線配對的簽名方案。由于能夠使用BLS有效地計算聚合簽名和閾值簽名,它目前被用于區塊鏈,如Etherum2.0、ZCash和Dfinity。驗證BLS簽名涉及到一個配對檢查,檢查兩個橢圓曲線配對是否相等,因此通過zkPairing直接啟用。這解鎖了潛在的可伸縮應用程序,比如輕型客戶機和橋接的簽名聚合。
遞歸SNARK驗證:因為Groth16證明驗證只涉及配對檢查,所以SNARK-ing配對允許SNARK-ing整個驗證算法,稱為遞歸驗證。這使我們能夠構建一個zkSNARK的zkSNARK的...無限廣告,使開發人員能夠構建不同的SNARK證明,而不是構建一個單一的大型SNARK和大大增加可能的SNARK的復雜性。我們正在調整我們的電路,以遞歸Groth16驗證BN254,并希望在不久的將來發布一個概念證明。
KZG多項式承諾驗證:KZG多項式承諾是PlonK的基礎,PlonK是具有通用可信設置的新一代zkSNARK之一。因為驗證KZG承諾涉及到一個配對檢查,zkSNARK-ing配對使我們能夠驗證任何建立在SNARK中的KZG承諾之上的東西,包括PlonK驗證本身!
很快就會看到第2部分討論了zkPairing的實現技術!
致謝
該項目是在ZKxZKGitcoin基金的支持下,在0xPARC的ZK身份工作組期間構建的。
我們借鑒并分享了很多與circom-ecdsa相關的技術,特別是在大整數和橢圓曲線算法的優化方面。例如,我們使用xJsnark的大整數乘法優化。
我們也從最初的創作者JordiBaylina和snarkjs的研究中獲益匪淺。他教了我們很多關于circom/snarkJS工具棧的知識,并分享了很多關于如何有效地構建大型ZK電路的見解。
參考
https://github.com/yi-sun/circom-pairing
https://en.wikipedia.org/wiki/Pairing-based_cryptography
https://medium.com/@VitalikButerin/exploring-elliptic-curve-pairings-c73c1864e627
https://en.wikipedia.org/wiki/Elliptic-curve_cryptography
https://0xparc.org/blog/zk-id-2
https://0xparc.org/blog/zk-ecdsa-2
https://crypto.stanford.edu/pbc/notes/ep/miller.html
https://github.com/yi-sun/circom-pairing
https://hackmd.io/@benjaminion/bls12-381
https://datatracker.ietf.org/doc/html/draft-irtf-cfrg-bls-signature-04
https://zkpairing.xyz/
https://hackmd.io/V-7Aal05Tiy-ozmzTGBYPA?view
各位朋友,歡迎來到SignalPlus每日晨報。SignalPlus晨報每天為各位更新宏觀市場信息,并分享我們對宏觀趨勢的觀察和看法。歡迎追蹤訂閱,與我們一起關注最新的市場動態.
1900/1/1 0:00:00概覽:Crypto頭部量化機構分布 概覽:Crypto頭部量化機構梳理 上期分享復盤 Wintermute–“跌落神壇”的Defi頭部做市巨頭1.背景:Defi起家.
1900/1/1 0:00:00Bitfinex宣布集成Digivault我們很高興地宣布,Bitfinex已完成與納斯達克上市公司EQONEXGroup旗下公司Digivault的整合.
1900/1/1 0:00:00概覽:Crypto頭部量化機構梳理 簡介與概覽 概覽:使用小眾Ocaml語言的,做MarketMaking&Arbitrage的proptradingfirm;背景:JaneStreet.
1900/1/1 0:00:00全球審計和咨詢公司畢馬威(KPMG)發布了一份報告,談到了Crypto投資的下降。報告中的重點是全球范圍對于Crypto的投資都在貶損。并且該報告明確指出,今年剩余時間投資將放緩.
1900/1/1 0:00:00區塊鏈瀏覽器TRONSCAN最新數據顯示,截至12月1日,波場TRON賬戶總數達到125,148,228,正式突破1.25億.
1900/1/1 0:00:00