Polygon zkEVMのテストネット状況最後のアプローチアップグレードされた

最後のアプローチアップグレードされたPolygon zkEVMの最後のテストネットと題してポリゴンがzkEVMのテストネットの状況を伝えています。

以下です。

10月に最初のPolygon zkEVMパブリックテストネットが開始されたとき、イーサリアムのスケーリングの遠い未来が、今日、現実のものとなったのです。

Polygonの研究者たちは、Ethereumを当初から定義してきた協調的でビルトインされたパブリックな倫理観で、コミュニティにテストネットへの参加を呼びかけました。開発者は、PolygonのzkEVMを駆動するソースコードで利用可能なゼロ知識（ZK）証明システムに目を通し、不明瞭な明日ではなく、今すぐにでもその有効性を調査することができます。

この画期的な技術の安全性を確保するために、Polygonは最近、Polygon zkEVMの継続的な監査を発表しました。2つのセキュリティ会社がzkEVMの37のコンポーネントを分析する任務を負っています。監査の日程は？どれだけ時間がかかろうとも、です。セキュリティは競争ではないので、バグを発見して踏みつぶすことは、メインネットに向けた重要なステップです。

監査が進む中、Polygonはもう一つのマイルストーンを発表することができました。

Polygon zkEVMのメインネット前の最終テストネットには、コードの大幅なアップグレードが含まれています。ポリゴンの研究者は、zkEVMにおける再帰の先駆的な使用を導入し、その結果、バッチアグリゲーションが実現されました。さらに、最適化された証明器は、バッチの証明を4分未満で生成するようになりました（10分から短縮）。パイプラインにある他の最適化により、最終的なテストネットは、Polygon zkEVMがどのようにその筋肉を発揮し、Ethereumのユーザーに低コストでより速いスループットを提供するのかを示しています。

(ほぼ)最終形。PolygonのzkEVMをアップグレードする

まず、最初のテストネットの総成長指標を簡単に見てみましょう。

Polygon zkEVM for mainnetのほとんどの期待された機能は、最終テストネットに実装されました。

監査で発見されるどんなバグを差し引いても、Polygon zkEVMが完全なEVM同等性をもって何ができるかを体験していただけると思います。では、2つ目のテストネットでは何がアップグレードされたのでしょうか、そしてなぜそれが重要なのでしょうか。

再帰性の実現

再帰性の導入により、Polygon zkEVMは1つのZK有効性証明を使って他のZK証明のバッチを検証し、その各々が複数のトランザクションを検証することができるようになりました。これを指数関数的なスケーリングと考えることができます。

zkEVMがスケーリングの「聖杯」と考えられている理由は単純で、多くのトランザクションのバッチを1つの証明に巻き込んで処理することができるからです。最初のテストネットでは、Polygon zkEVMはまだ1つのプルーフに対して1バッチのトランザクションで動作していました。

しかし、再帰性を利用することで、任意のZK証明を1つの上位証明に集約して検証することができるようになりました。これは、2つの鏡が互いに向かい合う無限後退のようなもので、Ethereumのスケーリングに大きな影響を及ぼします。

証明時間の短縮と手数料の低減

複数の証明器を並列にサポートすることで、スケーラビリティを実現。これにより、証明の生成はより高速になり、ユーザーにとってのコストは低下した（すでに1トランザクションあたり$.04以下）。しかし、この点は今後数カ月間、さらなる研究とアップグレードを実施し、手数料をさらに引き下げるために取り組むべき領域であることに変わりはない。

バッチアグリゲーション

Polygon zkEVM の内部では、シーケンサーが基本的な役割を担っています。つまり、トランザクションの束を掴んで「バッチ」にし、zkProver が妥当性証明を作成するために処理することができるようにします。

この最終テストネットでは、バッチ作成のための大規模な改良を導入しています。このアップグレードは、より多くの署名検証を可能にし、トランザクション数を増加させるために、バイナリステートマシンとKeccakを最適化した結果である。さらに、このアップグレードでは、zkROMの改良を導入し、バッチの演算処理と容量を最適化しました。

その結果？1つのトランザクションのバッチ内に収まるガスのスループット量は、400万から1000万へと2倍以上に増加します。これは、手数料の大幅な削減とスループットの向上を意味します。