上线が近づいている、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 の二つのレイヤー間で安全かつ分散型に資産を移転できるようにします。
これは、イーサリアムメインネットにデプロイされたコントラクトと、特定のロールアップネットワークにデプロイされた同じコントラクトの二つで構成されています。
L1 コントラクトでは、資産はロールアップ間で移転できます。一方、L2 コントラクトでは、資産はメインネットとロールアップ間で移転できます。
スマートコントラクトを通じて、zk Bridge は異なる L2 ネットワーク間のローカル相互運用性もサポートします。
小結
要するに、Polygon の zkEVM はイーサリアムネットワークのスケーラビリティ問題を改善する非常に有望なソリューションです。
zk-SNARK 回路を利用して有効性を実現し、ハイブリッドモードでデータ可用性を実現することで、分散化、効率、攻撃からの保護を提供しながら、EVM 互換性を維持します。コンセンサスコントラクト、zk Node、zk Prover、zk Bridge が協力して、安全で分散型のトランザクション処理を実現します。
ローンチが近づく中、Polygon zkEVM はイーサリアムの成長と採用に大きな貢献をすることが期待されています。