原文:Polygon
PolygonZero的任務很簡單:使用零知識證明將以太坊擴展到十億用戶,同時不影響去中心化或安全性。實現這一點就需要一種快速有效的證明系統。今天,我們很高興與大家分享Plonky2,這是零知識密碼學的一個重要里程碑。
Plonky2是一種遞歸SNARK,比現有替代方案快100倍,并且與以太坊原生兼容。它結合了PLONK和FRI以獲得最好的STARK,具有快速證明和無可信設置,以及最好的SNARK,支持遞歸和以太坊上的低驗證成本。
Plonky2代表了Polygon持續致力于構建以太坊未來的最新一步,我們很自豪能與以太坊社區分享我們的工作。
Fahrenheit Holdings希望購買Celsius資產:金色財經報道,商業咨詢服務公司 Fahrenheit Holdings 希望購買 Celsius 資產,Fahrenheit Holdings表示,唯一的目標是增加這些資產,使利益相關者變得完整。[2023/4/23 14:22:09]
遞歸
如果零知識證明有一種超能力,那就是遞歸。SNARK可以驗證任意計算,并且由于驗證SNARK是一種計算,因此SNARK也可以用于驗證其他SNARK。
要了解它為何有用,假設我們要證明一批1,000筆交易是有效的。一次生成一個證明來逐個驗證1,000筆交易將是昂貴且耗時的。
馬斯克:“星艦”1-2個月內可準備再次發射:金色財經報道,馬斯克在推特發文稱,看起來SpaceX可以在1-2個月內準備再次發射“星艦”。他還解釋說,3個月前,SpaceX團隊開始建造一個準備放在發射架下的巨大的水冷鋼板,但它沒有及時做好準備,根據靜態火力測試數據,團隊誤認為發射臺下的原始底座可以撐過“星艦”首次試飛。[2023/4/22 14:19:59]
相反,我們可以使用1,000臺機器并行生成1,000個證明,每個交易一個。接下來,我們可以獲取這些交易證明,并通過生成一層遞歸證明來遞歸聚合它們,每個證明都驗證兩個交易證明。我們重復這個過程,直到我們得到一個可以驗證1000筆交易的證明。
數據:過去30天CryptoPunks系列NFT交易額達2.07億美元:金色財經報道,據Dune Analytics數據顯示,過去30天CryptoPunks系列NFT交易額達2.07億美元。
此外,Bored Ape Yacht Club系列NFT同期的交易額約為7540萬美元,MAYC系列NFT交易額約為7580萬美元,Azuki系列NFT交易額約為6210萬美元。[2023/4/12 13:59:54]
遞歸方法更快,資源密集度更低,并且可以更加去中心化。
效率
遞歸證明對于區塊鏈的可擴展性至關重要。當我們在2019年啟動Mir時,在一臺快速計算機上需要兩分鐘才能生成一個遞歸證明。2020年為以太坊帶來了證明時間為60秒的遞歸證明,Halo的發明提供了更快的遞歸證明,但它不兼容以太坊。
Bitfinex CTO:薩爾瓦多比特幣債券將在6月至9月間推出:金色財經報道,Bitfinex首席技術官表示,薩爾瓦多比特幣債券將在6月至9月間推出。[2023/3/23 13:21:58]
2021年,我們有了一個大膽的目標:在以太坊上實現不到1秒的遞歸證明。我們意識到,STARKS中使用的多項式承諾方案FRI可以為遞歸SNARK提供顯著的性能改進。在當時,這并不明顯。Fractal是遞歸FRI的唯一現有實現,大約需要10分鐘才能生成證明。
然而,FRI有一些令人興奮的特性。它允許我們使用64位字段,我們的團隊發現了Goldilocks字段,它的模數可以在現代CPU上實現極其高效的字段運算。當與PLONK結合使用時,FRI允許我們編寫具有更多線程的自定義門關,因此我們可以編寫針對高效遞歸進行優化的回路。
這種數學洞察力、零知識密碼學方面的深厚專業知識和驚人的低級優化相結合,使我們能夠取得重大突破。Plonky2的遞歸證明在MacbookPro上僅需170毫秒就能完成,比現有替代方案提高了100倍。
證明大小
Plonky2還允許我們加快不涉及遞歸的證明的證明時間。使用FRI,您可以擁有大型的快速證明,或者您可以擁有小型的慢速證明。使用FRI的構造,例如Starkware在其ZKRollup中使用的STARK,必須進行選擇;他們不能擁有足夠快的證明時間和足夠小的證明大小以在以太坊上進行合理驗證。
Plonky2消除了這種權衡。在證明時間很重要的情況下,我們可以優化最快的證明。當這些證明被遞歸聚合時,我們只剩下一個可以在小回路中驗證的證明。此時,我們可以優化證明大小。我們可以將證明大小縮小到45kb,只需20秒的證明時間,相對于Starkware,大大降低了成本。
兼容性
令人興奮的是,Plonky2原生兼容以太坊。Plonky2只需要keccak-256來驗證證明。我們估計,在以太坊上驗證plonky2大小優化證明的gas成本約為100萬gas。
然而,這個成本主要是在以太坊上發布證明的CALLDATA成本。如果CALLDATA在EIP-4488中重新定價,plonky2證明的驗證成本將降至170-200kgas之間,這可能使其不僅是最快的證明系統,而且是在以太坊上驗證的最便宜的系統。
結論
去年,Polygon承諾支持零知識擴展。這代表了一個重要的轉變,因為Polygon從提供當前的基本解決方案轉向構建以太坊擴展的未來。Plonky2是這一旅程的重要一步,也是整個空間的重大突破。
ZKL2受益于大量炒作,但當前的解決方案依賴于低效且限制可擴展性的密碼原語。最終,L2將在吞吐量和成本上展開競爭,而Plonky2為Polygon生態系統提供了構建性能最高和可擴展的L2的機會。
DeFi之道訊,1月11日,Web3.0領域的索引分發協議RSS3發布其去中心化網絡與標準協議白皮書.
1900/1/1 0:00:00尊敬的BIKA用戶: 強行平倉 BIKA使用標記價格來避免不必要的強行平倉和打擊市場操縱。標記價格和最新價格有什么區別?為避免在高波動時期出現峰值和不必要強行平倉,BIKA合約使用最新價格和標記.
1900/1/1 0:00:00尊敬的用戶:?????? ??? BKEXGlobal即將上線HIVE,并上線HIVE/USDT聚合交易對.
1900/1/1 0:00:00尊敬的ZDCoin用戶:ZDCoin中級布道者招募規則如下:?1、鎖倉50000~99999?ZD,期限為半年或一年,即可成為中級布道者.
1900/1/1 0:00:00關於Gate.ioStartup免費空投計劃爲回饋平臺用戶,Gate.io上線“免費空投計劃”,在Startup區不定期進行區塊鏈項目的免費空投計劃.
1900/1/1 0:00:00尊敬的用戶: MEXC將支持SafeMoon(SAFEMOON)合約升級和代幣置換為SafeMoon(SFM).
1900/1/1 0:00:00