前言

我們邀請社區讨論一(One)項提案，使用(Use)零知識 (ZK) 驗證器将 Polygon PoS 安全地連接到 AggLayer，以(By)驗證網絡的(Of)共識機制，從而建立網絡結算到 AggLayer 的(Of)最終性。此共識證明是(Yes)對悲觀證明的(Of)補充，可确保連接到 AggLayer 的(Of)所有鏈的(Of)安全。有關悲觀證明的(Of)更多信息，請參見此處：介紹悲觀證明 2

共識證明将由 Plonky3 證明系統通過 Succinct Labs 的(Of) SP1 進行保護，SP1 是(Yes)一(One)種通用(Use) zkVM，允許 AggLayer 證明标準 Rust 的(Of)執行。有關 Polygon Labs 和(And) Succinct Labs 之間合作(Do)的(Of)更多信息，請參閱此處：基于(At) Plonky3 構建的(Of) SP1 将有助于(At)确保統一(One)流動性 1

此次升級将帶來兩大(Big)直接好處：

• 通過 AggLayer 聚合流動性、用(Use)戶和(And)狀态，爲(For)用(Use)戶和(And)開發者帶來更大(Big)的(Of)網絡效應；

• 升級的(Of)橋梁體驗，包括無需許可的(Of)代币轉移。

背景

一(One)年前，社區開始讨論一(One)項提案，該提案将使 Polygon PoS 成爲(For) zkEVM Validium，從而将網絡升級爲(For)由 ZK 驅動的(Of)L2。這(This)仍然是(Yes) Polygon PoS 最終狀态的(Of)長期目标。實現這(This)一(One)目标的(Of)挑戰很大(Big)程度上(Superior)取決于(At)對維護 Polygon PoS 低費用(Use)、以(By)太坊爲(For)所有人(People)服務的(Of)精神的(Of)承諾。

用(Use)于(At)将 Polygon PoS 升級到 ZK L2 的(Of) Type 1 zkEVM 證明器已經能夠以(By)低成本證明現有的(Of)以(By)太坊區塊。對于(At) Polygon PoS 的(Of)應用(Use)，現在(Exist)的(Of)問題是(Yes)如何大(Big)規模地做到這(This)一(One)點。

就目前而言，如果這(This)次讨論是(Yes)有利的(Of)，并且随後的(Of) PIP 被社區接受，那麽升級将作(Do)爲(For)成爲(For)完整 ZK L2 的(Of)中間步驟。将 Polygon PoS 連接到 AggLayer 将提供統一(One)橋的(Of)好處，同時(Hour)仍然能夠依賴驗證器集提供的(Of)強化安全保障。

技術細節

如果社區讨論圍繞此提案展開，未來的(Of) PIP 或 PIP 們将提供适當的(Of)技術規範。但是(Yes)，從高層次來看，此升級至少需要(Want)以(By)下内容：

• 共識證明：将在(Exist)以(By)太坊上(Superior)部署新的(Of)共識驗證合約。此合約将能夠驗證 Polygon PoS 是(Yes)否達成共識，同時(Hour)，任何提款是(Yes)否符合悲觀證明邏輯所規定的(Of)标準。将創建一(One)項提案，将其添加到 Unified Bridge 可用(Use)驗證合約列表中。（有關這(This)一(One)點的(Of)其他(He)考慮，請參閱下面的(Of)實際問題。）

• Bridge 實施：Unified Bridge 合約将部署在(Exist) Polygon PoS 上(Superior)。

• PoS 門戶：PoS Portal Bridge 中的(Of)現有代币将升級爲(For)使用(Use) Unified Bridge，所有權将被銷毀，從而消除對這(This)些代币的(Of)多重簽名控制。

• 網絡角色：使用(Use)共識證明設計結算到 AggLayer 将需要(Want)一(One)些實體提交所需的(Of)信息。（有關這(This)一(One)點的(Of)其他(He)考慮，請參閱下面的(Of)實際問題。）

客戶端變更

完成此升級不(No)需要(Want)對 Bor 或 Heimdall 進行任何重大(Big)的(Of)客戶端更改。雖然升級到 Heimdall v2 可能會進行未來優化，但這(This)對于(At)初始部署而言并非必需。

橋變化

完成此升級不(No)需要(Want)更改支持 FxPortal 或 Plasma Bridge 的(Of) StateSync 機制。此外：

• Unified Bridge 将作(Do)爲(For)獨立的(Of)新橋部署。

• 使用(Use) PoS Portal 映射的(Of)代币将升級爲(For)使用(Use) Unified Bridge 而不(No)是(Yes) FxPortal，并且 PoS Portal 将被棄用(Use)。

時(Hour)間線

如果此次讨論結果令人(People)滿意，将發布正式的(Of) PIP。主要(Want)依賴項是(Yes)完成悲觀證明的(Of)生産就緒實施，預計在(Exist)夏季中旬完成。一(One)旦完成，将發布正式的(Of) PIP，最有可能在(Exist)秋季完成。按照這(This)個(Indivual)時(Hour)間表，假設社區接受，将 Polygon PoS 連接到 AggLayer 可能會在(Exist) 2024 年底之前完成。

