Eclipse の創設者である Neel Somani は、かつて Airbnb でソフトウェア エンジニアとして、また Citadel で定量研究者として働いていましたが、2022 年に Solana を拠点とするスタートアップ Eclipse を設立し、Solana の共同創設者である Anatoly Yakovenko と Polygon (Solana と Polygon の場合) の支援を受けました。互換性のあるロールアップ ブロックチェーンを構築します)。

2022年9月28日のCoinDeskのレポートによると、EclipseはPolychainが主導する600万米ドルのプレシードラウンドの資金調達と、Tribe CapitalとTabiyaが共同主導する900万米ドルのシードラウンドの資金調達を無事完了し、調達総額は1,500 万米ドル。さらに、Eclipse は、Solana 仮想マシン駆動のロールアップをサポートするために、Solana Foundation から開発助成金も受け取りました。

Eclipse の創設者である Somani 氏は、自分の人脈と、Solana のシカゴ本社に近いという地理的利点を利用して、Solana の仮想マシンを使用した独自のチェーンの作成に成功しました。ビジョンは、開発者が Solana 仮想マシンを利用した Rollup を展開できるようにすることであり、2023 年初頭に Cosmos エコシステム上でパブリック テスト ネットワークを立ち上げる予定であり、将来的には Aptos の Move 言語をサポートする予定です。

Solana の共同創設者で Eclipse のエンジェル投資家である Anatoly Yakovenko 氏は、「Eclipse は、Solana がブロックチェーン間通信 (IBC) を通じて Cosmos と通信する道を切り開きます。」とコメントしました。

Polychain Capital のパートナーである Niraj Pant 氏は、「大企業や政府がブロックチェーン分野に参入し始める中、Eclipse は Web2 スケールの消費者アプリケーションや金融アプリケーションなどのユースケースを促進する重要なインフラストラクチャです。」とコメントしました。

Eclipseのアーキテクチャ

以下の内容は公式の説明に基づいています. Eclipse Mainnet は SVM を中心に構築された Ethereum の最初の汎用 L2 であり、モジュラー スタックの最良の部分を組み合わせ、SVM によって駆動される Ethereum の最も高速かつ最も汎用的な Layer 2 になることを目指しています。プロジェクトのアーキテクチャでは、決済層としてイーサリアムが使用され、公式の組み込み検証ブリッジに使用され、データ可用性層として Celestia が使用され、ゼロ知識不正証明の生成に RISC Zero が使用され、最後に Solana の SVM がモジュール式のレイヤー 2 プロジェクトとして実装されています。全体として。以下、公式の説明をもとに詳しく解説していきます。

決済層 - イーサリアム: Eclipse はイーサリアム (つまり、イーサリアム上の埋め込み検証ブリッジ) に決済し、ガス消費として ETH を使用し、不正行為の証拠もイーサリアム上で提出されます。

実行層 - Solana 仮想マシン (SVM): Eclipse は、Solana Labs クライアント (v1.17) のフォークである高性能 SVM を実行環境として実行します。

データ可用性レイヤー - Celestia: Eclipse はデータを Celestia に公開して、スケーラブルなデータ可用性 (DA) を実現します。

証明メカニズム - RISC Zero: Eclipse は ZK 不正証明に RISC Zero を使用します (中間状態のシリアル化は必要ありません)。

通信プロトコル - IBC: Cosmos のチェーン間通信標準 IBC を通じて、非 Eclipse チェーンとのブリッジングを完了します。

クロスチェーン プロトコル - Hyperlane: Eclipse と Hyperlane は提携して、Hyperlane のパーミッションレス相互運用性ソリューションを Solana 仮想マシン (SVM) ベースのブロックチェーンに導入します。

出典: Eclipse公式

決済層: イーサリアムのセキュリティと流動性へのアクセス

Eclipse は、他の Ethereum ロールアップと同様に決済層として Ethereum を使用します。このプロセスでは、Ethereum 上の Eclipse の検証ブリッジが Eclipse に直接組み込まれる必要があります。そのノードは、ユーザーがイーサリアムレベルのセキュリティ。

