Polygon zkEVM Vitalikのフレームワークの中で明確化と今後の展望

Polygon zkEVM Vitalikのフレームワークの中で明確化と今後の展望というタイトルでPolygon zkEVMの説明を、ビタリクの考えの背景のもとどのように迎合していくのか、とともになされています。

見てみましょう。

Ethereumコミュニティでは最近、Polygon zkEVMの発表をはじめ、zkEVM（zero-knowledge Ethereum Virtual Machine）の発表が目白押しです。これらの技術がいかに新しく、またいかに多くの異なるアプローチが試みられているかを考えると、重要な概念や用語をめぐる活発な議論があったことは驚くには値しません。zkEVMとは何か？EVMの等価性とは？誰もが独自の視点と定義を持っているため、混乱することもあります。

幸運なことに、イーサリアムの共同開発者であるVitalik Buterinは、zkEVMの分類法を提供することを自ら決定しています。Vitalikの最近のブログポストは、私たちのコミュニティをzkEVMs全般に関する概念の明確化に大きく近づけます。また、PolygonのzkEVMが現在どのような位置にあり、今後どのような方向に進んでいくのかを知る上でも役立っています。

VitalikのzkEVMの展望

異なるタイプのzkEVMをどのように区別するかについて、多くの詳細な説明が含まれています。Vitalik氏にとっての重要な疑問は、あるzkEVMがどれだけイーサリアムそのものに近いかということです。補足すると、トレードオフは何か、なぜプロジェクトは異なるレベルの互換性を選択するのかということです。

Vitalik氏は、可能なzkEVMアプローチのスペクトルを説明しています。それらは、完全にEthereumと同等で「Ethereumについて何も変更しない」タイプ1から、「各EVM実行ステップの異なる部分をすべてZK証明せず、直接上位のコードから始めることによって」コストのかかる計算オーバーヘッドを回避するタイプ4まで、多岐に渡ります。

この投稿は広範囲に渡って詳述されていますが、要点は異なるタイプ間で同じままです：イーサリアムとの類似性は、パフォーマンスとのバランスを取る必要があります。zkEVMがEthereumに似ているほど、ゼロ知識証明の生成に時間がかかる傾向があります。

イーサリアムコミュニティへの貢献

Vitalik氏はこの分類法を示すことで、私たちにいくつかの恩恵を与えてくれています。まず、最も重要なことは、イーサリアムコミュニティがzkEVMのための中立的な概念的枠組みを持つようになったことです。私たちは彼のシステムを使って、zkEVMを他のプロジェクトと比較する際に、どのような側面が最も関連性が高いかをピンポイントで特定することができるのです。異なるプロジェクトの主要な特性が何であるかだけでなく、なぜそのような違いが存在するのかを説明することができるのです。

また、Vitalik氏は、プロジェクトが現在ある場所が、必ずしも将来ある場所になるとは限らないことも認識している。ZKテクノロジーは一般に、新興の最先端スペースであり、現在オンラインで提供されているさまざまなテストネットやアルファ版のzkEVMが、最終的に大きく異なる形に進化するのは当然と言えます。現在のところ、すべてのzkEVMはある意味、未完成品です。

Polygon zkEVM の位置付け

Polygon の目的にとって最も重要なことは、Vitalik が Polygon zkEVM をタイプ 2 zkEVM に向けて構築中のプロジェクトであると正しく認識していることです。彼の言葉を借りれば、”タイプ2のZK-EVMは、EVMと全く同等ではあるが、Ethereumと全く同等ではない “ことを目指すものです。開発者やユーザーの視点から見ると、タイプ2のzkEVMはEthereumのように見えますが、データ構造のレベルではいくつかの違いがあります。”タイプ2のzkEVMの目標は “既存のアプリケーションと完全に互換性があり、開発を容易にし、証明生成をより速くするためにイーサリアムにいくつかの小さな修正を加えることです。” このレベルのEVM同等性は、私たちが向かっているところです。

しかし、今のところ、Polygon zkEVMはメインネットへのステップを踏み、実装のさまざまな詳細を解決しているため、Vitalik氏は私たちをタイプ3に分類しています。彼によると、タイプ 3 の zkEVM はほとんどの既存プログラムと互換性がありますが、「タイプ 3 の ZK-EVM が削除するプリコンパイルを使用していたり、VM が異なる処理を行うエッジケースに微妙に依存しているために、書き換えが必要になるアプリケーションもあるでしょう」。Vitalik 氏は、現在の Type 3 プロジェクトが Type 2 になることを望んでいることから、Type 3 を「単なる過渡期」と適切に表現している。私たちは、これが現在のPolygon zkEVMを正しく表していると考えており、タイプ2の要件をすべて満たすことを期待しています。

今後の展望

私たちは、タイプ 2 の zkEVM を構築することが、Ethereum コミュニティのスケーリングニーズに応えるための最良の目標であると信じています。結局のところ、Ethereum は単なるブロックチェーンではありません。スマートコントラクト、開発者ツール、その他のコミュニティによる貢献など、豊かなエコシステムでもあるのです。

Ethereumをスケールさせる最善の方法は、この豊かな既存のエコシステムとの互換性を維持することであり、これがPolygon zkEVMがVitalikが “Type 2” として特定する強い等価性を追求する理由なのです。私たちはこのロードマップを守り、急速に近づくテストネットに期待します。

現時点では、Polygon zkEVMはコードをオープンソース化しています。EVMの等価性を確立するために使用されるEthereumテストベクター群の60％をすでにクリアしています。Polygon zkEVMのzkProverは、シングルCPUで5分以内に50万個のガスを処理できるようになりました。

これが現在の状況です。近い将来、クラス最高のType 2 zkEVMに向けて、さらに良い結果が得られると期待しています。この談話に明快さをもたらしてくれたVitalikに感謝します。

Polygon zkEVMの詳細については、Githubでソースコードをチェックし、私たちのブログでPolygonエコシステムの最新情報を入手してください。

その他

ソース：ポリゴンオフィシャル

ポリゴンzkEVMパブリックテストネット