資料來源：Polygon論壇；作者：白水，金色財經
前言
我們邀請社群討論一項提案，使用零知識(ZK) 驗證器將Polygon PoS 安全地連接到AggLayer，以驗證網路的共識機制，從而建立網路結算到AggLayer 的最終性。此共識證明是對悲觀證明的補充，可確保連接到AggLayer 的所有鏈的安全。有關悲觀證明的更多信息，請參見此處：介紹悲觀證明 2
共識證明將由Plonky3 證明系統透過Succinct Labs 的SP1 來保護，SP1 是一種通用zkVM，允許AggLayer 證明標準Rust 的執行。有關Polygon Labs 和Succinct Labs 之間合作的更多信息，請參閱此處：基於Plonky3 構建的SP1 將有助於確保統一流動性 1
此次升級將帶來兩大直接好處：
-
透過AggLayer 聚合流動性、使用者和狀態，為使用者和開發者帶來更大的網路效應；
-
升級的橋樑體驗，包括無需許可的代幣轉移。
背景
一年前，社區開始討論一項提案，該提案將使Polygon PoS 成為zkEVM Validium，從而將網路升級為由ZK 驅動的L2。這仍然是Polygon PoS 最終狀態的長期目標。實現這一目標的挑戰很大程度上取決於對維護Polygon PoS 低費用、以太坊為所有人服務的精神的承諾。
用於將Polygon PoS 升級到ZK L2 的Type 1 zkEVM 證明器已經能夠以低成本證明現有的以太坊區塊。對於Polygon PoS 的應用，現在的問題是如何大規模地做到這一點。
就目前而言，如果這次討論是有利的，並且隨後的PIP 被社區接受，那麼升級將作為完整ZK L2 的中間步驟。將Polygon PoS 連接到AggLayer 將提供統一橋樑的好處，同時仍能依賴驗證器集提供的強化安全保障。
技術細節
如果社群討論圍繞著此提案展開，未來的PIP 或PIP 將提供適當的技術規格。但是，從高層次來看，此升級至少需要以下內容：
-
共識證明：將在以太坊上部署新的共識驗證合約。此合約將能夠驗證Polygon PoS 是否達成共識，同時，任何提款是否符合悲觀證明邏輯所規定的標準。將建立一項提案，將其新增至Unified Bridge 可用驗證合約清單。 （有關這一點的其他考慮，請參閱下面的實際問題。）
-
Bridge 實作：Unified Bridge 合約將部署在Polygon PoS 上。
-
PoS 門戶：PoS Portal Bridge 中的現有代幣將升級為使用Unified Bridge，所有權將被銷毀，從而消除對這些代幣的多重簽名控制。
-
網路角色：使用共識證明設計結算到AggLayer 將需要一些實體提交所需的資訊。 （有關這一點的其他考慮，請參閱下面的實際問題。）
客戶端變更
完成此升級不需要對Bor 或Heimdall 進行任何重大的用戶端變更。雖然升級到Heimdall v2 可能會進行未來最佳化，但這對於初始部署而言並非必要。
橋變化
完成此升級不需要更改支援FxPortal 或Plasma Bridge 的StateSync 機制。另外：
-
Unified Bridge 將作為獨立的新橋部署。
-
使用PoS Portal 映射的代幣將升級為使用Unified Bridge 而不是FxPortal，並且PoS Portal 將被棄用。
時間軸
如果此次討論結果令人滿意，將發布正式的PIP。主要依賴項是完成悲觀證明的生產就緒實施，預計在夏季中旬完成。一旦完成，將發布正式的PIP，最有可能在秋季完成。按照這個時間表，假設社區接受，將Polygon PoS 連接到AggLayer 可能會在2024 年底前完成。
同時，Polygon PoS 的核心工程師預計即將到來的Ahmadabad 硬分叉將在7 月部署，Heimdall v2 預計將在之後某個時間推出。目前，這兩個升級都不是將Polygon PoS 連接到AggLayer 的依賴項。但是，共識證明還有另一種實現方式，需要對Heimdall 進行更深層的更改。
實際問題
基於簽名的共識證明
該提案概述了使用Polygon Plonky3 來表示Polygon PoS 的共識，其中SP1 zkVM 提供了Rust 的可維護性和開發人員速度優勢。廣義上講，共識證明的目標是表示本地鏈狀態。這也可以透過修改Heimdall 以使用不同的簽名方法來實現。
例如，如果在共識期間使用了BLS 或ICE-FROST 閾值簽名，則該單一簽名可以代表AggLayer 的共識。這種方法的一個好處是簡單：Polygon PoS 和AggLayer 之間的通訊可以作為一項任務添加到Heimdall，與目前向L1 提交檢查點的相同流程相同。
一個潛在的缺點是，這種方法需要對網路的共識機制進行更深入的更改，這可能會延長開發時間。這種設計將消除對新網路角色的需求。
與AggLayer 通訊的網路角色
為了讓Polygon PoS 使用共識證明連接到AggLayer，需要一個新角色。此角色將負責向AggLayer 提交以下資訊：
-
網路的本地橋接狀態；
-
共識證明。
如何以及由誰執行此功能是一個積極調查的領域。在高層次上，協議研究人員正在考慮以下其中之一：
-
允許清單位址首先執行此角色，目標是在AggLayer 堆疊有機會強化後使其無需許可；
-
該角色立即無需許可，在這種情況下，網路參與者將執行此功能以換取一些尚未量化的獎勵。如果這是首選方案並且沒有其他安全問題，則需要確定透過什麼機制選擇此網路參與者；一個潛在的選擇是使用Heimdall 中現有的領導選擇。
總結
Polygon PoS 擁有4 億多個唯一地址、從以太坊橋接的20 億美元以上資產以及數萬個應用程序，仍然是世界上使用最廣泛的區塊鏈之一。使用者和開發人員之所以喜歡它，是因為它擁有強大的社群、網路效應和適用於所有人的低費用，通常比著名的以太坊L2 低幾個數量級。
Polygon Labs 的核心開發人員多年來一直專注於以太坊擴展技術的研究和開發；它從Polygon PoS 開始。多年來，他們得出了兩個結論：ZK 技術是實現可驗證的鏈下計算的唯一實用方法，而聚合是在不犧牲鏈主權的情況下實現多鏈互通性的唯一方法。
Succinct Labs 和Polygon Labs 的共同努力基於共同的信念，即與開源技術的合作可以建立最佳的公共利益。關於Polygon PoS 未來的討論結果最終掌握在社區手中。我們再次邀請您分析、討論並希望達成實施該提案的共識。