L2BEAT は、Layer2 を「イーサリアムの最初の層から完全または部分的にセキュリティを引き出すチェーンであり、そのためユーザーは資金の安全性を確保するために Layer2 バリデーターの完全性に依存する必要がなくなります。」と定義しています。 Eclipse Validation Bridge は、特定の障害条件下で究極の有効性と検閲耐性を強制し、シーケンサーがダウンしたり、L2 実行書き込みで検閲が開始された場合でも、ユーザーがブリッジを通じてトランザクションを強制的に完了し、トランザクション ガスとしてイーサリアムを使用できるようにします。

実行層: Solana のトランザクション速度と規模を把握する

効率を向上させるために、Eclipse Mainnet は SVM と Sealevel を使用した Solana の実行環境を採用しています (Solana は水平拡張技術ソリューションの構築に使用され、ハイパー並列トランザクション処理エンジンは GPU と SSD にわたる水平拡張に使用されます)。 EVM シングルスレッドから実行する場合と比較して、連続して実行するのではなく、重複する状態のトランザクションを設計せずに実行できるという利点があります。

EVM の互換性の問題に関しては、Eclipse Mainnet は Neon EVM と協力して、開発者が Ethereum ツールを活用し、Solana 上で Web3 アプリケーションを構築できるようにしています。公式データによると、そのスループットはシングルスレッド EVM よりも大きく、140TPS レベルに達する可能性があります。 EVM ユーザーは、MetaMask ウォレットの「Snaps」プラグインを介して、Eclipse Mainnet のアプリケーションとネイティブに対話します。

データの可用性: Celestia の帯域幅と検証可能な性質の活用

Ecilpse メインネットは、データの可用性と長期的な関係のために Celestia を活用します。その理由は、イーサリアムが現在 Ecilpse の目標スループットと料金を満たせないためであり、EIP-4844 アップグレード後でも、1 つあたり平均約 0.375 MB を提供できます。ブロック BLOB スペース (ブロックあたり約 0.75 MB に制限)。

公式データによると、ロールアップ拡張に基づく ERC-20 トランザクションはトランザクションあたり 154 バイトとして計算され、これはすべてのロールアップの合計約 213 TPS に相当します。圧縮スワップの場合、すべてのロールアップの TPS は約 400 バイトとして計算されます。トランザクションあたりのバイト数、約 82TPS。 Celestia によって開始された 2MB ブロックと比較して、Blobstream は、ネットワークが安定し、より多くの DAS (関連する拡張機能については以下で説明します) のライト ノードがオンまたはオフになった後、8 MB に増加すると予想されます。

Ecilpse は、Celestia の DAS ライト ノードのサポートにより、暗号化エコノミーのセキュリティと拡張性の高い DA スループットの間のトレードオフにより、Celestia が現在の Eclipse メインネットにとって最良の選択肢になったと考えています。現時点ではEthereum DAを使用するのがオーソドックスなLayer 2であるとの見方もありますが、EIP-4844以降のDA拡張の進展にプロジェクトチームは引き続き注目していきます。 DA、イーサリアム DA への移行の可能性を再評価します。

証明メカニズム: RISC Zero 不正証明 (中間状態のシリアル化なし)

Eclipse の証明方法は、Anatoly の SVM 不正証明 SIMD (詳細については GitHub 拡張リンク 2 を参照) に似ており、状態シリアル化の高コストを回避するという John Adler の洞察と一致しています。したがって、マークル ツリー (ハッシュ ツリー) を SVM に再導入することを避けるために、初期のプロジェクト パーティは SVM にスパース マークル ツリーを挿入しようとしましたが、トランザクションのたびにマークル ツリーを更新するとパフォーマンスに大きな影響を及ぼします。証明にマークル ツリーを使用しない限り、既存の汎用ロールアップ フレームワーク (OP スタックなど) は SVM ロールアップの基礎として機能できず、より創造的な障害防止アーキテクチャが必要になります。

失敗証明の要件: トランザクションの入力コミットメント、トランザクション自体、およびトランザクションを再実行すると、チェーン上で指定されているものとは異なる出力が得られることの証明。

入力コミットメントは、通常、ロールアップ状態ツリーのマークル ルートを提供することによって実装されます。Eclipse のエグゼキューターは、各トランザクションの入力と出力 (アカウントのハッシュ値と関連するグローバル状態を含む) のリスト、および生成されたトランザクション インデックスを公開します。各入力を入力し、トランザクションを Celestia に公開して、完全なノードがそれに従うことができるようにし、独自の状態から入力アカウントを取得し、出力アカウントを計算し、イーサリアムでのコミットメントが正しいことを確認します。

