三分鐘了解Laye 2擴容明星Plonky2_元宇宙

原標題|Plonky2入門指南———關于全世界最快的ZK技術

PolygonZero的宗旨很簡單：在不影響去中心化或安全性的前提下，使用零知識證明將以太坊擴展到十億用戶。實現這一點需要快速有效的驗證系統。今天，我們很高興與大家分享Plonky2——零知識密碼學的一個重要里程碑。

Plonky2是一種遞歸zk-SNARK(Zero-KnowledgeSuccinctNon-InteractiveArgumentofKnowledge,?零知識簡潔的非交互式知識論證)，比現有其他方案快100倍，并且與以太坊原生兼容。它結合了PLONK和FRI以獲得最好的STARK(Zero-KnowledgeScalableTransparentArgumentofKnowledge，零知識可擴展的透明知識論證)，具有快速證明和無可信設置，以及最好的SNARK，支持遞歸和以太坊上的低驗證成本。

去中心化加密衍生品協議Maverick Protocol將于3月8日在以太坊主網啟動:3月7日消息，去中心化加密衍生品協議 Maverick Protocol 在博文中表示，將于3月8日22:00在以太坊主網上啟動 1.0 版。100% 的交易費用將分配回流動性提供者的流動性頭寸，并且會自動復利。Maverick AMM 功能特點包括自定義 LP 分配（LP 不再需要在統一的價格范圍內抵押他們的流動性）、自動集中流動性費用復利以及資本效率較高等。

此前報道，2022 年2月15日，Maverick Protocol 完成 800 萬美元融資，Pantera Capital 領投。[2023/3/7 12:47:07]

Plonky2代表了Polygon持續致力于構建以太坊未來的最新一步，我們很自豪能與以太坊社區分享我們的工作。

元宇宙專委會執行會長羅軍：布局元宇宙產業，做好頂層設計至關重要:金色財經報道，10月13日，在談到元宇宙究竟是什么，以及如何更清晰地理解和認識元宇宙時，中國計算機行業協會元宇宙專委會執行會長羅軍表示，目前全世界對元宇宙的定義還沒有標準答案，而且很難有一個標準答案。元宇宙是5G通訊、物聯網、人工智能、人機交互、區塊鏈等眾多先進技術融合的產物，與現實世界保持及時鏈接的虛擬空間。元宇宙的實質是互聯網，是下一代互聯網。現在的互聯網是二維的、平面的空間結構，而元宇宙則是三維、四維，乃至多維結構，是立體的互聯網空間表現形態。元宇宙經濟就是互聯網經濟，是數字經濟新的外延和內涵。

羅軍還提到，元宇宙的本質是游戲，核心是軟件。之所以說是“游戲”，因為元宇宙立足于互聯網空間，是虛擬存在的，我們把所有虛擬的網絡活動都稱之為“游戲”。在元宇宙空間，虛擬人、數字孿生、云渲染無處不在。[2022/10/15 14:28:09]

遞歸

以太坊網絡當前已銷毀超251.12萬枚ETH:金色財經報道，據Ultrasound數據顯示，截止目前，以太坊網絡總共銷毀2,511,286.35枚ETH。其中，ETHtransfers銷毀231,969.21枚ETH，OpenSea銷毀230,049.97枚ETH，UniswapV2銷毀134,417.10枚。注：自以太坊倫敦升級引入EIP-1559后，以太坊網絡會根據交易需求和區塊大小動態調整每筆交易的BaseFee，而這部分的費用將直接燃燒銷毀。[2022/7/5 1:50:57]

如果零知識證明有超能力，那就是遞歸。SNARK可以驗證任意計算，并且由于驗證SNARK是一種計算，因此SNARK可以驗證其他SNARK。

薩爾瓦多Chivo錢包用戶抱怨無法將資產轉至其他錢包:6月18日消息，隨著加密貨幣市場持續下跌，使用Chivo比特幣錢包的薩爾瓦多人表示，他們無法將資產轉移到不受政府控制的錢包中。目前尚不清楚資產轉移問題是否與流動性問題有任何關聯。

兩名用戶表示，他們之前沒有遇到資金轉移方面的問題，但是現在無法將自己的比特幣從Chivo轉移到冷存儲錢包。

薩爾瓦多Banco Cuscatlan銀行財務主管Andres Pineda稱，“Chivo完全不可靠，隨著時間的推移，我們聽到越來越多關于欺詐和盜竊的故事。我的賬戶實際上在一個月前就被黑了，所以我甚至無法登錄查看資金是否還在賬戶里。”

其他用戶也在推特上抱怨Chivo。一名試圖將比特幣從Chivo錢包轉移到幣安的用戶無法完成交易。（Blockworks）[2022/6/18 4:36:22]

要了解它為何有用，我們可以來做一個假設。假設：我們要證明一批總計1,000筆的交易是有效的，而且一次生成一個證明來依次驗證1,000筆交易將是昂貴且耗時的。

相反，我們可以使用1,000臺機器并行生成1,000個證明，每筆交易對應一個證明。接下來，我們可以獲取這些交易證明，并通過生成一層遞歸證明來遞歸聚合它們，每個證明都驗證兩個交易證明。我們重復這個過程，直到我們得到一個可以驗證1000筆交易的證明。

遞歸方法更快，資源密集度更低，并且可以更加分散。

效率

遞歸證明對于區塊鏈的可擴展性至關重要。當我們在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的機會。

Tags：以太坊PLOLON元宇宙怎么購買以太坊幣PLOT價格KLON價格元宇宙專業委員會

DOT