著者：YBBキャピタルリサーチャーAc-Core ソース：媒体 翻訳者：ゴールデンファイナンス大場善

Eclipse background

エクリプスの創業者ニール・ソマニ（Neel Somani）は、元エアビーアンドビーのソフトウェア・エンジニアである。

Eclipse Background

Eclipse 創設者のニール・ソマニは、Airbnb の元ソフトウェア・エンジニアで、Citadel のクオンツ・リサーチャーでもあり、2022年にソラナに拠点を置くスタートアップ企業 Eclipse を設立した。このスタートアップは、ソラーナの共同創業者アナトリー・ヤコヴェンコやポリゴン（建築）などの組織・個人から支援を受けている。 (RollupブロックチェーンはPolygonとSolanaと互換性がある）。CoinDeskが2022年9月28日に報じたように、EclipseはPolychainが主導する600万ドルのシードラウンドと、Tribe CapitalとTabiyaが共同主導する900万ドルのシードラウンドを成功裏に完了し、合計1500万ドルを獲得した。

創業者のソマニ氏は、シカゴにあるソラナ本社とのネットワークと近接性を活かし、ソラナのVMを利用した独自のゾーンを作り上げた。ソラーナの仮想マシンを使って独自のブロックチェーンを構築する。彼のビジョンは、開発者がソラーナのVMを搭載したロールアップを展開できるようにすることであり、将来的にはAptosのMove言語をサポートすることを視野に入れ、2023年初頭にCosmosエコシステムの公開テストネットワークを立ち上げる予定である。

ソラーナの共同創業者でエクリプスのエンジェル投資家であるアナトリー・ヤコヴェンコ（Anatoly Yakovenko）氏は、「エクリプスは、ソラーナがブロックチェーン間通信（IBC）を通じてコスモスと通信する道を開いた」とコメントしている。ソラーナがブロックチェーン間通信（IBC）を介してコスモスと通信するための道を開いた。"

ポリチェーン・キャピタルのパートナーであるニラジ・パント氏は、「大企業や政府がブロックチェーン領域に参入し始める中、Eclipseは、Web2規模の消費者向けアプリケーションや金融アプリケーションなど、彼らのユースケースを促進するための重要なインフラとなる。アプリケーションなどのユースケースを促進する重要なインフラとなります。"

エクリプス アーキテクチャ

以下は公式の説明に基づいています：エクリプスメインネットは、イーサ初のSVM中心の汎用L2であり、モジュール式で、かつ、高速なL2アーキテクチャを組み合わせています。プロジェクトのアーキテクチャーは、公式検証ブリッジを組み込んだ決済レイヤーとしてEtherを使用し、データ可用性レイヤーとしてCelestiaを使用し、ゼロ知識不正証明を生成するためにRISC Zeroを使用し、そして最終的に、このモジュール式Layer2プロジェクトの実行環境としてSolanaのSVMを使用します。以下は、公式の説明に基づく詳細な説明である。

決済レイヤー - イーサ:  Eclipseはイーサ上で決済し（イーサ上の組み込み検証ブリッジでも）、ガス消費にETHを使用し、イーサ上で詐欺証明を提出します；

実行レイヤー - Solana仮想マシン（SVM）： Eclipseは実行環境として高性能なSVM、特にSolana Labsクライアント（v1.17）のブランチを実行します。

データ可用性レイヤー -- Celestia: Eclipseは、スケーラブルなデータ可用性（DA）のためにCelestiaにデータをパブリッシュします。--RISC Zero: エクリプスはZKの不正証明にRISC Zeroを使用します（中間状態のシリアライゼーションは不要です）;

通信プロトコル - - IBC: エクリプスはZKの不正証明にRISC Zeroを使用します（中間状態のシリアライゼーションは不要です）。

クロスチェーンプロトコル - Hyperlane: エクリプスはハイパーレーンと提携し、ハイパーレーンのパーミッションレス相互運用ソリューションをソラナ仮想マシン（SVM）ベースのブロックチェーンに導入しました。

決済レイヤー：イーサのセキュリティと流動性を得る

他のイーサと同様に、エクリプスはイーサのロールアップを使用します。他のEther Rollupsと同様に、EclipseはEtherを決済レイヤーとして使用します。このプロセスでは、EclipseのValidation BridgeをEclipseに直接統合し、そのノードがValidation Bridgeの正しさとトランザクションオーダーの正しさをチェックして、ユーザーにEtherレベルのセキュリティを提供する必要があります。

L2BEATはレイヤー2を「ユーザーが資金を確保するためにレイヤー2のバリデータの正直さに頼る必要がないように、そのセキュリティの全部または一部をイーサの第1層から派生させるチェーン」と定義している。エクリプス検証ブリッジは、特定の失敗シナリオにおいて究極の有効性と検閲耐性を実行することができます。シーケンサーが失敗したり、L2で検閲を始めたりしても、ユーザーはブリッジを通してトランザクションを強制的に実行し、トランザクションのガスとしてイーサを燃やすことができる。

実行レイヤー：Solanaでトランザクションのスピードとスケールを実現

効率を高めるために、EclipseメインネットはSolanaの実行環境を採用し、SVMとSealevelを活用しています。Solanaの水平スケーラビリティ構築のための技術的ソリューションで、GPUとSSDを水平にスケールする超並列トランザクション処理エンジン)を活用したSolanaの実行環境を採用しています。EVMのシングルスレッド動作に対する利点は、トランザクションを逐次実行するのではなく、重複状態のトランザクションを設計せずに実行できることである。

