原標題|Plonky2入門指南———關于全世界最快的ZK技術
PolygonZero的宗旨很簡單:在不影響去中心化或安全性的前提下,使用零知識證明將以太坊擴展到十億用戶。實現這一點需要快速有效的驗證系統。今天,我們很高興與大家分享Plonky2——零知識密碼學的一個重要里程碑。
Plonky2是一種遞歸zk-SNARK(Zero-KnowledgeSuccinctNon-InteractiveArgumentofKnowledge,?零知識簡潔的非交互式知識論證),比現有其他方案快100倍,并且與以太坊原生兼容。它結合了PLONK和FRI以獲得最好的STARK(Zero-KnowledgeScalableTransparentArgumentofKnowledge,零知識可擴展的透明知識論證),具有快速證明和無可信設置,以及最好的SNARK,支持遞歸和以太坊上的低驗證成本。
美聯儲威廉姆斯:加息25個基點似乎是合理的力度:金色財經報道,美聯儲威廉姆斯表示,終端利率在5-5.25%是合理的觀點;加息25個基點似乎是合理的力度;如果情況有變,美聯儲加息幅度仍可能大于25個基點;美聯儲仍需付出努力來降低通脹水平;圍繞通脹率前景仍存在諸多的不確定性。[2023/2/9 11:55:34]
Plonky2代表了Polygon持續致力于構建以太坊未來的最新一步,我們很自豪能與以太坊社區分享我們的工作。
遞歸
如果零知識證明有超能力,那就是遞歸。SNARK可以驗證任意計算,并且由于驗證SNARK是一種計算,因此SNARK可以驗證其他SNARK。
Auros Global已將總計47萬枚QRDO轉移至CEX:12月1日消息,據派盾PeckShield數據監測顯示,標記為加密交易公司Auros Global的地址已將總計47萬枚QRDO轉移至幾家中心化交易所,目前其地址上還持有約200萬枚QRDO(約26.2萬美元)。
此前報道,加密交易公司Auros Global已逾期支付2400WETH(約300萬美元)的DeFi貸款本金。[2022/12/1 21:15:07]
要了解它為何有用,我們可以來做一個假設。假設:我們要證明一批總計1,000筆的交易是有效的,而且一次生成一個證明來依次驗證1,000筆交易將是昂貴且耗時的。
Yuga Labs為其即將推出的Otherside發布新的預告片:金色財經報道,Bored Ape Yacht Club的創建者Yuga Labs周四晚上為其即將推出的在線游戲 Otherside 發布了一個新的預告片,這暗示了一個陷入困境的背景故事。這段兩分鐘的短片在一個寺廟般的空間中打開,里面充滿了Kodas的雕像--Yuga創造的神秘生物,生活在Otherside。藍光在這些圖像周圍涓涓細流,但隨后視頻放大顯示不祥的紅光圍繞并與藍色混合。出現了一個背著劍的Koda。它在瓶子中收集了一些藍光。
關于Kodas將在元宇宙中扮演的角色也知之甚少。一些 Otherdeed 土地 NFT 在其地段上包含 Koda,這些 NFT 的售價往往比非 Koda 同行高得多。[2022/9/3 13:06:17]
相反,我們可以使用1,000臺機器并行生成1,000個證明,每筆交易對應一個證明。接下來,我們可以獲取這些交易證明,并通過生成一層遞歸證明來遞歸聚合它們,每個證明都驗證兩個交易證明。我們重復這個過程,直到我們得到一個可以驗證1000筆交易的證明。
摩根大通報告:比特幣生產成本一個月以來下降50%至1.3萬美元:7月14日消息,摩根大通最近發布的一份報告顯示,比特幣的生產成本在過去一個月下降了50%。目前,其生產成本從2022年6月初的2.4萬美元下降到1.3萬美元。
以Nikolaos Panigirtzoglou為首的摩根大通策略師寫道,根據劍橋比特幣用電量指數的數據,這一下降正值用電量下滑之際。報告指出,這是礦企保護盈利能力和部署高效礦機的努力。然而,它也可能成為比特幣價格上漲的一個主要障礙:“雖然這明顯有助于礦企的盈利能力,并可能減輕礦企出售比特幣以提高流動性或去杠桿化的壓力,但生產成本的下降可能被視為對比特幣未來價格前景的負面影響。一些市場參與者認為,生產成本是熊市中比特幣價格區間的下限。”(Coin Gape)[2022/7/14 2:12:57]
遞歸方法更快,資源密集度更低,并且可以更加分散。
效率
遞歸證明對于區塊鏈的可擴展性至關重要。當我們在2019年啟動Mir時,在一臺高速計算機上需要兩分鐘才能生成一個遞歸證明。2020年以太坊新增了60秒證明時間的遞歸證明,并且Halo的發明提供了更快的遞歸證明,但不兼容以太坊。
2021年,我們有了一個大膽的目標:在以太坊上進行不到1秒的遞歸證明。我們意識到,STARKS中使用的多項式承諾方案FRI可以為遞歸SNARK提供顯著的性能改進。在當時,這并不明顯。Fractal是遞歸FRI的唯一現有實現,大約需要10分鐘才能生成證明。
然而,FRI有一些令人興奮的特性。它允許我們使用64位字段,我們的團隊發現了Goldilocks字段,它的模數可以在現代CPU上實現極其高效的字段運算。當與PLONK結合使用時,FRI允許我們編寫具有更多電線的自定義邏輯門,因此我們可以編寫針對高效遞歸進行優化的電路。
這種數學洞察力、零知識密碼學方面的深厚專業知識和驚人的低級優化相結合,使我們能夠取得重大突破。Plonky2的遞歸證明在MacbookPro上僅需170毫秒,比現有替代方案提高了100倍。
證明的大小
Plonky2還允許我們為不涉及遞歸的證明的證明時間提速。使用FRI,您可以擁有大型的快速證明,或者您可以選擇小型的慢速證明。正如Starkware在其ZK-rollups中使用的STARK,使用FRI的構造必須進行選擇。他們不能擁有足夠快的證明時間和足夠小的證明大小以在以太坊上進行合理驗證。
Plonky2消除了這種權衡。在證明時間很重要的情況下,我們可以優化最快的證明。當這些證明被遞歸聚合時,我們只剩下一個可以在小電路中驗證的證明。此時,我們可以優化證明大小。我們可以將證明大小縮小到45kb,只需20秒的證明時間,相對于Starkware,大大降低了成本。
兼容性
令人興奮的是,Plonky2原生兼容以太坊。Plonky2只需要keccak-256來驗證證明。我們估計,在以太坊上驗證plonky2大小優化證明的燃料費成本約為100萬Wei。
然而,這個成本主要是在以太坊上發布證明的CALLDATA成本。如果CALLDATA在EIP-4488中重新定價,plonky2證明的驗證成本將下降到170-200kgas之間,這可能使其不僅是最快的證明系統,也是在以太坊上驗證的最便宜的系統。
結論
去年,Polygon承諾支持零知識證明擴容。這代表了一個重要的轉變,因為Polygon從提供當前的基本解決方案轉向構建以太坊擴展的未來。Plonky2是這一旅程的重要一步,也是整個空間的重大突破。
ZKL2受益于大量炒作,但當前的解決方案依賴于低效且限制可擴展性的密碼原語。最終,L2將在吞吐量和成本上展開競爭,而Plonky2為Polygon生態系統提供了構建性能最高和可擴展的L2的機會。
在這篇文章中,來自UnstoppableFinance的特邀作者PatrickHansen討論了歐盟在網絡時代的斗爭.
1900/1/1 0:00:00元宇宙的強大吸引力之下,騰訊開始對VR硬件下手了。這一次被騰訊收入囊中的是黑鯊手機,近日,有消息稱,騰訊擬收購游戲手機公司黑鯊科技,收購后,黑鯊整體將并入任宇昕主導的騰訊集團平臺與內容事業群.
1900/1/1 0:00:00“基于Substrate開發,計劃競拍插槽來成為波卡平行鏈,為波卡生態提供DeFi基礎設施的Acala.
1900/1/1 0:00:00加密市場的熱點向來都是層出不窮的,從Meme到機制幣再到鏈游,我們已經習慣了熱點悄然轉移、風格瞬間變換的的狀態,但是“鏈游”概念卻在經歷了幾次沉浮后,霸屏了2021年的下半場.
1900/1/1 0:00:00如圖所示,黃色線比特幣走勢,藍色線美元指數走勢,2020年312開始,BTC啟動牛市,從3800美金一路漲至最高65000美金再迎來大調整,同期去年3月開始,疫情原因全球放水.
1900/1/1 0:00:00NFT是個相當大的話題,也是讓我感概頗多的話題。我早在2018年年初就接觸到了NFT,包括當時火熱的CryptoKitties和加密朋克,但是接下來我卻忽視了NFT的發展.
1900/1/1 0:00:00