ここでは、2 つの重大なエラー タイプも考えられます。

不正な出力: バリデーターは、正しい出力チェーンで ZK 証明を提供します。 Eclipse は RISC Zero を使用して SVM 実行の ZK 証明を作成します。これは、BPF バイトコード実行を証明するプロジェクトの以前の作業を継続します (詳細については、GitHub 拡張機能リンク 3 を参照してください)。これにより、オンチェーンでトランザクションを実行することなく、決済契約の正確性を保証することができます。

間違った入力: バリデーターは、入力状態が要求されたものと一致しないことを示す履歴データをチェーン上に公開します。 Celestia の Quantum Gravity Bridge は、Eclipse の和解契約で履歴データに不正があることを検証できるようにするために使用されます。

ETH および Celestia への Eclipse 接続

画像ソース:@jon_charb

DA はロールアップコスト支出の主要部分の 1 つであり、現在、イーサリアム L2 でのデータ可用性には Calldata と DAC (Data Availability Committees) の 2 つの主な方法があります。

コールデータ: Arbitrum や Optimism などのレイヤー 2 ソリューションは、トランザクション データをチェーン上のコールデータとしてイーサリアムの検閲耐性の高いブロックに直接公開します。イーサリアムは、通話データ、コンピューティング、ストレージの価格設定を 1 つの単位であるガスに統一しています。ガスは、ロールアップのイーサリアムへの支出の主なコストの 1 つでもあります。効率を向上させるために、EIP-4844 アップグレードでは呼び出しデータを置き換える Blobspace が導入され、これによりすべてのロールアップに対してブロックあたり 375 KB の目標値が提供されます。

DAC: DAC は、オンチェーンで直接呼び出しデータを発行するよりもはるかに高いスループットを備えていますが、ユーザーは、悪意のあるデータの保留を避けるために、小規模な委員会またはバリデーターのグループを信頼する必要があります。再ステーキングベースのソリューションも含まれる DAC は、L2 に重要な信頼仮定を導入し、DAC がデータを保留する行為を禁止または罰するために評判、ガバナンス メカニズム、またはトークン投票に依存することを強制するため、外部 DA を使用する場合にはある程度の制限がかかります。 、DACが必要です。

Celestia は、Eclipse の Blobstream プルーフ オブ ステーク コンセンサス ネットワークを使用して、Layer2 が Celestia のブロブスペースにアクセスできるようにし、圧縮スキームに従って 8 MB のブロブスペースに達することを追加する必要があります。これは、1 秒あたり 9,000 ～ 30,000 回の ERC-20 転送にほぼ相当します。 。ただし、プロセスでの Blobstream のレイヤー 2 の使用は Celestia 検証者の認証に依存します。セキュリティ保証プロセスのライト ノードがデータを保持することで Celestia 検証者の 2/3 の悪意のある動作を検出した場合、罰せられる可能性があります。客観的に言えば、 DAC とネイティブ チェーン DA 信頼レベルと比較するとまだ欠点がありますが、イノベーションと市場ナラティブの観点から考えると、この欠点は避けられません。

画像ソース: Eclipse 公式 - Eclipse モジュラー インタラクション ロジック

公式ドキュメントによると、上の図に示すように、Celestia の Blobstream (前述したように、DAS 拡張に基づく Ethereum モジュラー DA ソリューション) を通じてイーサリアムに認証された Eclipse の Eclipse データはテストおよび実行されており、ブリッジは次のように動作することができます。 Celestia の署名済みデータ ルートにアクセスして、不正行為を防止するために提供されるデータ セキュリティを検証します。ユーザーはネイティブの Ethereum ブリッジ経由で Eclipse に資金を入金します。そのプロセスの概要は以下のとおりです。

1. ユーザーは、イーサリアム上の Eclipse デポジット ブリッジ コントラクトを呼び出します (コントラクト アドレスについては、拡張リンク 1 を参照)。

2. Eclipse の SVM エグゼキュータ (SVM 結果を計算し、Ecilpse の新しい状態ノードに出力) では、リレー (ETH および Eclipse チャネル) がユーザーの送信アドレスと受信アドレス間のクロスチェーン データ インタラクションを完了します。

