jakiro
出典：Polygon Forum;著者：Baishui、Bitchain Vision
序文
ゼロ知識（ZK）バリーターを使用してポリゴンPOSを凝集器にしっかりと接続するという提案について議論するようコミュニティに招待し、ネットワークのコンセンサスメカニズムを検証し、ネットワーク決済の最終性をAgglayerに確立します。このコンセンサスの証明は、Agglayerに接続されたすべてのチェーンのセキュリティを保証する悲観的な証拠を補完するものです。悲観的な証明の詳細については、こちらを参照してください。
コンセンサスの証明は、Agglayer Proof Standard Rustの実行を可能にする汎用ZKVMであるSP1のSP1を介してPlonky3プルーフシステムによって保護されます。ポリゴンラボと簡潔なラボ間のコラボレーションの詳細については、こちらを参照してください：Plonky3に構築されたSP1は、均一な流動性を確保するのに役立ちます1
このアップグレードは、2つの直接的な利点をもたらします。
-
Agglayerを介した流動性、ユーザー、およびステータスを集約して、ユーザーと開発者により大きなネットワーク効果をもたらします。
-
許可レストークン転送を含むアップグレードブリッジエクスペリエンス。
背景
1年前、コミュニティは、ポリゴンがZkevm Valiumを提供する提案について議論し始め、それによりネットワークをZKを搭載したL2にアップグレードしました。これは、ポリゴンPOSの最終状態の長期的な目標のままです。これを達成するための課題は、ポリゴンPOSの低コストであるイーサリアムのすべての人に奉仕する精神を維持するというコミットメントに大きく依存します。
ポリゴンPOSをZK L2にアップグレードするためのタイプ1のZKEVMプロバーは、既存のイーサリアムブロックを低コストで証明することができました。Polygon POSアプリケーションの場合、問題は大規模にこれを行う方法です。
今のところ、この議論が有利であり、その後のPIPがコミュニティによって受け入れられている場合、アップグレードは完全なZK L2になるための中間のステップになります。Polygon POSをAgglayerに接続すると、統一された橋の利点が提供されながら、検証装置セットが提供する硬化したセキュリティに依存することができます。
技術的な詳細
コミュニティの議論がこの提案を中心に展開する場合、将来のピップまたはピップは適切な技術仕様を提供します。ただし、高いレベルから、このアップグレードには少なくとも次のものが必要です。
-
コンセンサスの証明：新しいコンセンサス検証契約がイーサリアムに展開されます。この契約により、Polygon POSがコンセンサスに達したかどうか、および撤退が悲観的な証明論理に定められた基準を満たしているかどうかを確認できます。統一ブリッジの利用可能な検証契約のリストに追加するための提案が作成されます。（これに関する追加の考慮事項については、以下の実際の質問を参照してください。）
-
ブリッジの実装：Unified Bridge契約は、Polygon Posに展開されます。
-
POSポータル：POSポータルブリッジの既存のトークンはアップグレードされて統一ブリッジを使用し、所有権が破壊され、これらのトークンに対するマルチシグネチャコントロールが排除されます。
-
ネットワークの役割：コンセンサスの証明設計を使用してAgglayerに落ち着くには、一部のエンティティに必要な情報を送信する必要があります。（これに関する追加の考慮事項については、以下の実際の質問を参照してください。）
クライアントの変更
このアップグレードを完了するには、重要なクライアントの変更は必要ありません。Heimdall V2へのアップグレードは将来の最適化の対象となる可能性がありますが、これは初期展開には必要ありません。
ブリッジの変更
このアップグレードを完了しても、FXportalまたはPlasma BridgeをサポートするStatesYncメカニズムを変更する必要はありません。また：
-
統一ブリッジは、スタンドアロンの新しい橋として配備されます。
-
POSポータルマッピングを使用するトークンは、FXportalの代わりに統一ブリッジを使用するようにアップグレードされ、POSポータルは非推奨になります。
タイムライン
この議論の結果が満足のいくものである場合、正式なPIPがリリースされます。主な依存関係は、夏の間に完成すると予想される悲観的な証明の生産対応の実装を完了することです。完了すると、正式なPIPがリリースされ、秋に完成する可能性が最も高くなります。このスケジュールに続いて、コミュニティが受け入れると仮定すると、ポリゴンPOSを凝集器に接続することは、2024年末までに行われる可能性があります。
一方、Polygon Posのコアエンジニアは、今後のAhmadabad Hard Forkが7月に展開されることを期待しており、Heimdall V2はしばらくして発売される予定です。現在、どちらのアップグレードも、Polygon POSをAgglayerに接続する依存関係ではありません。ただし、ハイムダルのより深い変更を必要とするコンセンサス証明を実装する別の方法があります。
実用的な問題
署名ベースのコンセンサス証明
この提案は、Polygon Plonky3を使用してPolygon POSを表すコンセンサスの概要を示しています。SP1ZKVMは、Rustのメンテナビリティと開発者の速度の利点を提供します。大まかに言えば、コンセンサスの証拠の目標は、ローカルチェーン状態を表すことです。これは、Heimdallを変更して異なる署名方法を使用することでも実行できます。
たとえば、コンセンサス中にBLSまたはICE-FROSTしきい値の署名が使用された場合、個々の署名はAgglayerのコンセンサスを表すことができます。このアプローチの利点の1つは、その単純さです。ポリゴンPOSと凝集器間の通信は、チェックポイントをL1に提出する現在のプロセスと同じプロセスと同じプロセスであるHeimdallにタスクとして追加できます。
潜在的な欠点は、このアプローチには、ネットワークのコンセンサスメカニズムへのより深い変更が必要であり、開発時間を延長する可能性があることです。この設計により、新しいネットワークの役割が必要になります。
Agglayerと通信するネットワークロール
Polygon POSがコンセンサスの合意証明を使用してAgglayerに接続するには、新しい役割が必要です。この役割は、次の情報をAgglayerに提出する責任があります。
-
ネットワークのローカルブリッジステータス。
-
コンセンサスの証明。
この機能をどのように、誰が実行するかは、積極的な調査の領域です。高レベルでは、プロトコル研究者は次のいずれかを検討しています。
-
リストアドレスがこの役割を最初に実行することを許可します。凝集器スタックを強化する機会があった後、許可がないようにすることを目標にします。
-
この役割はすぐに許可を必要としません。その場合、ネットワーク参加者は、まだ定量化されていないいくつかの報酬と引き換えにこの機能を実行します。これが優先オプションであり、他のセキュリティの問題がない場合は、このネットワーク参加者を選択するメカニズムを決定する必要があります。
要約します
4億を超えるユニークな住所、イーサリアムから橋渡しされた20億ドル以上の資産、および数万のアプリケーションを備えたPolygon Posは、世界で最も広く使用されているブロックチェーンの1つです。ユーザーと開発者は、それが強力なコミュニティ、ネットワーク効果、すべての人に低い料金を抱えているため、それを愛しています。多くの場合、有名なイーサリアムL2よりも数桁低いためです。
Polygon Labsのコア開発者は、長年にわたってEthereum拡張技術の研究開発に焦点を当ててきました。長年にわたり、彼らは2つの結論に達してきました。ZKテクノロジーは検証可能なオフチェーンコンピューティングを実装する唯一の実用的な方法であり、集約はチェーンの主権を犠牲にすることなくマルチチェーンの相互運用性を達成する唯一の方法です。
簡潔なラボとポリゴンラボの共同の取り組みは、オープンソーステクノロジーとのコラボレーションが最高の公益を構築できるという共通の信念に基づいています。Polygon POの将来に関する議論の結果は、最終的にコミュニティの手にあります。再び、提案の実施に関するコンセンサスに到達することを分析、議論、希望するように勧めます。
