作者:YBB Capital Researcher Ac-Core

Eclipse背景

Eclipse:将以太坊安全性,Solana高性能与Celestia DA三者叙事相结合的首个SVM Layer2

图源:Eclipse官网

Eclipse创始人Neel Somani曾在Airbnb担任软件工程师及在Citadel担任定量研究员,于2022年创立了基于Solana的初创公司Eclipse,并获得Solana联创Anatoly Yakovenko和Polygon等人/机构的支持(为 Solana 与Polygon构建相兼容的Rollup区块链)。据CoinDesk 2022年9月28日报道,Eclipse成功完成了由Polychain 领投的600万美元的Pre-Seed轮融资和由Tribe Capital、Tabiya 共同领投的900万美元种子轮融资,总融资额为1500万美元。此外Eclipse 还获得了来自 Solana 基金会的开发赠款,以支持 Solana Virtual Machine 驱动的 Rollup。

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 驱动的以太坊最快且通用的Layer2。项目架构是将以太坊作为结算层,并用于官方的嵌入式验证桥;Celestia 作为数据可用性层;RISC Zero 则用于生成零知识欺诈证明;最终将Solana 的 SVM 作为整体执行的模块化Layer2项目。下文将根据官方解释具体说明。

结算层 — 以太坊: Eclipse 将结算到以太坊(即在以太坊上的嵌入式验证桥),并使用 ETH 作为其Gas消耗,且欺诈证明也将在以太坊上提交;

执行层 — Solana 虚拟机 (SVM) :Eclipse 将运行高性能的 SVM 作为其执行环境,即Solana Labs 客户端(v1.17)的分叉;

数据可用性层 — Celestia:Eclipse 将把数据发布到 Celestia实现可扩展的数据可用性(DA);

证明机制 — RISC Zero : Eclipse 将使用 RISC Zero 进行 ZK 欺诈证明(无需中间状态序列化);

通信协议 — IBC:通过Cosmos 的链间通信标准IBC完成与非Eclipse链桥接;

跨链协议 — Hyperlane:Eclipse 和 Hyperlane 合作,将 Hyperlane 的无权限互操作性解决方案引入基于 Solana 虚拟机(SVM)的区块链。

Eclipse:将以太坊安全性,Solana高性能与Celestia DA三者叙事相结合的首个SVM Layer2

图源:Eclipse官方

结算层:获取以太坊的安全性和流动性

Eclipse与其它以太坊Rollup一样使用以太坊作为结算层,这一过程需将Eclipse在以太坊上的验证桥直接纳入Eclipse中,其节点需要检测验证桥的正确性和正确交易排序,以此让用户获得以太坊级别的安全性。

L2BEAT 将 Layer2 定义为“完全或部分从以太坊第一层获取其安全性的链,以便用户不必依赖 Layer2 验证者们的诚信来保障资金的安全性”。Eclipse验证桥可在某些故障情况下执行最终的有效性和抗审查性,即使排序器宕机或在 L2 开始审查,用户也能通过桥来强制完成他们的交易,并使用以太坊作为交易Gas进行燃烧。

执行层:获取Solana的交易速度和规模效应

为提升效率,Eclipse Mainnet采用了Solana的执行环境,采用SVM和Sealevel (Solana用来构建横向扩展的技术方案,超并行化事务处理引擎用于跨GPU 和SSD 进行水平扩展),这与EVM单线程的运行相比,其优势在于可在不设计重叠状态事务的情况下执行,而不是按序执行。

关于EVM兼容性问题,Eclipse Mainnet与Neon EVM合作让开发人员可以利用以太坊工具并在Solana 上构建Web3 应用程序,据官方数据,其吞吐量比单线程 EVM 更大可达 140TPS水平。EVM用户则通过MetaMask 钱包的 "Snaps "插件在Eclipse Mainnet中与应用程序进行原生交互。

数据可用性:采用Celestia的带宽和可验证性质

Ecilpse Mainnet将利用Celestia实现数据可用性并达成长期合作关系,其原因是以太坊目前无法支出Ecilpse的目标吞吐量和费用,即使在EIP-4844升级后,可为每个区块提供平均约 0.375 MB 的 Blobs 空间(每个区块的限制约为 0.75 MB)。