EVMの互換性に関しては、EclipseメインネットはNeon EVMと提携し、開発者がイーサネットツールを使用し、Solana上でWeb3アプリを構築できるようにしています。公式データによると、スループットは140 TPSとシングルスレッドEVMよりもかなり高く、EVMユーザーはMetaMaskウォレットの「Snaps」プラグインを通じてEclipseメインフレーム上のアプリとネイティブにやり取りできる。

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

イーサは現時点ではEclipseの目標スループットをサポートできないため、Eclipseメインネットはデータの可用性と長期的なコラボレーションのためにCelestiaを活用します。Etherは現時点ではEclipseの目標スループットをサポートできないため、EIP-4844のアップグレード後もEclipseの目標スループットとコストをサポートできません。

公式データによると、ロールアップ拡張に基づくERC-20トランザクションでは、トランザクションあたり154バイトですべてのロールアップの合計が～213TPSに相当し、トランザクションあたり～400バイトで圧縮スワップに相当します。それに比べ、Celestiaの2MBブロック、Blobstreamは、ネットワークが安定し、より多くのDAS（Data Availability Sampling）ライトノードがオンラインになるにつれ、8MBに成長すると予想されている。

。Eclipseは、暗号経済的なセキュリティと高度にスケーラブルなDAスループットのトレードオフを考慮すると、Celestia DASライトノードによってサポートされるCelestiaが、現在のEclipseメインネットにとって望ましい選択であると見ています。イーサネットのDAを使用することがレイヤー2にとって正統的な方法であるという議論にもかかわらず、プロジェクトはEIP-4844を超えるDAの拡張の進展を引き続きフォローしていく。もしイーサネットがより大きく、より高いスループットのDAをEclipseに提供できるようになれば、イーサネットDAへの移行の可能性は再評価されるでしょう。

証明メカニズム：RISCゼロ詐欺証明（中間状態のシリアライゼーションは不要）

Eclipseの証明方法は、Anatoly氏のSVM詐欺証明SIMD（拡張されたGitHubリンク2を参照）に似ています。GitHubのリンク2を参照)に似ており、ステート・シリアライズの高コストを避けるというJohn Adlerの洞察に沿ったものです。SVMへのMerkle木（ハッシュ木）の再導入を防ぐための初期の試みは、SVMにスパースMerkle木を挿入することだったが、トランザクションごとにMerkle木を更新することはパフォーマンスに大きな影響を与える。証明にMerkle木を使用しなければ、既存の汎用Rollupフレームワーク（例えばOPスタック）をSVM Rollupの基礎として使用することはできず、より創造的なエラー防止アーキテクチャが必要となる。

