Polygon 測試零知識匯總、主網集成入站

以太坊第 2 層擴展協議 Polygon (MATIC) 在與主網完全集成之前，正在對零知識匯總 (zk-Rollups) 技術進行性能測試。

這項名為 Polygon zkEVM（以太坊虛擬機）的技術的開發已經由 Polygon Hermez 團隊進行了三年多。 該團隊已經通過在 zkEVM 測試網的主要版本中生成超過 12,000 個 zk-Proof 來確認零知識證明在以太坊上是可能的。

Polygon zkEVM 和 PolygonID 的項目負責人 David Schwartz 解開了與 Cointelegraph 對應的功能開發。 Layer-2 平台不斷發展和改進功能，這在推動以太坊的可擴展性方面發揮了關鍵作用。

正如他解釋的那樣，零知識匯總提高了第 2 層平台實現最終性的速度，同時確保使用零知識技術對交易進行安全驗證。 在區塊鏈術語中，最終性是交易塊被認為已永久且不可逆轉地添加到區塊鏈的點：

“最後，我們有了 zkEVM，例如 Polygon zkEVM，除了與以太坊虛擬機的等效性及其先進的 zk-STARKs 和 zk-SNARKs 方法外，它還提供上述所有功能。”

根據 Schwartz 的說法，Polygon zkEVM 包括第一個可用的完整源代碼 EVM 等效 zkProver，它以超過 99% 的速度通過了所有以太坊矢量測試。 他將完成傳統用戶交易的有效性證明描述為自他的團隊開始開發其原生 zkEVM 以來“最具挑戰性和最有價值的努力”。

兩年前，Polygon 團隊估計開發具有 EVM 兼容性的 zk-Rollups 最多需要十年時間。 鑑於取得的進步，該團隊將 zkEVM 描述為最終遊戲，將進步與第 2 層可擴展性和快速終結相結合。 當增加更大的吞吐量和更低的費用時，這為用戶提供了無數的好處。

Cointelegraph 還詢問了 Polygon zkEVM 和以太坊第二層擴展網絡 StarkNet 專有的 ZK-SNARK 和 ZK-STARK 技術之間的區別。 如從前那樣 報導, 零知識可擴展透明知識論證，或 zk-SNARKS， 主要增加可擴展性 通過使用單一證明對數千筆交易進行批處理，以確認鏈上的有效性。

相關新聞： 以太坊合併對區塊鏈的第 2 層解決方案意味著什麼

Schwartz 表示，這些項目之間的主要區別在於 zkEVM 專注於本地擴展以太坊生態系統，而不是其他 zk-Rollups 只是擴展交易並提高不同 VM 格式的性能。

Polygon 的方法聲稱滿足類型 2 zkEVM 的分類 描述 由以太坊聯合創始人 Vitalik Buterin 於 2022 年 2 月發布。根據 Buterin 的總結，第 XNUMX 類 zkEVM 旨在與現有應用程序完全兼容，但對以太坊進行了微小修改，以便更輕鬆地開發和更快地生成證明。 施瓦茨補充說：

“相比之下，StarkNet 定位為 Type 4，引入了一種新的高級語言，並要求轉譯器將 solidity 代碼翻譯成他們的語言。”

與此同時，Schwartz 很高興有機會從其他項目中獲得更多基準和源代碼，以便從不同的方法中學習。 以太坊第 2 層解決方案的活動繼續增長， 區塊鏈數據展示 到 2023 年，Arbitrum 和 Optimism 的交易量超過了以太坊主網上的交易量。