据官方数据,采用基于Rollup扩容的ERC-20交易,按每笔交易154字节计算,相当于所有Rollup的总和约213TPS,而对于Compression Swap按每笔交易约400字节计算,所有Rollup的TPS约为82TPS。相比Celestia推出的2MB区块,在网络证明稳定且更多DAS(相关扩展解释见下文)轻节点上下后,Blobstream预计将增加至8MB。

Ecilpse认为,在Celestia 的 DAS 轻节点支持下,出于考虑加密经济的安全性和高度可扩展的 DA 吞吐量之间的权衡,Celestia成为了当下 Eclipse Mainnet 的不二之选。即使当前存在使用以太坊DA才是正统Layer2的观点,但项目方仍会持续关注EIP-4844之后在DA扩展方面的进展,如果以太坊能为Eclipse提供更大规模和高吞吐量的DA,将重新评估迁移至以太坊DA的可能性。

证明机制:RISC Zero欺诈证明(无中间状态序列化)

Eclipse的证明方法类似于Anatoly的SVM欺诈证明SIMD(详见GitHub扩展链接2),这与John Adler的见解相符,即避免状态序列化的高昂成本。所以为避免重新将默克尔树(哈希树)引入到SVM中,早期项目方尝试在SVM中插入Sparse Merkle Tree,但每次事务更新默克尔树都会对性能造成巨大影响。如果不使用默克尔树进行证明,现有的通用Rollup框架(如 OP 堆栈)就不能作为 SVM Rollup的基础,这就需要更具创造性的故障证明架构。

故障证明要求:交易的输入承诺、交易本身以及证明重新执行交易会导致与链上指定的输出不同。

输入承诺通常是提供Rollup状态树的Merkle根来实现的,Eclipsse的执行器会发布每个事务的输入和输出(包括账户哈希值和相关全局状态)列表,以及产生每个输入的事务索引,并将交易发布到Celestia,让任何完整节点都可以跟进,从自己的状态中提取输入账户,计算输出账户,并确认以太坊上的承诺是正确的。

这里也会存在两种可能的重大错误类型:

不正确的输出 :验证者提供正确输出链上的 ZK 证明。Eclipse使用RISC Zero来创建SVM执行的ZK证明,这延续了项目方之前证明BPF字节码执行的工作(详见GitHub扩展链接3)。这使得我们的结算合约可以在不必在链上运行交易的情况下确保正确性。

不正确的输入 :验证者在链上发布历史数据,表明输入状态与宣称的不符。则利用Celestia的量子引力桥(Quantum Gravity Bridge)让Eclipse 结算合约核实历史数据存在欺诈行为。

Eclipse与ETH和Celestia的连接

Eclipse:将以太坊安全性,Solana高性能与Celestia DA三者叙事相结合的首个SVM Layer2

图源:@jon_charb

DA是Rollup成本支出的主要部分之一,目前以太坊 L2 的数据可用性主要有两种方法,Calldata 和 DAC(Data Availability Committees)。

  • Calldata:例如 Arbitrum 或 Optimism 等 Layer2 方案直接在链上将交易数据作为 calldata 发布到以太坊高度抗审查的区块中。以太坊将调用数据与计算和存储统一定价在一个单位下:Gas,这也是Rollup向以太坊支出的主要成本之一。为提升效率EIP-4844升级引入了Blobspace来取代 calldata,以此为所有Rollup提供了每个区块 375 KB 的目标值;
  • DAC:与直接在链上发布 calldata 相比,DAC 的吞吐量要高得多,但用户需要信任一个小型委员会或验证者小组,以避免恶意扣留数据。也包括再质押解决方案(Restaking-based solutions)在内的 DACs 对 L2s 引入了重大的信任假设,从而迫使 DAC 依靠声誉、治理机制或代币投票来抑制或惩罚隐瞒数据的行为,所以一定程度上讲使用外部DA时需要用到DAC。