Proof-of-failureは、トランザクションの入力約束、トランザクション自体、およびトランザクションの再実行が、チェーン上で指定された出力とは異なる証明になることを必要とする。

入力の約束は通常、Rollup状態ツリーのMerkleルートを提供することで達成される。Eclipseの実行者は、各トランザクションの入力と出力（アカウントハッシュと関連するグローバル状態を含む）のリストを公開し、各入力のトランザクションのインデックスを生成し、トランザクションをCelestiaにトランザクションを公開し、フルノードがそのトランザクションから入力アカウント自身のステートを抽出し、出力アカウントを計算し、イーサ上のコミットメントが正しいことを確認する。

発生する可能性のあるエラーには主に2種類あります：

誤った出力：バリデータはチェーン上の正しい出力のZK証明を提供します。プロジェクトを続けるには、BPFバイトコード実行が機能することを証明する（拡張GitHubリンク3を参照）。これにより、私たちの決済契約は、オンチェーンでトランザクションを実行する必要なく正しさを保証することができます。

入力エラー：検証者は、入力状態が宣言された状態と一致しないことを示す履歴データをチェーン上に投稿します。その後、Serastiaの量子重力ブリッジが使用され、Eclipseの決済契約が不正な履歴データの存在を検証できるようになります。

EclipseのETHおよびCelestiaへの接続

データ可用性（DA）は、ロールアップの主要コンポーネントの1つです。ロールアップのコスト支出の主要なコンポーネントの1つです。現在、イーサネットL2はデータ可用性のために2つの主要なアプローチに依存しています：calldataとDAC（データ可用性委員会）です。

- Calldata: 例えばArbitrumやOptimismのようなレイヤー2ソリューションは、calldataとして、高度に検閲に強いイーサのブロックに直接トランザクションデータを発行します。イーサの価格は、データ、計算、ストレージを単一の単位であるガスに帰属させる。効率を向上させるため、EIP-4844アップグレードではcalldataの代わりにBlobspaceを導入し、すべてのロールアップで1ブロックあたり375KBを目標としています。再カップリングに基づくソリューションを含むDACは、L2に対する重要な信頼前提を導入しているため、DACはデータの隠蔽を抑制または罰するために、レピュテーション、ガバナンスメカニズム、またはトークン投票に頼らざるを得ません。

注目すべきは、EclipseはCelestiaのBlobstreamを活用し、CelestiaのBlobspaceにLayer2がアクセスできるようにしていることです。圧縮スキームにもよるが、これは最大8MBのBlobスペースを実現でき、1秒あたり9,000～30,000ERC-20の転送にほぼ相当する。しかし、Blobstreamを使用するLayer2は、Celestiaの検証者による証明に依存する。ライトノードは、Celestia検証者の2/3が悪意のあるデータを隠していることを検出した場合、ペナルティを課すことができる。客観的に見て、DACの信頼性はネイティブチェーンDAと比較してまだ欠点がありますが、そのような欠点は技術革新と市場の物語の観点から避けられません。

公式ドキュメントで説明され、上の画像に示されているように、EclipseはCelestiaを介してBlobstreamの使用を実証しています(前述したように、DAS拡張に基づくイーサネット用のモジュール式DAソリューション)を介したイーサネット・プルーフ・オブ・データへのBlobstreamの使用を示している。これにより、ブリッジはCelestiaの署名済みデータルートに基づく不正証明に提供されるデータセキュリティを検証することができる。

1.ユーザーはイーサ上のEclipse Recharge Bridgeコントラクトを呼び出します（拡張リンク1のコントラクトアドレス）;