與此同時(Hour)，Polygon PoS 的(Of)核心工程師預計即将到來的(Of) Ahmadabad 硬分叉将在(Exist) 7 月部署，Heimdall v2 預計将在(Exist)之後某個(Indivual)時(Hour)間推出(Out)。目前，這(This)兩項升級都不(No)是(Yes)将 Polygon PoS 連接到 AggLayer 的(Of)依賴項。但是(Yes)，共識證明還有另一(One)種實現方式，需要(Want)對 Heimdall 進行更深層次的(Of)更改。

實際問題

基于(At)簽名的(Of)共識證明

該提案概述了(Got it)使用(Use) Polygon Plonky3 來表示 Polygon PoS 的(Of)共識，其中 SP1 zkVM 提供了(Got it) Rust 的(Of)可維護性和(And)開發人(People)員速度優勢。廣義上(Superior)講，共識證明的(Of)目标是(Yes)表示本地鏈狀态。這(This)也可以(By)通過修改 Heimdall 以(By)使用(Use)不(No)同的(Of)簽名方法來實現。

例如，如果在(Exist)共識期間使用(Use)了(Got it) BLS 或 ICE-FROST 阈值簽名，則該單個(Indivual)簽名可以(By)代表 AggLayer 的(Of)共識。這(This)種方法的(Of)一(One)個(Indivual)好處是(Yes)簡單：Polygon PoS 和(And) AggLayer 之間的(Of)通信可以(By)作(Do)爲(For)一(One)項任務添加到 Heimdall，與當前向 L1 提交檢查點的(Of)同一(One)流程相同。

一(One)個(Indivual)潛在(Exist)的(Of)缺點是(Yes)，這(This)種方法需要(Want)對網絡的(Of)共識機制進行更深入的(Of)更改，這(This)可能會延長開發時(Hour)間。這(This)種設計将消除對新網絡角色的(Of)需求。

與 AggLayer 通信的(Of)網絡角色

爲(For)了(Got it)使 Polygon PoS 使用(Use)共識證明連接到 AggLayer，需要(Want)一(One)個(Indivual)新角色。此角色将負責向 AggLayer 提交以(By)下信息：

• 網絡的(Of)本地橋接狀态；

• 共識證明。

如何以(By)及由誰執行此功能是(Yes)一(One)個(Indivual)積極調查的(Of)領域。在(Exist)高層次上(Superior)，協議研究人(People)員正在(Exist)考慮以(By)下之一(One)：

• 允許列表地址首先執行此角色，目标是(Yes)在(Exist) AggLayer 堆棧有機會強化後使其無需許可；

• 該角色立即無需許可，在(Exist)這(This)種情況下，網絡參與者将執行此功能以(By)換取一(One)些尚未量化的(Of)獎勵。如果這(This)是(Yes)首選方案并且沒有其他(He)安全問題，則需要(Want)确定通過什麽機制選擇此網絡參與者；一(One)個(Indivual)潛在(Exist)的(Of)選擇是(Yes)使用(Use) Heimdall 中現有的(Of)領導選擇。

總結

Polygon PoS 擁有 4 億多個(Indivual)唯一(One)地址、從以(By)太坊橋接的(Of) 20 億美元以(By)上(Superior)資産以(By)及數萬個(Indivual)應用(Use)程序，仍然是(Yes)世界上(Superior)使用(Use)最廣泛的(Of)區塊鏈之一(One)。用(Use)戶和(And)開發人(People)員之所以(By)喜歡它，是(Yes)因爲(For)它擁有強大(Big)的(Of)社區、網絡效應和(And)适用(Use)于(At)所有人(People)的(Of)低費用(Use)，通常比著名的(Of)以(By)太坊 L2 低幾個(Indivual)數量級。

Polygon Labs 的(Of)核心開發人(People)員多年來一(One)直專注于(At)以(By)太坊擴展技術的(Of)研究和(And)開發；它從 Polygon PoS 開始。多年來，他(He)們得出(Out)了(Got it)兩個(Indivual)結論：ZK 技術是(Yes)實現可驗證的(Of)鏈下計算的(Of)唯一(One)實用(Use)方法，而聚合是(Yes)在(Exist)不(No)犧牲鏈主權的(Of)情況下實現多鏈互操作(Do)性的(Of)唯一(One)方法。

Succinct Labs 和(And) Polygon Labs 的(Of)共同努力基于(At)共同的(Of)信念，即與開源技術的(Of)合作(Do)可以(By)構建最佳的(Of)公共利益。關于(At) Polygon PoS 未來的(Of)讨論結果最終掌握在(Exist)社區手中。我們再次邀請您分析、讨論并希望達成實施該提案的(Of)共識。