我們要感謝PolygonZero、Consensysgnark、PadoLabs和DelphinusLab團隊對本篇文章的寶貴建議和反饋。
零知識證明開發框架評測平臺「萬神殿Pantheon」?
過去幾個月,我們投入了大量時間和精力,開發了利用zk-SNARK簡潔證明構建的前沿基礎設施。這個下一代創新平臺使開發者能夠構建前所未有的區塊鏈應用新范例。
在開發工作中,我們測試并使用了多種零知識證明(ZKP)開發框架。雖然這段旅程收獲頗豐,但我們也確實意識到,當新的開發者試圖找到最適合其特定用例和性能要求的框架時,多種多樣的ZKP框架通常會給他們帶來挑戰。考慮到這一痛點,我們認為需要一個能夠提供全面性能測試結果的社區評估平臺,這將極大地促進這些新應用的開發。?
為了滿足這一需求,我們推出了零知識證明開發框架評測平臺「萬神殿Pantheon」這一公益社區倡議。倡議的第一步將鼓勵社區分享各種ZKP框架的可復現性能測試結果。我們的最終目標是共同協作創建并維護一個廣受認可的測試平臺,評估低級電路開發框架、高級zkVM和編譯器,甚至硬件加速提供商。我們希望這一舉措能夠讓開發者們在選用框架時能有更多性能比較的參考,從而加快ZKP的推廣。同時,我們希望通過提供一組普遍可參考的性能測試結果,促進ZKP框架本身的升級和迭代。我們將大力投入這項計劃,并邀請所有志同道合的社區成員加入我們,共同為這項工作做出貢獻!
第一步:使用SHA-256對電路框架進行性能測試
在這篇文章中,我們邁出了構建ZKPPantheon的第一步,在一系列低級電路開發框架中使用SHA-256提供一組可復現的性能測試結果。雖然我們承認其他性能測試粒度和原語或許也是可行的,但我們選擇SHA-256是因為它適用于廣泛的ZKP用例,包括區塊鏈系統、數字簽名、zkDID等。另外值得一提的是,我們在自己的系統中也使用了SHA-256,所以這對我們來說也很方便!
opBNB測試網將于8月14日進行PreContract硬分叉:8月10日消息,BNB Chain宣布,opBNB測試網將于區塊高度5114294進行PreContract硬分叉,預計時間為北京時間8月14日14:00。opBNB全節點運行者需在指定時間之前完成升級。此次升級包括將預部署合約WBNB名稱設置為Wrapped BNB,符號設置為WBNB。[2023/8/10 16:17:52]
我們的性能測試評估了SHA-256在各種zk-SNARK和zk-STARK電路開發框架上的性能。通過比較,我們力求為開發者提供關于每個框架的效率和實用性的見解。我們的目標是,希望本次性能測試結果能夠為開發者在選擇最佳框架時提供參考,使之做出明智的決定。
證明系統
近年來,我們觀察到零知識證明系統激增。跟上該領域所有激動人心的進步是具有挑戰性的,我們根據成熟度和開發者采用情況精心挑選了以下證明系統作為測試對象。我們的目標是提供不同前端/后端組合的代表性樣本。
Circom?+?snarkjs?/?rapidsnark:?
Circom是一種流行的DSL,用于編寫電路和生成R1CS約束,而snarkjs能夠為Circom生成Groth16或Plonk證明。Rapidsnark也是Circom的證明器,它生成Groth16證明,并且由于使用了ADX擴展,它通常比snarkjs快得多,并盡可能并行化證明生成。
gnark:?
gnark是來自Consensys的綜合Golang框架,支持Groth16、Plonk和許多更高級的功能。
Arkworks:?
Arkworks是一個用于zk-SNARKs的綜合Rust框架。
Halo2(KZG):
香港虛擬銀行Mox Bank疑凍結部分加密交易賬戶,香港金管局已督促處理:7月11日消息,香港虛擬銀行Mox Bank多位用戶反映旗下銀行賬戶在短時間內被數度凍結,有用戶分析此事或與近日Mox Bank系統更新有關,其系統對部分交易及客戶較敏感,尤其是買賣加密貨幣的賬戶。對此香港金管局回應稱已知悉該事件并要求Mox Bank做出適當跟進,確保客戶關注得到妥善處理。(香港經濟日報)[2023/7/11 10:47:33]
Halo2是Zcash與Plonk的zk-SNARK實現。它配備了高度靈活的Plonkish算術,支持許多有用的原語,例如自定義網關和查找表。我們使用具有以太坊基金會和Scroll支持的KZG的Halo2分叉。
Plonky2:?
Plonky2是基于來自PolygonZero的PLONK和FRI技術的SNARK實現。Plonky2使用小的Goldilocks字段并支持高效的遞歸。在我們的性能測試中,我們以100位推測的安全性為目標,并使用為性能測試工作產生最佳證明時間的參數。具體來說,我們使用了28Merkle查詢、8的放大系數和16位工作量證明挑戰。此外,我們設置num_of_wires=60和num_routed_wires=60
Starky:?
Starky是PolygonZero的高性能STARK框架。在我們的性能測試中,我們以100位推測的安全性為目標,并使用產生最佳證明時間的參數。具體來說,我們使用了90Merkle查詢、2倍放大系數和10位工作量證明挑戰。
下表總結了上述框架以及我們性能測試中使用的相關配置。這個列表絕不是詳盡的,我們還將在未來研究許多最先進的框架/技術。
請注意,這些性能測試結果僅適用于電路開發框架。我們計劃在未來發布一篇單獨的文章,對不同的zkVM和IR編譯器框架進行性能測試。
Arbitrum已完成對DAO的初始ARB分配,Treasure收到800萬枚系最大接收方:4月25日消息,Nansen數據顯示,Arbitrum對其生態DAO的初始ARB分配發放已全部完成,最高接收方包括:Treasure(800萬枚ARB)、SushiSwap(約425萬枚ARB)、Dopex(約387萬枚ARB)、RadiantCapital(約335萬枚ARB)、Balancer(309萬枚ARB)等。此前今日早些時候消息,Arbitrum已開始為生態中的DAO全面發放初始ARB分配,共計約1.12億枚。[2023/4/25 14:25:24]
性能評測方法論
為了對這些不同的證明系統進行性能測試,我們計算了N字節數據的SHA-256哈希值,其中我們對N=64、128、...、64K進行了實驗。可以在此存儲庫中找到性能代碼和SHA-256電路配置。
此外,我們使用以下性能指標對每個系統進行了性能測試:
證明生成時間
證明生成期間的內存使用峰值
證明生成期間的平均CPU使用率百分比。
請注意,我們正在對證明大小和證明驗證成本做一些「隨意」的假設,因為這些方面可以通過在上鏈之前與Groth16或KZG組合來減輕。
機器
我們在兩臺不同的機器上進行了性能測試:
Linux服務器:20核@2.3GHz,384GB內存
MacbookM1Pro:10核@3.2Ghz,16GB內存
Linux服務器用于模擬CPU核數多、內存充裕的場景。而通常用于研發的MacbookM1Pro擁有更強大的CPU,但內核較少。
美國聯邦當局查封與破產的FTX有關的額外資產:金色財經報道,美國聯邦當局周五表示,查封了與FTX有關的額外資產,繼續努力控制與這家倒閉加密貨幣交易所有關的數億美元。美國司法部在向特拉華州威爾明頓的美國破產法院提交的一份文件中表示,已從Moonstone Bank和Silvergate Capital Corp.的賬戶中查封了5,600萬美元和8,700萬歐元(約合9,450萬美元)。[2023/1/22 11:25:46]
我們啟用了可選的多線程,但我們沒有在此性能測試中使用GPU加速。我們計劃在未來進行GPU性能測試。
性能評測結果?
NumberofConstraints約束數量
在我們繼續討論詳細的性能測試結果之前,首先通過查看每個證明系統中的約束數量來了解SHA-256的復雜性是很有用的。重要的是要注意不能直接比較不同算術方案中的約束數量
下面的結果對應64KB的原像尺寸。雖然結果可能因其他原像尺寸而異,但它們可以粗略地線性縮放。
Circom、gnark、Arkworks都使用相同的R1CS算法,計算64KBSHA-256的R1CS約束數量大致在30M到45M之間。Circom、gnark和Arkworks之間的差異可能是由于配置差異造成的。
Halo2和Plonky2都使用Plonkish算術,其中行數范圍從2^22到2^23。由于使用查找表,Halo2的SHA-256實現效率比Plonky2的高得多。
Starky使用AIR算法,其中執行跟蹤表需要2^16個轉換步驟。
ProofGenerationTime證明生成時間
SWIFT確認正在與Capgemini合作進行CBDC相關跨境支付測試:5月19日消息,根據SWIFT 5月19日發布的一份關于其與國際清算銀行(BIS)進行試驗的報告,全球十分之九的央行正在探索央行數字貨幣(CBDC)。這些CBDC涉及的經濟體占全球GDP 90%以上。
報告指出,越來越多的央行對CBDC的調查已進入高級階段,有9個國家已經在使用自己的數字貨幣,例如尼日利亞和巴哈馬。
SWIFT首席創新官Thomas Zschach表示:“如果我們要充分發揮它們的潛力,促進世界各地正在開發的不同CBDC之間的互操作性和互聯性將是至關重要的。如今,隨著眾多央行基于不同的技術、標準和協議開發自己的數字貨幣,全球CBDC生態系統面臨分裂的風險。”
同時,SWIFT創新主管Nick Kerigan表示,如果不采取補救措施,這種分裂可能會導致世界各地形成“數字孤島”,不同的系統和不同的CBDC需要能夠有效地合作,否則將妨礙企業和消費者使用CBDC進行無障礙跨境支付的能力。
通過使用基于DLT的CBDC網絡和經過驗證的實時總結算(RTGS)系統,SWIFT在2021年證明,它可以有效地安排兩個實體之間的跨境交易。
目前,SWIFT正在與Capgemini合作,研究如何將全球不斷增長的眾多基于國內的CBDC網絡互聯起來,以使跨境支付使用更順暢。(Finbold)[2022/5/20 3:29:08]
使用Linux服務器測試了SHA-256的每個框架在各種原圖像尺寸上的證明生成時間。我們可以得到以下發現:
對于SHA-256,Groth16框架生成證明的速度比Plonk框架快。這是因為SHA-256主要由位運算組成,其中線值為0或1。對于Groth16,這減少了從橢圓曲線標量乘法到橢圓曲線點加法的大部分計算。但是,連線值并不直接用于Plonk的計算,因此SHA-256中的特殊連線結構不會減少Plonk框架中所需的計算量
在所有Groth16框架中,gnark和rapidsnark比Arkworks和snarkjs快5到10倍。這要歸功于它們利用多個內核并行化生成證明的卓越能力。Gnark比rapidsnark快25%。
對于Plonk框架,當使用>=4KB的較大原像尺寸時,Plonky2的SHA-256比Halo2的慢50%。這是因為Halo2的實現主要使用查找表來加速按位運算,導致行數比Plonky2少2倍。但是,如果我們比較具有相同行數的Plonky2和Halo2,Plonky2比Halo2快50%。如果我們在Plonky2中使用查找表實現SHA-256,我們應該期望Plonky2比Halo2更快,盡管Plonky2的證明尺寸更大。
另一方面,當輸入原像尺寸較小時,由于查找表的固定設置成本占大部分約束,Halo2比Plonky2慢。然而,隨著原像的增加,Halo2的性能變得更具競爭力,對于高達2KB的原像大小,其證明生成時間保持不變,如圖所示,其幾乎呈線性擴展
正如預期的那樣,Starky的證明生成時間比任何SNARK框架都短得多(5倍-50倍),但這是以更大的證明大小為代價的。
另外需要注意的是,即使電路大小與原像大小成線性關系,由于O(nlogn)FFT,對于SNARKs的證明生成也是呈超線性增長的。
圖1
我們還在MacbookM1Pro上進行了證明生成時間性能測試,如所示。但是,需要注意的是,由于缺乏對arm64架構的支持,rapidsnark未包含在該性能測試中。為了在arm64上使用snarkjs,我們必須使用webassembly生成見證,這比Linux服務器上使用的C++見證生成要慢。
在MacbookM1Pro上運行性能測試時還有幾個額外的觀察結果:
除了Starky之外,所有SNARK框架在原像尺寸變大時都會遇到內存不足(OOM)錯誤或使用交換內存現象。具體來說,Groth16框架在原像尺寸>=8KB時就開始使用交換內存,而gnark在原像尺寸>=64KB時出現內存不足。當原像尺寸>=32KB時,Halo2遇到了內存限制。當原像尺寸>=8KB時,Plonky2開始使用交換內存。
基于FRI的框架在MacbookM1Pro上比在Linux服務器上快大約60%,而其他框架在兩臺機器上面的證明時間相似。因此即使在Plonky2中沒有使用查找表,它在MacbookM1Pro上實現了與Halo2幾乎相同的證明時間。主要原因是MacbookM1Pro擁有更強大的CPU,但內核更少。FRI主要進行哈希運算,對CPU時鐘周期比較敏感,但并行性不如KZG或Groth16。
圖2
PeakMemoryUsage內存使用峰值
和分別顯示了在LinuxServer和MacbookM1Pro上生成證明期間的內存使用峰值。根據這些性能測試結果可以得出以下觀察結果:
在所有SNARK框架中,rapidsnark是內存效率最高的。我們還看到,由于查找表的固定設置成本,當原像尺寸較小時,Halo2使用更多內存,但當原像尺寸較大時,整體消耗的內存較少。
Starky的內存效率比SNARK框架高10倍以上。部分原因是它使用了更少的行。
應該注意的是,由于使用交換內存,原像尺寸變大,因此MacbookM1Pro上的內存使用量峰值保持相對平穩。
圖3
圖4
CPUUtilizationCPU利用率
我們通過測量SHA-256在4KB原像輸入的證明生成期間的平均CPU利用率來評估每個證明系統的并行化程度。下表顯示了LinuxServer和MacbookM1Pro上的平均CPU利用率(括號中為每個內核的平均利用率)。
主要觀察結果如下:
Gnark和rapidsnark在Linux服務器上表現出最高的CPU利用率,表明它們能夠有效地使用多核且并行化生成證明。Halo2也展現了良好的并行化性能。
大多數框架在Linux服務器上的CPU利用率是在MacbookProM1的2倍,只有snarkjs例外。
盡管最初預計基于FRI的框架可能難以有效地使用多核,但它們在我們的性能測試中的表現并不比某些Groth16或KZG框架差。在具有更多內核的機器上,CPU利用率是否會有差異還有待觀察。?
結論及未來研究
這篇文章全面比較了SHA-256在各種zk-SNARK和zk-STARK開發框架上的性能測試結果。通過比較,我們深入了解了每種框架的效率和實用性,以期可以幫助需要為SHA-256操作生成簡潔證明的開發者。我們發現Groth16框架在生成證明方面比Plonk框架更快。Plonkish算術化中的查找表在使用較大的原像尺寸時顯著減少了SHA-256的約束和證明時間。此外,gnark和rapidsnark展示了利用多核以并行化運作的出色能力。另一方面,Starky的證明生成時間要短得多,但代價是證明大小要大得多。在內存效率方面,rapidsnark和Starky優于其他框架。
作為構建零知識證明評測平臺「萬神殿Pantheon」的第一步,我們承認本次性能測試結果遠不足以成為最終我們希望構建的一個綜合測試平臺。我們歡迎并樂于接受反饋和批評,并邀請所有人為這項倡議做出貢獻,以便開發者更容易、低門檻地使用零知識證明。我們也愿意為個人獨立貢獻者提供資助,以支付大規模性能測試的計算資源成本。我們希望可以共同提高ZKP的效率和實用性,更為廣泛地造福社區。
最后,我們要感謝PolygonZero、Consensysgnark、PadoLabs以及DelphinusLab團隊,感謝他們對性能測試結果的寶貴審查和反饋。
Filecoin網絡即將迎來v18Hygge升級,此次升級將為我們帶來萬眾期盼的FVM,FVM能夠為Filecoin帶來可編程性,開發人員能夠通過FEVM在Filecoin主網上部署EVM合約.
1900/1/1 0:00:003月16日晚,Arbitrum基金會宣布發布其治理代幣ARB,開啟空投查詢,正式公布了其代幣經濟模型.
1900/1/1 0:00:00MarsBitCryptoDaily2023年3月16日 一、?今日要聞 知情人士:Signature買家必須同意放棄銀行所有加密業務據路透社援引知情人士報道.
1900/1/1 0:00:00Renegade結合了多方計算和零知識證明,其中多方計算用于撮合交易,零知識證明用來結算撮合后的交易.
1900/1/1 0:00:00背景 最近,眾多項目官推齊發“Monday”的活動引發了大家對于Arbitrum空投的猜想,雖然是營銷活動引發短期情緒,但Aribitrum仍有18億美元TVL位列L2第一的堅實基本面.
1900/1/1 0:00:00Balaji和Medlock對賭比特幣價格將沖上100萬美元?超級通脹即將到來?我們來聊聊比特幣什么情況下會在90天內沖上100萬美元?什么是超級通脹?比特幣沖上100萬美元的情況會不會出現?相.
1900/1/1 0:00:00