原著者: YBB Capital 研究員 Ac-Core
日食の背景
出典：エクリプス公式サイト
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 を中心に構築されたイーサリアム初の汎用 L2 であり、モジュラー スタックの最良の部分を組み合わせ、SVM によって駆動されるイーサリアムの最も高速かつ多用途なレイヤー 2 になることを目指しています。プロジェクトのアーキテクチャはイーサリアムを決済層として使用し、公式の組み込み検証ブリッジに使用され、Celestia がデータ可用性層として使用され、RISC Zero がゼロ知識詐欺証明の生成に使用され、最後に Solana の SVM がモジュラー層として実装されています。 2 プロジェクト全体。以下、公式の説明をもとに詳しく解説していきます。
決済層 - イーサリアム: Eclipse はイーサリアム (つまり、イーサリアム上の埋め込み検証ブリッジ) に落ち着き、ガス消費として ETH を使用し、不正行為の証拠もイーサリアム上で提出されます。
実行層 - Solana 仮想マシン (SVM): Eclipse は、Solana Labs クライアント (v1.17) のフォークである高性能 SVM を実行環境として実行します。
データ可用性レイヤー - Celestia:Eclipse は、スケーラブルなデータ可用性 (DA) を実現するためにデータを Celestia に公開します。
証明メカニズム - RISC ゼロ:Eclipse は、ZK 不正行為の証明に RISC Zero を使用します (中間状態のシリアル化は必要ありません)。
通信プロトコル - IBC: Cosmos のチェーン間通信標準 IBC を介した非 Eclipse チェーンとの完全なブリッジング。
クロスチェーン プロトコル - ハイパーレーン:Eclipse と Hyperlane は、Hyperlane のパーミッションレス相互運用性ソリューションを Solana 仮想マシン (SVM) ベースのブロックチェーンに導入するために提携しました。
出典: Eclipse公式
決済層: イーサリアムのセキュリティと流動性へのアクセス
Eclipse は、他の Ethereum ロールアップと同様に決済層として Ethereum を使用します。このプロセスでは、Ethereum 上の Eclipse の検証ブリッジが Eclipse に直接組み込まれる必要があります。そのノードは、ユーザーがイーサリアムレベルのセキュリティ。
L2 BEAT は、レイヤー 2 を「ユーザーが資金の安全性を確保するためにレイヤー 2 バリデーターの完全性に依存する必要がないように、イーサリアムの最初のレイヤーからセキュリティを完全または部分的に引き出すチェーン」と定義しています。 Eclipse Validation Bridge は、特定の障害条件下で究極の有効性と検閲耐性を強制し、シーケンサーがダウンしたり、L2 実行書き込みで検閲が開始された場合でも、ユーザーがブリッジを通じてトランザクションを強制的に完了し、トランザクション ガスとしてイーサリアムを使用できるようにします。
実行層: Solana のトランザクション速度と規模を把握する
効率を向上させるために、Eclipse Mainnet は SVM と Sealevel を使用した Solana の実行環境を採用しています (Solana は水平拡張技術ソリューションの構築に使用され、ハイパー並列トランザクション処理エンジンは GPU と SSD にわたる水平拡張に使用されます)。 EVM シングルスレッドから実行する場合と比較して、連続して実行するのではなく、重複する状態のトランザクションを設計せずに実行できるという利点があります。
EVM の互換性の問題に関しては、Eclipse Mainnet は Neon EVM と協力して、開発者が Ethereum ツールを活用し、Solana 上で Web3 アプリケーションを構築できるようにしています。公式データによると、そのスループットはシングルスレッド EVM よりも大きく、140 TPS レベルに達する可能性があります。 EVM ユーザーは MetaMask ウォレットを使用します"Snaps "プラグインは、Eclipse Mainnet 内のアプリケーションとネイティブに対話します。
データの可用性: Celestia の帯域幅と検証可能な性質の活用
Ecilpse メインネットは、データの可用性と長期的な関係のために Celestia を活用します。その理由は、イーサリアムが現在 Ecilpse の目標スループットと料金を満たせないためであり、EIP-4844 アップグレード後でも、1 つあたり平均約 0.375 MB を提供できます。ブロック BLOB スペース (ブロックあたり約 0.75 MB に制限)。
公式データによると、ロールアップ拡張に基づく ERC-20 トランザクションはトランザクションあたり 154 バイトとして計算され、これはすべてのロールアップの合計約 213 TPS に相当します。圧縮スワップの場合、トランザクションあたり約 400 バイトとして計算され、すべてのロールアップが計算されます。 TPSは約82TPSです。 Celestia によって開始された 2 MB ブロックと比較して、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 プルーフ オブ ステーク コンセンサス ネットワークを使用して、レイヤー 2 が Celestia のブロブスペースにアクセスできるようにし、圧縮スキームに応じて 8 MB のブロブスペースに達することを追加する必要があります。これは、1 秒あたり 9,000 ～ 30,000 ERC にほぼ相当します。 .20 送信。ただし、プロセスでの Blobstream のレイヤー 2 の使用は Celestia 検証者の認証に依存します。セキュリティ保証プロセスのライト ノードがデータを保持することで Celestia 検証者の 2/3 の悪意のある動作を検出した場合、罰せられる可能性があります。客観的に言えば、 DAC はネイティブチェーンとは異なり、DA の信頼レベルにまだ欠陥がありますが、イノベーションと市場ナラティブの観点から考えると、この欠陥は避けられません。
画像ソース: Eclipse 公式 - Eclipse モジュラー インタラクション ロジック
公式ドキュメントによると、上の図に示すように、Eclipse は Celestia の Blobstream を通過し (DAS 拡張に基づく Ethereum モジュラー DA ソリューションが上で紹介されているため)、Ethereum に証明された Eclipse データがテストおよび実行され、ブリッジが可能になります。 Celestia の署名付きデータ ルートに基づいて、不正行為を防止するために提供されるデータ セキュリティを検証します。ユーザーはネイティブのイーサリアムブリッジ経由で 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 はまだ開発の初期テストネット段階にあり、イーサリアム上の最初の SVM レイヤ 2 です。テストネットは現在オンラインで、メインネットは 2024 年第 1 四半期にリリースされる予定です。イーサリアムは未だにロールアップを中心的な開発ルートと考えており、正統性の話はさておき、これはイーサリアムが広義のレイヤー2を市場にある程度委ねていることを意味しており、あからさまな権限付与も隠蔽されている。 。 Eclipse はこれを利用し、モジュール開発を使用してイーサリアムのセキュリティ、Solana および Celestia DA の高いパフォーマンスを組み合わせて、強力な市場ナラティブを作成します。
イーサリアムの開発プロセスを振り返ると、非常に興味深い点は、市況の最終ラウンドが DeFi Summer の誇大宣伝によって推進され、「DeFi Matryoshka」と「DeFi Lego」に多数の革新と追加が加えられたことです。生態系全体に爆発的な発展を引き起こしました。このラウンドでは、LSDと再ステーキングの組み合わせで多数の「ステーキング・マトリョーシカ」と「ステーキング・レゴ」の組み合わせが出現し、BTCエコシステムのEigenLayer、Blast、Merlinが短期的にTVLの新高値に到達することを可能にしました。 。マトリョーシカ人形とレゴを市場センチメントの主要なテーマと見なす場合、モジュール性は将来、独自のマトリョーシカ人形とレゴのメロディーを奏でることもできます。
モジュール化の魅力は、コンポーネントの分離の利点にあり、それによってスタックの各層でイノベーションが実現され、各モジュールの最適化が他のモジュールの最適化を増幅することができます。このプロセスでは、多数の競合するオプションが生成される可能性があります。
参考記事
【 1 】https://blog.celestia.org/introducing-blobstream/Blobstream の紹介: モジュラー DA をイーサリアムに配信
【 2 】https://mirror.xyz/eclipsemainnet.eth/0Q9NufkOPaRfCwi0yFj-_D 4 eONgscqpr 00 HGgYCwkHA ?ref=twitterEclipse の Canonical Ethereum ブリッジングおよび検証システムを探索する
拡張リンク
（1）https://sepolia.etherscan.io/address/0x7C9e161ebe55000a3220F972058Fb83273653a6eEcilpse デポジット契約ブリッジ アドレス
（2）https://github.com/solana-foundation/solana-improvement-documents/pull/65SIMD: SVM の不正防止
（3）https://github.com/Eclipse-Laboratories-Inc/zk-bpfBPF バイトコード実行のデモ
