ETH L2について話すとき、私たちは基本的に他の技術的ソリューション（サイドチェーン、ステートチャネルは排除されています）について話しています。そして、OPロールアップとZKロールアップの間でよく議論されている論争が現在主流の議論のトピックになっています。主流の暗号化議論では、ZK ソリューションが Rollup! の最終テクノロジーになります。

少し前に、a16zcrypto は最新の zkEVM ソリューション Jolt をリリースしました。これは従来の技術ソリューションより 2 倍高速で、シンプルかつ効率的です。

現在の Jolt に加えて、もう 1 つの非常に期待されているソリューションは、MetisL2 によって開発された ProjectZKM です。これは、大きな可能性を秘めた独自の zkMIPS 証明アーキテクチャです。

各 ZK ソリューションと Metis 独自の ZKM の利点について詳しく学びましょう。

1/zkVM & zkEVM

zkVM はゼロナレッジ仮想マシンを指し、zkEVM はゼロナレッジ ETH 仮想マシンを指します。 2 つの概念は非常に似ており、どちらもプログラムの正しい実行を検証します。主な違いは、プログラムがチェーン上で実行されるか (zkEVM)、チェーン外で実行されるかどうか、およびスマートで記述されているかどうかです。契約言語とスマート コントラクト (zkEVM) をサポートします。

しかし、従来の zkVM は証明を生成する過程で多くの面倒な計算を実行するため、パフォーマンスが低く、広く使用されていませんでした。

2/ZKM (@ProjectZKM)

ZKM は、安全で検証可能なコンピューティングのためのソリューションを提供することを目的とした、zkMIPS と呼ばれる汎用 zkVM を構築しています。

zkMIPS には優れた可能性があります。
• 優れたプライバシー。情報を隠しながらデータの所有者であることを証明できます。
• 容量を適切に使用し、元のデータよりも小さいため、大量のデータの証拠を作成できます。
• 検証可能なコンピューティングにより、クラウド コンピューティング、ブロックチェーン、機械学習でトラストレス データの使用が可能になります。

3/ ZKM

zkMIPS メカニズム:

zkMIPS は、FRI プロトコルを使用していることを証明しています。簡素化を図るために、多くの最適化が行われています。
① プログラムの分割、各セグメントの並列証明を使用
②すべてのセグメントが同じサイズなので、継続証明の効率が最大化されます。
③Joltソリューションと比較して、探索パスが最適化されコストが削減されます。
④ オフチェーンおよびオンチェーンのプログラミング言語を MIPS に簡単にコンパイルでき、EVM の互換性がより広い

上記の利点により、ZKM はより高速で安全、より互換性の高いソリューションを提供できるようになります。

4/ ハイブリッドロールアップ

ZKM のロードマップでは、最初のフェーズでは、Op ロールアップと ZK ロールアップを組み合わせたハイブリッド ロールアップが開発されます。これは#Metisの切り札の 1 つでもあります。

紹介する前に、ファーストフード店の例を使って、Rollup とは何かを簡単に紹介します。

混雑したファーストフード レストランでの毎日のレジの混雑に対処するために、このレストランは、1 か月間のすべての顧客の注文を 1 つの取引にまとめられる新しいレジ システムを導入しました。

すべての注文を 1 つのトランザクションにまとめることにより、チェックアウトの効率が大幅に向上し、レストランの混雑が軽減され、テーブルの回転率が向上します。

5/ ハイブリッドロールアップ

同様に、ロールアップの原理は、イーサリアム上の複数のトランザクションをまとめてバンドルし、イーサリアム ネットワークの外で処理し、最終結果のみをマージしてチェーンに送信することで、混雑を効果的に軽減します。

現在主流の 2 つのロールアップは、OP と ZK です。

• OP はすべてのデータをパッケージ化してオフチェーンで処理しますが、トランザクション クエリを発行しないと待機時間が発生し、時間コストがかかるという欠点があります。

• ZK はトランザクションの有効性を検証するためにゼロ知識証明を使用します。これは時間コストは低いですが、複雑なトランザクションを処理するのは困難です。

6/ ハイブリッドロールアップ

OP と ZK にはそれぞれ長所と短所があることがわかり、ハイブリッド ロールアップが登場しました。

Rollup のフロントエンドは OP と似ていますが、ほとんどのトランザクションは検証に ZK を使用します。検証されたトランザクションは、OP の 7 日間の不正行為チャレンジを待たずに L1 に直接送信できます。検証に失敗したトランザクションのみが、OP の 7 日間の不正行為チャレンジフェーズに入ります。

その利点は、元の OP アーキテクチャを維持しながら、検証に必要な時間コストを大幅に削減し、セキュリティと効率が保証されていることです。

7/ ハイブリッドロールアップ

したがって、ZKM の全体的なプロセスは次のようになります。

• ユーザーがトランザクションを送信した後、OP ソーターはデータを並べ替えて圧縮します。
• zkMIPS のゼロ知識証明を通過した後、未確認のセキュリティ データが L1 にインポートされます。
• チャレンジされて失敗したトランザクションは、最終的に無効とみなされます。


8/ @メティスL2

業界では、ハイブリッド ロールアップはまだ一般的ではありません。このような革新的な技術ソリューションの設計と実装を支援するチームは @MetisL2 であり、ZKM は Metis チームによって育成および設立されました。

Metis はもともと OP Rollup をベースとした L2 でしたが、ZKM との研究開発により、OP Rollup からハイブリッド Rollup へのアップグレードを実現しました。これが Metis のヘッド L2 と#ARBおよび#OPとの最大の違いです。利点の1つ。

9/ @メティスL2

スター L2 パブリック チェーンとしての優れたハイブリッド ロールアップ ソリューションに加えて、Metis 自体のもう 1 つの特徴は、優れた分散型ソーターです。

現在#ARBや#OPなどのソーターは比較的集中化されており、検閲、MEV 抽出、および単一障害点という潜在的な欠点があります。

Metis は選別プールを確立することで上記の問題を解決します。

10/ @メティスL2

Metis のシーケンサー プールには、トランザクションの順序付けとパッケージ化を行うために連携して動作する多くのシーケンサーがあります。各ソーターはノードであり、ユーザーはホワイトリスト ユーザーとして選出され、20,000 $METIS トークンを誓約する必要があります。

このモデルの利点は次のとおりです。
• 大幅に改善された分散化
・仕分け・梱包効率が大幅に向上
• 同時に、単一点障害による損失を最小限に抑えることができます。

要約:


Metis は、私たちが楽観的に考えている数少ない ETH L2 プロジェクトの 1 つです。@MetisL2 が開発した @projectzkm ZK テクノロジー ソリューションには、大きな革新的な利点と可能性があります。現在の L2 市場では、Metis と ZKM のソリューションが L2 でより注目を集めています。同時に、Metis チームはエコロジー インセンティブ ファンドとして 4 億ドル相当の $METIS を調達し、多くの資金を受け取りました。 L2の間で注目を集めています。それだけに#Metisの将来性は計り知れません！