需补充说明的是,在Eclipse中使用Celestia了Blobstream 权益证明共识网络,以允许Layer2访问Celestia的Blobspace,达到根据压缩方案 8 MB blobspace 这大致相当于每秒 9,000 到 30,000 个 ERC-20 传输。但过程中使用 Blobstream 的 Layer2 会依赖于 Celestia 验证者证明,安全保障过程轻节点如果检测到 2/3 的 Celestia 验证者通过保留数据的恶意行为,可将其进行惩罚,客观讲DAC与原生链DA的信任度相比仍存不足,但站在创新和市场叙事的角度思考这种不足是无法避免的。

Eclipse:将以太坊安全性,Solana高性能与Celestia DA三者叙事相结合的首个SVM Layer2

图源:Eclipse官方 - Eclipse模块化相互作用逻辑

据官方文档解释说明,如上图所示Eclipse通过Celestia的 Blobstream (如上文介绍基于DAS扩展的以太坊模块化 DA 解决方案),向以太坊证明的 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:将以太坊安全性,Solana高性能与Celestia DA三者叙事相结合的首个SVM Layer2

图源:Eclipse官方:Celestia 和 SVM 执行器互动

与此同时,和以太坊其它使用欺诈证明的 Layer2类似,Eclipse与以太坊之间提取资金也需质疑窗口期,便于验证者可以在状态转换无效的情况下提交欺诈证明。

  • SVM 执行器会定期向以太坊发布 Eclipse 插槽的一个 epoch(过程按预先确定的批次数量)承诺并发布抵押;
  • Eclipse 的桥接合约进行基础检查,以确保所发布的数据格式完好(详见参考文章【2】欺诈证明设计章节);
  • 如果提交的批次通过基础检查则会产生预定义窗口,在此窗口内如果批次承诺,意味着状态转换无效,验证者既可发布欺诈证明;
  • 如果验证者成功发布了欺诈证明,他们就赢得了执行者的担保,发布的批次被拒绝,Eclipse L2 的规范状态回滚到最后一次有效的批次承诺。在此Eclipse 的管理者将有权选出新的执行者;
  • 但如果通过了质疑期而没有通过欺诈证明,执行者将收回其抵押品和奖励;
  • 最后Eclipse 桥接合约会完成最终确定批次中所包含的所有提款交易。

小结

Eclipse目前仍处于早期开发测试网阶段,是以太坊上的第一个SVM Layer2,目前测试网已上线,主网计划于2024年Q1季度发布。以太坊目前仍是将Rollup视为核心的发展路线,抛开正统性话题不谈,这在一定程度上意味着以太坊将Layer2的广义定义交给了市场,所以明面的赋能也暗藏着各类形态的竞争。Eclipse正是借助这点,借用模块化的发展将以太坊安全性,Solana的高性能以及Celestia DA三者相结合起来进行强市场叙事。

回顾以太坊的发展进程,非常有趣的点在于上轮的市场行情是在DeFi Summer 的炒作下出现了大量“DeFi套娃”与“DeFi乐高”的创新和加码,让整个生态出现井喷式发展。本轮在LSD和Re-staking的结合下出现了大量的“质押套娃”和“质押乐高”组合,让EigenLayer、Blast 以及BTC生态的 Merlin 在短期内TVL屡创新高。如果将套娃和乐高视为市场情绪的主旋律,那模块化在未来也可以弹奏出属于自己套娃和乐高旋律。

模块化的魅力之处在于组件的解耦效益,从而实现堆栈中的每一层创新,让每个模块的优化都可以放大其它模块的优化,或许未来对于开发者和用户而言,模块化的发展进程可能会产生大量的可竞争选择。

参考文章

【1】https://blog.celestia.org/introducing-blobstream/ 介绍 Blobstream:将模块化 DA 传送到以太坊

【2】https://mirror.xyz/eclipsemainnet.eth/0Q9NufkOPaRfCwi0yFj-_D4eONgscqpr00HGgYCwkHA?ref=twitter 探索 Eclipse 的 Canonical 以太坊桥接和验证系统

扩展链接

(1)https://sepolia.etherscan.io/address/0x7C9e161ebe55000a3220F972058Fb83273653a6e Ecilpse存款合约桥地址

(2)https://github.com/solana-foundation/solana-improvement-documents/pull/65 SIMD:SVM的欺诈证明

(3)https://github.com/Eclipse-Laboratories-Inc/zk-bpf 证明BPF字节码执行