3. リレーは SVM ブリッジ プログラムを呼び出します。このプログラムは、ユーザーのデポジットをターゲット アドレスに送信する役割を果たします。

4. リレーは、zk-light クライアント (実装予定) を介して入金トランザクションを検証します。

5. 後続の入金を含む最終転送トランザクション ブロックが完了し、Solana Geyser プラグインを通じて公開されます。

このプロセスでは、SVM 実行プログラムは、Geyser を通じて各 Eclipse スロットをメッセージ キューに公開し、そのスロットはデータ ブロックとして Celestia に公開され、Celestia のベリファイアは送信されたデータ ブロックを受け入れます。プルーフ トランザクションは Eclipse チェーンに含まれますデータ ルートに対応し、最終的に各 Celestia データ ブロックが Blobstream 経由でイーサリアム上の Eclipse ブリッジ コントラクトに中継されます。

画像ソース: Eclipse 公式: Celestia と SVM executor の相互作用

同時に、不正証明を使用するイーサリアムの他のレイヤー 2 と同様に、Eclipse とイーサリアム間の資金の引き出しにもクエリ ウィンドウ期間が必要であるため、状態遷移が無効な場合に検証者が不正証明を送信できます。

- SVM 実行者は定期的に Eclipse スロットのエポック (あらかじめ決められたバッチ番号に従って処理) コミットメントをイーサリアムに解放し、抵当権を解放します。

- Eclipse のブリッジ コントラクトは、パブリッシュされたデータ形式が損なわれていないことを確認するための基本的なチェックを実行します (詳細については、参考記事 [2] 不正防止設計の章を参照してください)。

- 送信されたバッチが基本チェックに合格すると、事前定義されたウィンドウが生成されます。このウィンドウ内でバッチがコミットされた場合、状態遷移が無効であることを意味し、検証者は不正証明書を発行できます。

- バリデーターが不正証明の発行に成功した場合、バリデーターは実行者の保証を獲得し、発行されたバッチは拒否され、Eclipse L2 の仕様状態は最後の有効なバッチコミットメントにロールバックされます。ここで、Eclipse マネージャーは新しい執行者を選出する権利を持ちます。

-しかし、詐欺の証拠がないまま異議申し立て期間が過ぎた場合、執行者は担保と報酬を回収します。

-最後に、Eclipse ブリッジ コントラクトにより、最終的なバッチに含まれるすべての出金トランザクションが完了します。

まとめ

Eclipse はまだ開発初期のテストネット段階にあり、Ethereum 上の最初の SVM Layer2 です。テストネットは現在オンラインで、メインネットは 2024 年第 1 四半期にリリースされる予定です。イーサリアムは現在もロールアップを中心的な開発ルートと考えており、正統性の話はさておき、これはイーサリアムが広義のレイヤー2をある程度市場に引き渡したことを意味しており、あからさまな権限付与も隠蔽されている。競争。 Eclipse はこれを利用し、モジュール開発を使用してイーサリアムのセキュリティ、Solana および Celestia DA の高いパフォーマンスを組み合わせて、強力な市場ナラティブを作成します。

イーサリアムの開発プロセスを振り返ると、非常に興味深い点は、市況の最終ラウンドが DeFi Summer の誇大宣伝によって推進され、「DeFi Matryoshka」と「DeFi Lego」に多数の革新と追加が加えられたことです。生態系全体の爆発的な発展を引き起こしました。このラウンドでは、LSDと再ステーキングの組み合わせで「ステーキング・マトリョーシカ」と「ステーキング・レゴ」の組み合わせが多数出現し、BTCエコシステムのEigenLayer、Blast、Merlinが短期的にTVLの新高値を更新することができました。マトリョーシカ人形とレゴを市場センチメントの主要なテーマと見なす場合、モジュール性は将来、独自のマトリョーシカ人形とレゴのメロディーを奏でることもできます。

モジュール化の魅力は、コンポーネントの分離の利点にあり、それによってスタックの各層でイノベーションが実現され、各モジュールの最適化が他のモジュールの最適化を増幅することができます。このプロセスでは、多数の競合するオプションが生成される可能性があります。