以太坊:一文了解Polygon新擴容技術Plonky2，比現有替代方案快100倍_ARK

原文：Polygon

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

Plonky2是一種遞歸SNARK，比現有替代方案快100倍，并且與以太坊原生兼容。它結合了PLONK和FRI以獲得最好的STARK，具有快速證明和無可信設置，以及最好的SNARK，支持遞歸和以太坊上的低驗證成本。

富蘭克林鄧普頓計劃在Avalanche、Aptos、Arbitrum上建立區塊鏈貨幣市場基金:金色財經報道，富蘭克林鄧普頓的3億美元代幣化貨幣市場，即富蘭克林Onchain美國政府貨幣基金(FOBXX)，主要在Stellar公共區塊鏈上發行。今年4月，它擴展到了Polygon，現在它表示還可能在Avalanche和Aptos區塊鏈以及與以太坊鏈接的Arbitrum側鏈上發行代幣。

富蘭克林鄧普頓與資產管理公司Apollo一起投資了Aptos Labs。該初創公司是由Facebook發起的已放棄的Diem穩定幣項目團隊的部分成員創立的。到目前為止，該基金在Polygon上的余額僅為200萬美元，根據交易模式，該基金可能由富蘭克林鄧普頓持有。

富蘭克林鄧普頓一直在提供與費用相關的折扣，以使代幣化基金更具吸引力。如果沒有補貼，它將收取0.89%的費用，但它將費用限制在0.2%，因為它的補貼已于昨天到期。政府又將補貼延長了一年。[2023/8/1 16:12:01]

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

Dolce&Gabbana、inBetweeners與UNXD在OpenSea上推出新的NFT Drip系列:金色財經報道，Dolce&Gabbana、inBetweeners與UNXD在OpenSea上獨家推出新的NFT Drip系列。該系列由GianPiero D'Allesandro設計，包含2,000只數字熊。每只熊都穿著21款獨特的 Dolce&Gabbana產品中的一款。更重要的是，持有者將獲得與他們的NFT相匹配的獨家 Dolce&Gabbana服裝和收藏品的實物印刷品。?[2022/12/10 21:35:07]

遞歸

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

文檔軟件開發公司Mintlify完成280萬美元融資，Bain Capital Ventures領投:5月30日消息，文檔任務自動化軟件開發公司Mintlify宣布完成280萬美元種子輪融資，Bain Capital Ventures領投，TwentyTwo Ventures、Sourcegraph聯合創始人Quinn Slack等參投。

據悉，Mintlify由軟件工程師Han Wang和Hahnbee Lee于2021年共同創立，利用AI技術將代碼自動生成為文檔。此輪融資資金將用于產品開發，并在年底前將Mintlify核心團隊人數（目前3人）增加一倍。（Techcrunch）[2022/5/30 3:50:59]

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

雄安發放數字人民幣滿減紅包，首期統籌5000余萬元資金:金色財經報道，5月28日，按照“政府補貼、金融聯動、商家促銷”的原則，雄安新區管委會組織開展了“促消費，惠民生”數字人民幣滿減紅包活動。本次活動由雄安新區管委會和中國人民銀行雄安新區營業管理部主辦，工、農、中、建、交、郵儲6家商業銀行和銀聯商務股份有限公司協辦。活動首期統籌5000余萬元資金，活動時間為5月30日至8月28日。（鞭牛士）[2022/5/29 3:47:53]

相反，我們可以使用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，您可以擁有大型的快速證明，或者您可以擁有小型的慢速證明。使用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的機會。

Tags：以太坊PLOLONARK以太坊價格今日行情美元兌人民幣PLOCKGLONarkm幣未來價值

pepe最新價格