原文作者:?JonathanW.,VincentH.,andYiSun
原文標題:?zkPairing:zkSNARKsforEllipticCurvePairings
作者
配對是許多加密協議的核心組成部分。本文我們介紹circom-pairing1,一種在Circom用于橢圓曲線配對的zkSNARK電路的概念驗證實現。
簡介
基于配對的密碼學(PBC)建立在一個叫做橢圓曲線配對的數學對象存在的橢圓曲線密碼學之上。雖然配對的定義相對復雜,但它們是零知識密碼學現代發展的許多加密對象的基礎:BLS數字簽名、KZG多項式承諾和zkSNARKs。
由于ZK生態系統中的這個關鍵角色,在zkSNARKs?中實現配對極大地擴展了可尋址密碼構造的范圍,并增加了SNARKs的反射能力。特別是,我們設想的應用程序的ZK身份,區塊鏈擴容,和可編程的SNARKs。最后的“解鎖”可能會帶來一個未來,任何人都可以在運行中自由組合和聯合不同的SNARKs。
Polymer Labs推出Optimistic ZK IBC Connections,可降低延遲與成本:6月16日消息,專注于IBC協議的基礎設施提供商Polymer Labs推出Optimistic ZK IBC Connections。該模型受到OSI模型啟發,包含應用層、傳輸層與狀態層。結合Optimistic與零知識證明驗證兩種技術可以提供具有理想特性的動態延遲:延遲的上限;當中繼者受到適當激勵時,可能會降低延遲;降低連接維護成本。[2023/6/16 21:42:32]
由于配對涉及許多復雜的橢圓曲線操作,在zkSNARK中實現它們會帶來許多挑戰。首先,對于非自然域上的橢圓曲線算法,我們必須使用zk-ECDSA6的大整數和ECC優化,但是要適應我們的曲線和BLS12-381的配對涉及到在域擴展上操作的事實。其次,Miller的計算配對算法Miller'salgorithm7允許在標準計算模型中進行許多優化,我們將這些優化移植到zkSNARK?設置中。最后,由于配對計算的復雜性,即使最終優化的電路也可能相當大,這意味著需要一些基礎設施的最佳實踐來適應?Circom?工具棧。
Covalent與Polygon zkEVM合作以支持擴展以太坊生態系統:金色財經報道,Covalent發推表示已與Polygon zkEVM合作,從3月27日開始,用戶可以通過Covalent訪問 Polygon zkEVM數據。 該合作進一步加強了Covalent作為第一個Web3數據聚合器的作用,為zkEVM區塊鏈提供完全的數據透明性。
此前報道,Covalent宣布與zkEVM解決方案Scroll建立合作伙伴關系。[2023/3/10 12:55:00]
在這一系列的文章中,我們提出了一個在BLS12-381曲線上的最優Ate配對的概念驗證Circom實現,以及一個在BLS簽名驗證中的應用實例。然后,我們概述了其他潛在的應用,如遞歸SNARK和多項式承諾驗證,我們認為這種方法很容易推廣應用。
循環配對
我們實現了循環配對circom-pairing8代碼庫,它為BLS12-3819曲線上的以下操作提供未經審核的ZK電路:
Layer2 NFT市場Mint Square已上線zKsync 2.0測試網:10月20日消息,基于以太坊Layer2 ZK Rollup的NFT市場Mint Square已上線zKsync 2.0測試網,用戶可在zkSync 2.0測試網上鑄造和交易NFT,并引入了購物車批量購買、定時拍賣這兩個新功能。[2022/10/20 16:31:13]
Tate配對是最簡單的橢圓曲線配對之一。該算法滿足雙線性特性,適用于密碼學領域,對橢圓曲線的計算和算法的正確實現起到了很好的檢驗作用。
最佳配對:最佳配對是實踐中最常用的配對。計算類似于Tate配對(使用Miller的算法,我們將在以后的文章中討論);然而,涉及的步驟較少,而每一步的算法更加復雜,最終的結果是一個較短的總計算。
BLS10簽名驗證(短公鑰):簽名驗證允許檢查一個BLS簽名.給定簽名s,生成元G,公鑰xG,和哈希hash,驗證電路轉換hash到橢圓曲線點H(m),?使用maptoG2下面的電路,然后驗證s確實是由給定的公鑰和消息生成的簽名。BLS簽名驗證涉及到評估兩個最優的Ate配對來驗證這一點e(s,G)=e(H(m),xG),e表示最佳的Ate配對
zkTube主網模擬測試正式啟動:據zkTube Labs 官方消息:“zkTube主網模擬測試” 正式啟動,這意味著主網上線進入最后測試階段。。
zkTube將于2021年8月21日15:00(UTC)更新上線,全球用戶可體驗主網模擬測試獲取收益,主網上線后,收益(ZKTT)將按照屆時公布的比例兌換成ZKT。主要參與流程見官網公告。[2021/8/20 22:27:21]
散列hash到曲線:maptoG2的BLS簽名驗證操作通過計算橢圓曲線上的點對。正在簽名的消息必須首先散列成一個數值。然后,這個散列值被轉換成橢圓曲線上的一個點;散列到曲線電路執行這種轉換。
更詳細的文件,我們的電路在這里可用。這些電路沒有經過審核,也不打算用作生產級應用的庫。
演示
為了說明我們的電路,我們在zkpairing.xyz11實現了一個演示,它允許用戶生成任何BLS簽名(以特定的輸入格式)有效性的證明。如果用戶沒有一個特定的BLS簽名他們可以指定以太坊信標鏈上的任何塊號,并且演示會將塊數據解析為適當的格式,并生成一個驗證該驗證者簽名的證明區塊。對于每個證明,我們提供所有的數據-在三個小文件中-任何人都可以用來在自己的計算機上驗證證明!
zkTube將于7月19日0時(UTC)進行測試網強制更新:據zkTube Labs最新消息:自7月13日發布測試網更新公告以來,我們檢測到仍有部分節點用戶在上一版本運行測試網絡,并未進行版本更新,不但浪費了用戶機器的耗能,還對目前更新后版本網絡運行造成一定影響。zkTube Labs經討論后決定,將于7月19日00:00時(UTC時間),不再接受并將強制阻斷舊版本網絡程序請求,避免造成用戶網絡帶寬浪費和機器無端耗能,所有參與節點用戶必須在19日發布最新版本后進行更新才可連接網絡程序請求。[2021/7/18 1:00:48]
基準
所有基準測試都運行在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
尊敬的用戶:Hotcoin將於(GMT8)2022年9月5日18:00開放CHO/USDT交易業務,2022年9月6日18:00開放CHO提幣業務,充值業務開放時間將以公告另行通知.
1900/1/1 0:00:00DearKuCoinUsers,Inordertoincreasemarketliquidityandimprovetradingexperience.
1900/1/1 0:00:00親愛的ZT用戶: 為給用戶提供更好的交易體驗,ZT會對已上線項目進行嚴格審查,根據項目下架規則,ZT決定對VLXPAD,UNQ,AART,NFTB,PRISM,DNXC,MEAN,SLC.
1900/1/1 0:00:00經Odaily星球日報不完全統計,8月29日-9月4日當周公布的海內外區塊鏈融資事件共21起,較前一周有一定減少;已披露融資總額約為3.8億美元,較前一周有小幅增加.
1900/1/1 0:00:00以太坊基金會于8月24日發布公告。他們證實,以太坊網絡最終過渡到股權證明(PoS)共識機制將是一個兩階段的事件,將于9月6日至9月20日之間進行.
1900/1/1 0:00:00金色財經報道,CoinDesk首席內容官MichaelJ.Casey表示,向股權證明的重大轉變的影響并未計入以太坊市場。眾所周知,合并是加密貨幣歷史上對區塊鏈協議最重要的改變.
1900/1/1 0:00:00