polygon matic

Polygon Labs 宣佈推出一項新的開源技術,旨在改善和促進加密世界的發展。

讓我們來談談新的零知識證明系統 Plonky3,經過多年的設計,它現在已經準備好在公共許可下進行生產。

所有加密開發人員很快就能使用這個模塊化工具包來啓動他們自己的 zkVM 和 zkEVM 網絡。

讓我們看看下面的所有細節。

Polygon推出開源許可的新一代ZK Plonky3系統

昨天,區塊鏈開發商 Polygon Labs 向其加密社區介紹了具有開源許可的新驗證系統 ZK Plonky3。

它是一套允許生成零知識加密證明的工具,對於擴展網絡的發展至關重要。

Polygon 現在對 ZK 技術情有獨鍾:正如其最新博客文章所述,如今沒有更有效的擴展技術。

所謂的“zk-proofs”允許 Polygon 通過主權鏈網絡來追求交易速度、提高安全性和統一流動性。

我們記得,這種加密世界典型的創新也具有開源性質,如今已被無數項目所採用:其中最著名的包括 ZkSync、Starknet、Linea、Scroll 和 Polygon zkEMV。

下一代 zk 證明系統已經登陸 - Polygon Plonky3 已準備好投入生產並且開源。

Polygon Plonky3 已經爲@SuccinctLabs 的 SP1 zkVM 提供支持,它提供了超高性能的 zk 證明,而 SP1 爲開發人員抽象了複雜性。

繼續討論以瞭解更多信息。pic.twitter.com/RubcRkB34M

— Polygon | 聚合 (@0xPolygon) 2024 年 7 月 16 日

Plonky3 代表了下一代 ZK 驗證系統,速度超快,具有模塊化傾向。這個新工具包現已準備好投入生產,向所有開源開放,並將獲得 MIT/Apache 許可。

加密領域的開發人員和代碼愛好者現在可以利用 Plonky3 工具包來設計未來的下一個 zkEVM 網絡或 zkEVM。

該驗證系統最好的部分是它將其靈活性擴展到任何特定的用例,例如定製的演示器。

之前的Plonky2技術與新開源的Plonky3系統的區別

與 Polygon 兩年前推出的上一版本 Plonky2 相比,新的開源驗證系統更加高效,並且對於擴展加密網絡的開發更具可塑性。

Plonky2 由 Polygon 開發人員 Daniel Lubarov 和他的團隊於 2022 年 1 月推出,似乎是一個非常快速且安全的軟件包。

這個單一驗證系統因其與 Starky 的工程創新而聞名,它專注於通過硬件優化實現超快速遞歸。

自那時起,它已成爲加密領域最常採用的 Web3 解決方案之一,用於開發零知識證明系統。隨着時間的推移,Plonky2 的一些技術特性也被重塑,以加速某些類型的區塊鏈應用。

我們很高興地宣佈 Plonky2,這是 PLONK+FRI 的實現,專注於快速遞歸。

在嘗試了幾種方法之後,我們達到了滿意的性能水平,在 Macbook Pro 上遞歸證明大約需要 170 毫秒。https://t.co/U3Y0bfrtiL

— Daniel Lubarov (@dlubarov) 2022 年 1 月 10 日

兩年後,Plonky3 似乎徹底改變了 Polygon 及其加密社區的遊戲規則,引入了一個客觀上更優越的系統。

首先,正如同一開發人員Daniel Lubarov所報告的,Plonky3可以實現比Plonky2高出5-10倍的可擴展性。
另外和上一代不同的是,這一代的ZK驗證系統是完全開源的,也就是對所有人開放。

同樣在安全方面,我們只能提到新軟件工具的可靠性,這已通過 Github 存儲庫上的審覈進行了驗證。

Plonky3 與第二個版本的本質區別在於,它具有更少的固定屬性,更加靈活,適合開發特定的加密解決方案

對所有 Polygon 開發人員和整個加密生態系統來說都是一個優勢

如上所述,Polygon 的開發人員以及所有在加密領域工作的人員都可以自由使用 Plonky3 作爲開源工具。

因此,業內人士可以按照模塊化基礎設施目標推出自己的 zkVM 或 zkEVM 類型區塊鏈。

這些可以根據自己的需要以完全定製的方式配置工具包。

開源的特性爲基於零知識證明的區塊鏈開啓了巨大進步的時代,成千上萬的開發者可以利用 Polygon 內部開發的技術。

Plonky3 的庫將隨着加密領域的數學和工程創新一起成長。

zk devs 找到多邊形 plonky3 repos 後 pic.twitter.com/KSBLOLHrJ1

— Polygon | 聚合 (@0xPolygon) 2024 年 7 月 16 日


Plonky3 已經被 Valida 和 Succinct Labs 的 SP1 等項目採用。間接地,這意味着每個依賴這些 zkVM 的後續項目也依賴於 Plonky3。

ZK開發人員可以進行混合搭配,創建最適合區塊鏈應用程序的zkVM或zkEVM。

例如,按照 SP1 配置,可以利用 Rust 的開發速度和代碼可維護性,同時保持 Plonky3 的性能和可靠性保證。

SP1 中使用的 Plonky3 配置主要基於在最廣泛的區塊鏈應用中的性能,包括遞歸、簽名哈希和熊演示等程序的任意計算。

SP1 是使用 BabyBear 作爲有限域並使用 Poseidon2 作爲哈希函數獲得的。之所以做出這一選擇,是因爲 BabyBear 在 CPU 和 GPU 上都提供了速度,而 Poseidon2 提供了超級可擴展的 STARK 遞歸。

但這只是一個例子:使用 Plonky3,Polygon 和 Web 3 領域的開發人員可以選擇廣泛可定製的配置。從高層次上講,我們指出 Plonky3 通過有限域和哈希函數實現模塊化:
有限域:BabyBear;Mersenne31;Goldilocks
哈希函數:Poseidon;Poseidon2;Rescue;BLAKE3;Keccak-256;Monolith