研究レポート：初めてのSVM Layer2 -- Eclipse

Author: YBB Capital Researcher Ac-Core; Compiled by Block Rhythm

Eclipseの創設者であり、Airbnbの元ソフトウェアエンジニアでCitadelの定量研究者であるNeel Somani氏は、Solanaの共同創設者であるAnatoly Yakovenko氏とPolygonなどの支援を受け、2022年にSolanaベースのスタートアップEclipseを設立した（SolanaとPolygonの互換性を構築する）。2022年にソラナ共同創業者のアナトリー・ヤコヴェンコとポリゴンなどの支援を受け、ソラナベースのスタートアップEclipseを設立（ソラナとポリゴンの互換性のあるRollupブロックチェーンを構築）。

2022年9月28日にCoinDeskが報じたように、エクリプスはPolychainが主導する600万ドルのプレシードラウンドと、Tribe CapitalとTabiyaが共同主導する900万ドルのシードラウンドのクローズに成功し、合計600万ドルの資金を調達しました。イクリプスは、Polychainが主導する600万ドルのPre-Seedラウンドと、Tribe CapitalとTabiyaが主導する900万ドルのSeedラウンド、合計1,500万ドルの資金調達に成功した。

Eclipseの創業者であるソマーニ氏は、ソラナ社のイリノイ州シカゴ本社に近かったことと人脈を活かし、ソラナ社の成功を活用しました。Eclipseの創業者であるSomani氏は、シカゴにあるSolana本社との人脈と近さを生かし、Solanaの仮想マシンを使った独自のチェーン作りに成功した。将来的にはAptosのMove言語をサポートする予定であり、2023年初頭にはCosmosエコシステム上でパブリックテストネットワークを立ち上げる計画である。

Solanaの共同開発者でありEclipseのエンジェル投資家であるAnatoly Yakovenko氏は、「Eclipseは、Solanaがブロックチェーン間通信（IBC）を介してCosmosと通信するための道を開いた」とコメントしている。

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

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

以下はその内容である。 公式説明によると、エクリプス・メインネットはSVMを中心に構築されたイーサ初の汎用L2であり、モジュール式スタックの最良の部分を組み合わせたものである。公式説明によると、Eclipse MainnetはSVMを中心に構築されたEther初の汎用Layer2であり、モジュール式スタックの最良の部分を組み合わせ、Etherをクリアリング層とし、公式の組み込み検証ブリッジに使用し、Celestiaをデータ可用性層とし、RISC Zeroをゼロ知識不正証明の生成に使用し、最後にSolanaのSVMをモジュール式Layer2プロジェクトの全体的な実行として、SVMによって駆動されるEtherの最も高速で汎用的なLayer2となることを目指している。以下では、公式の説明に基づいて具体的な内容を説明する。

決済レイヤー - イーサ：Eclipseはイーサに決済し（すなわち、イーサ上の組み込み検証ブリッジ）、そのガス消費量としてETHを使用し、不正証明はイーサ上で提出されます;

決済レイヤー - イーサ：Eclipseはイーサに決済し（すなわち、イーサ上の組み込み検証ブリッジ）、そのガス消費量としてETHを使用し、不正証明はイーサ上で提出されます;実行レイヤー - Solana仮想マシン（SVM）：Eclipseは、Solana Labsクライアント（v1.17）のフォークである高性能SVMを実行環境として実行します。

データの可用性

証明メカニズム - RISC Zero: EclipseはRISC Zeroを使用します。

通信プロトコル - IBC: Eclipse以外のチェーンへのブリッジングは、Cosmosのチェーン間通信標準であるIBCによって行われます。-align: left;">クロスチェーンプロトコル-Hyperlane: エクリプスとHyperlaneは、Hyperlaneのパーミッションレス相互運用ソリューションをSolana Virtual Machine（SVM）ベースのブロックチェーンに導入するために提携しました。

Image credit: Eclipse Official

Settlement Layer: Accessing the Security and Liquidity of Ether

L2BEATは、レイヤー2を「ユーザーが資金を確保するためにレイヤー2のバリデータの完全性に依存する必要がないように、イーサの第1レイヤーから完全にまたは部分的にセキュリティを派生させるチェーン」と定義しています。 エクリプスのバリデーションブリッジは、特定の障害が発生した場合に究極の有効性と検閲耐性を実行します。検閲、たとえシーケンサーがダウンしたり、L2で検閲が始まったとしても、ユーザーはブリッジを使用してトランザクションを強制的に完了させ、トランザクションガスとしてイーサを使用してバーンスルーすることができます。

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

効率を高めるために、Eclipse MainnetはSolanaの実行環境を使用しています。Eclipse Mainnetの実行環境は、SVMとSealevel（Solanaが水平スケーリングを構築するために使用する技術ソリューションで、GPUやSSDを水平にスケールするための超並列化トランザクションエンジン）を使用しており、EVM上でシングルスレッドで実行するのとは対照的に、順次ではなくオーバーラップした状態のトランザクションを設計せずに実行できるという利点があります。

