上線在即，一文了解 Polygon zkEVM 的核心組件

原文作者：Salazar.eth

原文編譯：0x11 ，Foresight News

zkEVM 被認為是以太坊可擴展性的聖杯。Polygon 是在該領域處於領先地位的探索者之一，其 zkEVM 即將推出。在此之前，你需要了解有關 Polygon zkEVM 技術的一些信息。

Polygon zkEVM 是一種去中心化的可擴展性解決方案，它採用零知識證明（ZKP）提供有效性證明來驗證交易並在以太坊上實現最終性，同時它是一種 EVM 兼容的擴展性方案。

在這篇推文中，我們將重點觀察 Polygon zkEVM 的這些組件：

• 共識合約

• zk Node：同步器、排序器、聚合器、RPC

• zk Prover

• zk Bridge

共識合約

此前，Polygon Hermez 1.0 使用 Proof of Donation（PoD）作為共識機制，這是一種協調員創建交易包的去中心化拍賣機制。

如今最新版本合約 PolygonZkEVM.sol 採用 Proof of Efficiency (PoE) ，它借鑒了 PoD 的經驗，支持多個協調者以無許可的方式在 L2 上創建交易包。

合約確保去中心化、效率、免受攻擊以及驗證工作和網絡價值之間的平衡。

鏈上數據可用性採用了混合模式，其中數據存儲在鏈外，僅在鏈上發布有效性證明。

PolygonZkEVM.sol（部署在 L1 上）用於確保正確的狀態轉換。智能合約使用 zk-SNARK 電路來驗證有效性證明。

要執行上述操作，需要排序器和聚合器的參與。

zk Node

排序器提議交易包，聚合器驗證它們。智能合約調用排序器來接收交易包，並調用聚合器來驗證它們。

zk Node 是運行 zkEVM 節點所需的軟件，它管理 Polygon zkEVM 網絡中參與者的角色。 為了跟蹤網絡狀態，參與者可以是節點，也可以作為排序器或聚合器參與交易包生產。

排序器預處理 L2 交易，向 PoE 智能合約提交交易包，並支付費用。聚合器接收交易信息，將其發送給證明者，接收零知識證明，並將結果發送給智能合約進行驗證。

同步器同步交易包及其有效性證明，RPC 則實現與現有工具的集成。

狀態實現默克爾樹並檢查區塊級別的完整性和一些與交易相關的信息。

zk Prover

zk Prover 是 Polygon zkEVM 架構的重要組成部分。它負責生成零知識證明，以驗證 zkEVM 執行計算的正確性。

為了生成零知識證明，zk Prover 從聚合器接收輸入，聚合器從排序器收集交易信息。然後證明被發送回聚合器，聚合器再將其發送到智能合約進行驗證。

鑑於其高效率和可擴展性，zk Prover 可以以最小的延遲處理大量交易。

zk Bridge

zk Bridge 允許用戶在 LX 和 LY 兩層之間安全和去中心化地轉移資產。

它由兩個相同的合約組成，一個部署在以太坊主網上，另一個部署在特定的 Rollup 網絡上。

在 L1 合約中，資產可以在 Rollup 之間轉移；而在 L2 合約中，資產可以在主網和 Rollup 之間轉移。

通過智能合約，zk Bridge 還支持不同 L2 網絡之間的本地互操作性。

小結

總之，Polygon 的 zkEVM 是一種很有前途的解決方案，可以改善以太坊網絡的可擴展性問題。

通過利用 zk-SNARK 電路實現有效性和混合模式實現數據可用性，它提供去中心化、效率和攻擊保護，同時保持 EVM 兼容性。共識合約、zk Node、zk Prover 和 zk Bridge 協同工作，以實現安全和去中心化的交易處理。

隨著上線臨近，Polygon zkEVM 有望為以太坊的增長和採用做出重大貢獻。