2.EclipseのSVMエクゼキューター（SVMの結果を計算し、新しいEclipseステートノードに出力する）とリピーター（ETHからEclipseへのチャネル）は、送信者と受信者のアドレス間のクロスチェーンデータ相互作用を完了します。

4.リピーターはzk-lightクライアント（実装予定）を介して入金トランザクションを検証する。

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

このプロセスの間、各EclipseスロットはGeyserを介してSVMエクゼキュータによってメッセージキューにパブリッシュされる。次にこれらのスロットはデータブロックとしてCelestiaにパブリッシュされ、CelestiaバリデーターはトランザクションがEclipseチェーンに含まれ、データルートに対応していることを証明するために、これらのサブミットされたデータブロックを提出する。最後に、各CelestiaデータブロックはBlobstreamを介してイーサ上のEclipseブリッジコントラクトに中継される。

不正証明を使用する他のEther Layer2ソリューションと同様に、EclipseからEtherに資金を引き出すには、チャレンジ期間が必要です。検証者は無効な状態遷移の場合に不正証明を提出することができます。

- SVMエクゼキューターは定期的にイーサ上のEclipseスロットエポックをサブミットし（プロセスはあらかじめ決められたバッチ数に従う）、担保を公開します。

- Eclipseのブリッジコントラクトは、公開された状態の完全性を保証するために基本的なチェックを行います。

-エクリプスのブリッジコントラクトは、公開されたデータフォーマットの整合性を保証するために基本的なチェックを行います（参考記事[2]の「不正設計の証明」のセクションを参照）。

-提出されたバッチが基本的なチェックに合格すると、事前に定義されたウィンドウが生成されます。

-このウィンドウ内で、バッチのコミットメントが状態遷移が無効であることを示す場合、検証者は不正証明を発行することができます。

-検証者が不正証明を発行することに成功した場合、執行者の担保を獲得し、提出されたバッチは拒否され、Eclipse L2の仕様の状態は、最後にコミットされた有効なバッチにロールバックされます。コミットされる。

-しかし、不正証明に成功することなくチャレンジ期間が過ぎると、実行者は担保と報酬を取り戻すことになります。エクリプスのブリッジ契約は、バッチに含まれるすべての引き出し取引の最終確認を完了します。

概要

エクリプスは現在、開発とテストの初期段階にあり、イーサ上で最初のSVM Layer2を示しています。テストネットワークは稼動し、メインネットワークは2024年第1四半期に稼動する予定です。EtherNetは引き続きロールアップを開発ロードマップの中核と位置付けています。オーソドックスな議論はさておき、これは多かれ少なかれ、EtherNetがLayer2の広範な定義を市場に委ね、様々な競争形態を微妙に導入しながら、公然と権限を与えることを意味します。Eclipseは、EtherNetのセキュリティ、Solanaの高性能、モジュール開発によるCelestiaのDAナラティブを組み合わせることで、強力な市場ナラティブを形成するためにこれを活用しています。

振り返ってみると、Etherの開発における興味深い現象は、DeFi Summerの宣伝の下、最後の市場サイクルで「DeFi Nesting」と「DeFi Lego」の革新と強化が急増したことです。「イノベーションと機能拡張が急増し、爆発的なエコシステムが形成された。Re-stakeと組み合わされた現在のLSDラウンドでは、"Pledge Nesting "と "Pledge Lego "の組み合わせが急増し、BTCエコシステムのEigenLayer、Blast、MerlinのTVLが短期間で急増した。ネスティングとレゴが市場心理の定番と見なされるなら、モジュール性も将来、独自のネスティングとレゴのメロディーを奏でることができるだろう。

モジュール性の美点は、スタックの各層でイノベーションを可能にするためにコンポーネントを切り離す利点にあり、各モジュールの最適化が他のモジュールの最適化を増幅することを可能にします。おそらく将来的には、モジュール式の開発プロセスによって、開発者とユーザーに競合する選択肢の多さを提供できるようになるかもしれません。