EVMの互換性に関して、Eclipse MainnetはNeon EVMと提携し、開発者がイーサネットツールを活用してSolana上でWeb3アプリを構築できるようにしました。EVMユーザーはその後、MetaMaskウォレットの "Snaps "プラグインを経由して、Eclipseメインネットでネイティブにアプリと対話します。

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

エクリプス・メインネットはCelestiaを活用し、データ可用性を実現し、エクリプス・メインネットに参入します。これは、1ブロックあたり平均0.375MB（1ブロックあたりの上限は0.75MB）のBlobsスペースを提供するEIP-4844のアップグレード後でさえ、イーサネットがEcilpseの目標スループットと料金を負担できないためです。

公式データによると、ロールアップベースのスケーリングを使用したERC-20のトランザクションは、トランザクションあたり154バイトですべてのロールアップを合わせて約213TPSに相当し、トランザクションあたり約400バイトの圧縮スワップでは、すべてのロールアップのTPSは約82TPSです。Celestiaが開始した2MBのブロックと比較すると、Blobstreamは、ネットワークが安定し、より多くのDAS（拡張の説明は後述）ライトノードが追加されるにつれて、8MBに成長すると予想されている。

Ecilpseは、以下のように考えている。Celestia's DAS light node support makes Celestia a good choice for Eclipse Mainnet today because the trade-off between a crypto-economy and highly scalable DA throughput.現在、イーサネットDAを使用することがオーソドックスなLayer2であるという見解があるにもかかわらず、プロジェクトはEIP-4844以降もDAのスケーリングの進捗を監視し続け、イーサネットがEclipseにより大規模で高スループットのDAを提供できるのであれば、イーサネットDAへの移行の可能性を再評価する予定です。

証明メカニズム: RISC Zero Fraud Proof (Serialisation without Intermediate State)

Eclipseの証明方法は、Anatoly氏のSVM Fraud Proof SIMD (詳細はGitHub extension link 2を参照) に似ており、ステート直列化の高コストを避けるというJohn Adler氏の洞察と一致しています。そのため、SVMにMerkle Tree（ハッシュツリー）を再導入することを避けるために、初期のプロジェクト関係者はSVMにSparse Merkle Treeを挿入しようとしたが、トランザクションごとにMerkle Treeを更新することはパフォーマンスに大きな影響を与えた。証明にMerkle Treeを使用しなければ、OP Stackのような既存の汎用ロールアップフレームワークをSVMロールアップの基礎として使用することはできず、より創造的な失敗証明アーキテクチャを必要とする。

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

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

ここでも2種類の大きなエラーが発生する可能性があります。

誤った出力：検証者は正しい出力チェーンのZK証明を提供します。EclipseはRISC Zeroを使用して、SVM実行のZK証明を作成します。これは、BPFバイトコード実行の証明に関するプロジェクトの以前の研究を引き継ぐものです（詳細はGitHub Extension 3を参照）。これにより、私たちの決済契約は、オンチェーンでトランザクションを実行することなく、正しさを保証することができます。

不正な入力：検証者は、入力状態が主張されたものと一致しないことを示す履歴データをチェーン上に投稿します。その後、CelestiaのQuantum Gravity Bridgeが使用され、Eclipseの決済コントラクトが過去のデータが不正であることを検証します。

EclipseのETHおよびCelestiaへの接続

Figure:@jon_charb

DAはロールアップのワットあたりのコストです。">DAはRollupのコスト出費の主要な部分の1つであり、Ether L2のデータ可用性には現在2つの主要なアプローチ、CalldataとDAC（データ可用性委員会）があります。

Calldata：ArbitrumやOptimismのようなレイヤー2のソリューションは、トランザクションデータをcalldataとして直接オンチェーンでイーサ上の検閲耐性の高いブロックに発行します。Etherはcalldataの価格をコンピュートとストレージと統一し、単一のユニットであるGasで統一しています。

DAC:DACはcalldataを直接オンチェーンに投稿するのに比べてはるかに高いスループットを持ちます。

