Morph protocol

Morphプロトコルアーキテクチャには、主にモジュラーで分散型のシーケンサーネットワークとレスポンシブな妥当性証明が含まれています。レスポンシブな妥当性証明は、Morphによって提案された新しい検証方法であり、詐欺防止と妥当性証明の利点を組み合わせています。

モジュラリティのモルフ

モジュラリティは、Layer1をコンセンサス、実行、データの可用性、決済の4つのモジュールに分割できるアーキテクチャ設計を表す用語です。Layer2も複数のモジュールに分割できます。

モーフには重要な3つのモジュールがあります。各役割は、モジュールがシームレスに動作することを確実にするために役割を果たします。各役割は異なるコンポーネントで構成されています。これらの基本的なコンポーネントは、それぞれの主権を保持しながら効果的に協力します。3つのモジュールは、コンセンサスと実行を担当するシーケンサーネットワーク、決済を担当する楽観的zkEVM、およびデータの可用性を担当するロールアップです。

Morph'sロールアップ戦略は効率を最大限に引き出します。取引には複数のバッチが含まれ、バッチには複数のブロックが含まれます。さらに、zk-proof機能により、ブロックの内容が圧縮され、Layer1データの可用性のコストを効果的に管理します。

分散型シーケンサーネットワーク

従来のLayer1では、プルーフオブワークシステムのマイナーやプルーフオブステークシステムのバリデータノードがトランザクションをパッケージ化して処理します。マイナーやノードは、ブロックをパッケージ化、シーケンス化、生成することができます。

多くの現行のLayer2デザインは、競争やステーキングコストに影響されない単一の役割を採用し、すべてのLayer2トランザクションのパッケージ化とシーケンスを担当しています。 この役割は「シーケンサー」と呼ばれます。 その責務はシーケンスにとどまらず、L2ブロックの生成、定期的なLayer 2トランザクションと状態変更のLayer 1へのコミット、および提出に関する潜在的な課題の解決にも責任を負っています。

中央集権的なシーケンサーがLayer 2トランザクションのシーケンス化およびパッケージ化において単独で制御することに対する懸念があります。さらに、中央集権的なシーケンサーは単一障害点、過剰なトランザクションレビュー、MEVの独占などの問題を抱えることになります。

Morphは、他のRollupプロジェクトとは異なり、分散型シーケンサーネットワークの確立を重視しています。そのアーキテクチャデザインは、効率の向上とコスト削減に焦点を当てています。Morphのソリューションは、Layer2での高速な実行と取引確認を確実にし、分散化を目指しています。さらに、Morphはネットワークのスケーラビリティと管理の容易性の原則に従い、シーケンサーネットワークの設計では、保守、拡張、更新の容易さを優先しています。ネットワーク機能の保守が必要な場合、他の機能の運用を妨げてはなりません。さらに、シーケンサーネットワークは、新しい効率的なソリューションが現れるにつれて、適応性があり、簡単にアップグレードできる必要があります。

レスポンシブな有効性証明

Optimistic Rollupプロジェクトで使用される不正証明メカニズムは、非インタラクティブな不正証明とインタラクティブな不正証明の2つのカテゴリに分けることができます。

非対話型詐欺証明とは、シーケンサーによって提出された新しいステートが問題にされたとき、L1は対応するすべてのL2トランザクションを実行し、有効なステートを生成し、それをシーケンサーによって提出されたステートと比較して詐欺が発生したかどうかを判断します。詐欺が発生した場合、非対話型詐欺証明では、関連するバッチ内のトランザクションをL1が完全に再実行する必要があり、高いガスコストが発生します。

対話型詐欺証明は、対話型詐欺証明の問題を解決するために導入された複数ラウンドの対話型詐欺証明です。その中心的な考え方は、シーケンサーとチャレンジャーの間で複数のラウンドのやり取りを通じてエラーの原因となる具体的な命令の実行を決定し（EVMでは、トランザクションの実行は複数のEVM命令に分割され、状態の遷移を完成させます）、次に以下の方法によって詐欺があるかどうかを確認します: L1で対応する命令を実行します。このアプローチの利点は、L1が微小な操作だけを行う必要があるため、計算コストが大幅に削減されることです。同時に、L1の実行がEVM命令レベルに細分化されるため、L1とL2の間の結果の不一致の問題が大幅に軽減されます。ただし、問題も明らかです。上記の説明からもわかるように、対話型詐欺防止の論理は非対話型よりもはるかに複雑であり、実装の難しさが高く、チャレンジ期間がより長くなります（すべての複雑なやり取りを完了することを保証するために十分な時間を確保する必要があります）。

上記の2つの証明方法にはかなりの欠点があります。Morphは新しい検証方法を提案しました：応答性のある有効性証明。これはOptimistic Rollupと有効性証明を組み合わせ、ZK-Proofを利用して状態の正当性を検証します。

レスポンシブな妥当性証明の利点は、挑戦期間を7日から1〜3日に短縮することです。それだけでなく、L2の提出コストを大幅に削減することもできます。妥当性証明に基づいて、L2にはほとんどのトランザクションバイトを含める必要はありません。挑戦者に対してより親切です。基本的なL2状態の維持と識別に加えて、チャレンジをトリガーする責任だけが必要であり、シーケンサーは自身が正しいことを証明する必要があります（対応するZK-証明を生成および検証することによって）。

プロジェクトのロードマップ

2024年には4つのクォーターに分かれたプロジェクトがあります。第1四半期には、Sepoliaテストネットが立ち上げられます。第2四半期には、Holeskyテストネットが立ち上げられ、EIP-4844とzkEVMアップグレードとの統合が行われます。第3四半期には、メインネットが立ち上げられました。第4四半期には、メインネットのアップデートが行われます。現在、プロジェクトは第2フェーズを進行中です。

ファイナンスの背景

BlockBeatsによると、3月20日、Ethereum L2 MorphはDragonfly Capital、Pantera Capital、Foresight Ventures、The Spartan Group、MEXC Ventures、Symbolic Capital、Public Works、MH Ventures、Everyrealmの共同投資による1900万ドルのシードラウンド調達の完了を発表しました。

さらに、Morphは天使ラウンドファイナンスで100万ドルを受け取りました。投資家には、Polygon、Manta、Galxe、Sei、Nansen、Story Protocolなどのプロジェクトの創設者や、Icebergy、MoonOverlord、NaniXBT、DingalingなどのKOLが含まれています。Morphは、このラウンドの資金を使用して、チームビルディングを加速し、開発者のインセンティブを増やし、マーケティングを拡大するなどの計画を立てています。

ステートメント：

1. この記事は元々「理解するMorph：初のレスポンシブ有効性証明のイーサリアムL2」と題されたもので、theblockbeats]. すべての著作権は元の著者[Frost＆ ジャック]. If you have any objection to the reprint, please contact Gate Learnチーム、チームはできるだけ早く対応します。

2. 免責事項：この記事で表現されている意見は、著者個人の意見を表しており、投資アドバイスを構成するものではありません。

3. 他の言語への記事の翻訳はGate Learnチームによって行われます。特に言及されていない限り、翻訳された記事のコピー、配布、または盗用は禁止されています。