DAC:DACは、カルデータを直接オンチェーンに投稿するのに比べ、スループットがはるかに高い。DACは、リステーキングベースのソリューションも含みますが、L2に重要な信頼前提を導入するため、DACはデータ非公開を抑制または罰するために、レピュテーション、ガバナンスメカニズム、トークン投票に頼らざるを得なくなります。text-align: left;">CelestiaのBlobstream権利証明コンセンサスネットワークがEclipseで使用され、CelestiaのBlobspaceへのLayer2アクセス、圧縮スキームによっては最大8MBのBlobspace、これは1秒あたり9,000から30,000のERC転送にほぼ相当することを付け加えておく。これは1秒あたり9,000～30,000ERC-20転送にほぼ相当する。しかし、Blobstreamを使用するLayer2は、プロセス中にCelestia認証者の証明書に依存しており、セキュリティ保証プロセスのライトノードは、2/3の認証者がデータを保持することで悪意を持って行動していることを検出した場合、Celestia認証者にペナルティを課すことができます。 客観的に言えば、DACはネイティブチェーンのDAと比較して、信頼性の点でまだ不足していますが、イノベーションと市場の物語性の観点から考えてみましょう。しかし、イノベーションと市場ナラティブの観点から考えると、この欠点は避けられない。

ソース: Eclipse Official - Eclipse Modular Interaction Logic

公式ドキュメントによると、上記のように、EclipseはCelestiaのBlobstream（上記のようにDAS拡張に基づくイーサネット用のモジュラーDAソリューション）を介して、イーサネットに証明されたEclipseのデータは、ブリッジがCelestiaの署名されたデータルートに対する不正防止のために提供されたデータのセキュリティを検証できるようにするためにテスト実行されている。

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

2.SVM実行ファイルでEclipseを実行します。.SVMエクゼキューター（SVM結果を計算し、Ecilpse新しいステートノードに出力する）のEclipse、およびリピーター（ETHとEclipseチャネル）は、ユーザーの送信アドレスと受信アドレスのクロスチェーンデータインタラクションを完了します;

3.リピーターはSVMブリッジプログラムを呼び出します。

4.リピーターはzk-lightクライアント（実装予定）を介して入金トランザクションを検証する。Geyserプラグインを介して完了し、公開されます。

このプロセスの間、SVMエクゼキュータは各EclipseスロットをGeyserを介してメッセージキューに公開し、そのスロットはデータブロックとしてCelestiaに公開され、CelestiaのバリデータはトランザクションがEclipseチェーンに含まれ、データルートに関連していることを証明するために、提出されたブロックを承認する。Celestiaのバリデータは提出されたブロックを承認し、トランザクションがEclipseチェーンに含まれ、データルートに対応していることを証明する。

Source: Eclipse official: Celestia interacts with SVM actuators

一方、Proof-of-fraudを使用するイーサの他のLayer2と同様に、Eclipseにはイーサから資金を引き出すためのチャレンジウィンドウがあります。エクリプスとイーサ間の引き出しもチャレンジウィンドウの対象となり、状態遷移が無効な場合に検証者が不正の証明を提出することができます。

SVM実行者は定期的にエクリプスのスロットのエポックをイーサにリリースします（プロセスはあらかじめ決められたバッチ数で担保にコミットし、リリースします）。

提出されたバッチがベースチェックを通過すると、事前に定義されたウィンドウが生成されます。このウィンドウでバッチがコミットされると、状態遷移が無効になり、検証者は不正の証明を公開することができます。/p>

-検証者が不正証明の投稿に成功した場合、彼らは実行者の保証を獲得し、投稿されたバッチは拒否され、Eclipse L2仕様の状態は最後に有効だったバッチのコミットメントにロールバックされる。

しかし、不正証明に合格することなくチャレンジ期間を通過した場合、執行者はその担保と賞を取り戻します。ブリッジ・スプライシングは、最終的なバッチに含まれるすべての引き出し取引を完了します。

概要

エクリプスは、まだ初期の開発テストネットの段階ですが、イーサ上の最初のSVMレイヤー2であり、テストネットは現在稼働中で、メインネットは2024年第1四半期に予定されています！メインネットワークは2024年第1四半期にリリースされる予定です。Eclipseは、オーソドックスな話題はさておき、Rollupをコア開発ルートとしてまだ考えています。これは、ある程度EtherNetがLayer2の広義の定義を市場に引き渡したことを意味します。そのため、明示的な権限委譲もあらゆる競争形態に隠れています。Eclipseはまさにこの点を利用し、モジュール開発を借りて、EtherNetのセキュリティ、Solanaの高性能、Celestia DAを組み合わせています。Celestia DAは、強力な市場シナリオを作成します。

Etherの発展を振り返ってみると、前回のラウンドでは、DeFi Summerの宣伝の下、多くの「DeFiセット」や「DeFiレゴ」のイノベーションとアップグレードが行われ、エコシステム全体の開発が爆発的に進んだことは興味深い。今回のラウンドでは、LSDとRe-stakingの組み合わせの下で、大量の「誓約入れ子人形」と「誓約レゴ」の組み合わせが登場し、BTCエコシステムのEigenLayer、Blast、Merlinが短期間で記録的な高TVLに達することができた。入れ子人形やレゴが市場心理の定番と見なされるなら、モジュール性は将来、独自の入れ子人形やレゴのメロディーを奏でることができるだろう。

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