Eclipse 主网简介：以太坊 SVM L2
Eclipse Mainnet 是一个通用的第2层协议（L2），结合了模块化堆栈的最佳部分：
结算：以太坊 - Eclipse 将结算到以太坊（即内置的验证链桥将位于以太坊上）并使用 ETH 作为其 Gas 代币。
执行：Solana 虚拟机 (SVM) - Eclipse 将运行高性能 SVM 作为其执行环境。
数据可用性：Celestia - Eclipse 将其数据发布到 Celestia，以实现可扩展的数据可用性 (DA)。
证明：RISC Zero - Eclipse 将使用 RISC Zero 进行零知识欺诈证明（无需中间状态序列化！）
与 Eclipse 相关的大部分头条新闻都围绕着我们为一系列项目部署特定于应用程序的rollups的工作，但如今比以往任何时候都更加清晰的是，以太坊需要一个能够真正扩展的通用 L2。大多数应用程序无法从特定于应用程序的链自定义中受益，并且由此产生的隔离和复杂性实际上可能会导致更糟糕的用户体验和开发人员体验。
模块化rollup愿景与拥有可扩展的、并行执行的和共享状态的单链的能力之间经常存在错误的二分法。 “模块化”经常与“特定于应用程序”混为一谈，这会让您相信rollups意味着一个由许多碎片和低吞吐量链组成的世界。我们质疑这一想法。
执行：Solana 的速度和扩展性
Eclipse 主网将采用 Solana 领先的执行环境。这带来了巨大的优势：
优化并行执行
SVM 及其 Sealevel 执行时间以支持并行事务执行而闻名。不涉及重叠状态的事务可以并行执行，而不是按顺序执行。
随着处理器继续以更低的成本添加更多内核，SVM 能直接随硬件扩展。单线程执行时间（例如今天的 EVM）从根本上来说并未受益于从降低每个内核的成本。十多年来，单线程性能加速一直在不断减弱。几乎所有的改进仍来自于内核的增加，因此十分重要的是，要通过并行化工作负载来利用这一趋势：
早期有一些未经证实的并行化 EVM 尝试，但在保持兼容性的同时添加这一点会从根本上导致折衷，包括在不解决其他瓶颈（例如状态增长）的情况下降低性能。预先声明状态依赖关系的合约（如在 SVM 中）可实现最佳并行化。
本地费用市场
当今大多数费用市场都是全球性的，这意味着一个热门应用程序会增加链上所有用户的费用。铸造一个 NFT 不应让该链对在其他所地方变得毫无用处。 Solana 在本地费用市场上的出色工作解决了这种跨应用程序状态争论。在当前的实现中，时间调度程序优先考虑无冲突的交易，因此无冲突的交易能以较低的费用进行。从长远来看，本地费用市场将在协议层面实施。这确保了单个应用程序的费用峰值不会影响链的其余部分。
得益于 Solana 独特的并行执行时间，本地费用市场得以实现。尝试使用探索式方法（即不预先声明状态访问）为 EVM 中的状态热点实现本地费用市场将降低效率并可能导致攻击向量。
还有一些早期研究正在进行中，这些将允许应用程序轻松内化归属于它们的本地价值。在今天，这通常需要更具创造性的应用程序级设计。
状态增长管理
在 EVM 遇到顺序执行瓶颈之前，状态增长是其更紧迫的瓶颈。
由于状态没有 Merkle 树，因此 Solana 不会为每次状态更新产生 Merkle 树更新的开销。相反，在每个纪元（约2.5天）之后，整个状态都会被默克尔化。这比实时默克尔化（如 EVM 中的）要便宜得多。
更重要的是，EVM 具有动态帐户访问权限（即交易可按需触及任何状态）。动态状态查找意味着状态无法在执行之前加载到内存中。在 SVM 中，每个事务都指定执行所需的所有状态。
因此，状态大小不会影响 SVM 的执行。假设验证者每两年对存储磁盘进行一次升级，网络能安全地每两年将快照大小增加一倍，而不会遇到重大问题。
此外，像 Helius 这样的团队正在积极提高历史数据的可访问性，并通过压缩来减小状态大小。
EVM 兼容性
Neon EVM 是一种作为智能合约运行的 EVM，可部署在任何 SVM 链上。这为 Eclipse 主网带来了完全的 EVM 兼容性（包括 EVM 字节码支持和以太坊 JSON-RPC），并且吞吐量比单线程 EVM 更高。由于每个 Neon EVM 实例都有自己的本地费用市场，因此应用程序只需部署自己的合约即可获得应用程序链的优势，而不会用损害户体验、安全性或流动性。
另外，Solang 编译器可将 Solidity 智能合约代码编译为 SVM 字节码。
MetaMask 快照
将 EVM 用户引入非 EVM 链历来都是一大主要问题，但最近推出的 Metamask 快照将打破这一障碍。EVM用户可继续使用MetaMask，而无需切换钱包。得益于 Drift 的开源贡献而构建的出色 MetaMask快照实现，相当于用户体验了与任何 EVM 链交互。Eclipse 主网用户将能够与 MetaMask 中的原生应用程序交互，或使用 Solana 原生钱包（如 Salmon）。
Firedancer
Firedancer 是 Jump 开发的备受期待的 Solana 客户端，旨在大幅提高网络的吞吐量、弹性和效率。在发布时，我们将尽可能坚持使用 Solana 核心客户端，但我们计划在代码上线且稳定后采用 Firedancer。
安全
Solana 的执行时间大大减少了攻击面，从而防止了我们经常看到的恶意重入漏洞。具体来说，Solana 执行时间仅允许程序自递归，而不允许任意可重入的跨程序调用。此外，分离状态和代码会产生无状态代码，这通常更容易得到有效测试。
更易进行证明
SVM 基于寄存器，并且具有比 EVM 小得多的指令集，因此 SVM 的执行更容易在 ZK 中证明。对于optimistic rollups，基于寄存器的设计可更轻松地设置检查点。
结算：以太坊的安全性和流动性
与今天的主要rollups一样，Eclipse 主网将定驻于以太坊上。具体来说，这意味着我们在以太坊上的验证桥将直接纳入 Eclipse 中。Eclipse 节点将通过这座链桥来确定“规范链”。该链桥强制 Eclipse 执行正确的排序。
因此，我们的用户能够从以太坊获得某些安全属性。该链桥将验证所有 Eclipse 事务，以防止提交无效状态。此外，它将在某些失败情况下强制执行最终的存活和审查制度。即使排序器出现故障或开始在 L2 进行审查，用户也能通过链桥强制包含他们的交易。
由于这些安全属性，validiums 和 optimiums 扩展解决方案通常被称为“以太坊 L2”。 L2BEAT 将 L2 定义为“一条完全或部分从以太坊第1层协议获得安全性的链，这样用户就不必依赖 L2 验证器的诚实来保证资金的安全。”
以太坊结算认识到，以太坊原生资产可能在 Eclipse 主网的 DeFi 和 NFT 经济中发挥重要作用。 显然，ETH 是大多数用户更喜欢的最佳去中心化货币，因此我们也将使用 ETH 作为我们的 Gas 代币。从长远来看，费用抽象将使用户能够以他们选择的任何代币（例如 USDC）进行支付。目前 Eclipse 主网还未计划推出自己的代币。
数据可用性：Celestia 的带宽和可验证性
Eclipse 主网将利用 Celestia 来实现数据可用性（也称为数据发布或数据出版物）。Celestia 一直是 Eclipse 的长期生态系统合作伙伴。
不幸的是，以太坊当前的带宽不支持 Eclipse 主网的目标吞吐量和费用。即使在 EIP-4844 出现（又名“Proto-danksharding”）之后，这种情况仍然如此，它为每个区块提供平均约 0.375 MB 的 blobspace（每个区块的限制为约 0.75 MB）。
- 对于具有基本压缩的 ERC-20 传输（每笔交易约 154 字节），这相当于所有rollups的约 213 TPS 的传输速度。
- 对于压缩交换（每笔交易约 400 字节），这相当于所有rollups的约 82 TPS 的传输速度。
相比之下，Celestia 将在今年晚些时候推出 2 MB 大小的区块。一旦足够的数据可用性采样 (DAS) 轻节点上线并且网络达到稳定状态，Blobspace 预计将在启动后不久增加到 8 MB。 DAS 轻节点有两大关键功能：
使用户能够自行验证，Eclipse 区块数据已可用
- 有助于安全地扩展整个网络，因为随着更多 DAS 轻节点上线，DA 层可以安全地增加其吞吐量
- Celestia 预计将成为第一个随 DAS 投入生产而推出的 DA 层。这与传统的数据可用性委员会（DAC，Data Availability Committees）形成鲜明对比，后者在没有用户验证的情况下重新引入委员会诚实假设（类似于现有的整体区块链）。
对于将资金从以太坊主网桥接到任何使用链下 DA 的链的用户来说，有一个固有的安全假设。特别是在技术上，Celestia 验证者可保留交易数据，但向以太坊链桥声称该数据可用。实际上，Celestia 的权益证明共识意味着 Celestia 本身的数据扣留是可大幅削减的，我们认为这种风险不切实际。
总体而言，Celestia 的 DAS 轻节点从第一天起就提供支持的情况、加密经济安全属性和高度可扩展的 DA 吞吐量等，使Celestia成为当下 Eclipse 主网的明确选择。
请注意，出于上述原因，有些人将链上以太坊 DA 视为真正的“L2”的要求。我们将使用前面引用的更常见的 L2 术语，并且我们希望明确安全考虑因素。
我们还打算在 EIP-4844 之后监控以太坊在 DA 扩展方面的进展。令人期待的新研究不断涌现，有可能比以前的想法（使用更先进的分布式哈希表）更快地提供高吞吐量 DA。如果以太坊为 Eclipse 提供更大的扩展性以使我们的用户受益，我们将评估迁移到以太坊 DA 的可能性。
证明：RISC 零知识欺诈证明（无需中间状态序列化！）
我们的证明看起来类似于 Anatoly 的 SVM 欺诈证明 SIMD，这 John Adler 的看法类似，他认为状态序列化成本高昂，并且这是可以避免的。
具体来说，我们希望避免将 Merkle 树重新引入 SVM。早期，我们尝试将稀疏 Merkle 树插入到 SVM 中，但在每次事务后更新 Merkle 树会导致性能大幅下降。没有 Merkle 树的证明排除了现有的通用rollup框架（例如 OP Stack）作为 SVM rollup的基础，并且还需要更具创造性的防错架构。
在较高层面上，故障证明需要：
- 交易输入的承诺，
- 交易本身，以及
- 证明重新执行交易会导致与链上指定的输出不同的输出。
输入承诺通常是通过为rollup状态树提供 Merkle 根来进行的。我们的执行器将为每笔交易发布输入和输出列表（包括账户哈希和相关全局状态），以及产生每个输入的交易索引。交易被发布到 Celestia，因此任何完整节点都能从自己的状态中提取输入帐户，计算输出帐户，并确认以太坊上的承诺是正确的。
主要故障有两种可能：
- 不正确的输出 - 在这种情况下，验证者在链上提供正确输出的零知识证明。我们使用 RISC Zero 创建 SVM 执行的零知识证明，继续从事我们之前证明 BPF 字节码执行的工作。这使得我们的结算合约是正确的，而无需在链上运行交易本身。
- 不正确的输入 - 在这种情况下，验证者在链上发布对历史数据的引用，显示输入状态与声明的不同。在使用了 Celestia 的量子重力桥后，我们的结算合约可确保这些历史数据确实证明存在欺诈行为。
为什么是Eclipse、为什么是以太坊、为什么在当下
我们站在巨人的肩膀上。当今的rollups技术提高了我们整个行业的研究水平，并且与 L1 相比，它们让以太坊用户支付的费用更便宜。
然而，他们没有充分利用扩展到大众所需的最新技术。早期的rollups主要优先考虑 EVM 兼容性和/或优化，以实现更高效的零知识证明。不过最近，我们看到了惊人的进展，这消除了早期rollups所选择的权衡的需要，并且确实使它们处于不利地位：
- 高性能并行虚拟机（例如 SVM）
- 通过 DAS 轻节点支持进行 DA 扩展（例如 Celestia）
- 证明基础设施的进步使其在任何地方都实用（例如 RISC Zero）
- 提高代码（例如 Neon 和 Solang）和用户（例如 MetaMask Snaps）跨生态系统的可移植性
回头来看，Eclipse 具有巨大的好处。我们从其他链所面临的局限性中吸取经验，然后精心挑选最好的部分以实现长期扩展。
我们经常听说未来会出现一百万个特定于应用程序的rollups。
共识级别的定制对于某些应用程序（例如 dYdX v4）来说非常有价值，我们很乐意帮助团队启动特定于应用程序的rollups。
然而，这些案例很少且间隔很远。这就是为什么大多数新的rollups仍然只是普通的 EVM 分叉。并不能通过将用户体验分散到更多链上来解决开发者的问题。如今，似乎一百万个链的主要用例通常是再发行一百万个代币。如今，对于绝大多数用例来说，全栈定制的需求根本不存在。
即使真正的需求存在，支持许多具有竞争性用户体验的应用程序链所需的基础设施还需要数年时间（如果它能够达到标准的话）才能出现。Optimism 的超级链（OP Stack）、zkSync 的超链（ZK Stack）、Arbitrum 的 Orbit 链等都拥有共享基础设施的多链愿景。这样做的目的是为了在同一生态系统中的链之间（例如，超级链内的两条链之间）与完全隔离的链（例如，以太坊和 Solana 之间）之间提供更流畅的用户体验。
然而，当前的计划（若有）与单一共享状态的竞争仍然相去甚远。此外，它们没有解决跨生态系统的互操作性（例如，超级链到超链）。构建模块化并不意味着建造孤岛。
We’ve always appreciated the simplicity of Solana’s vision. One highly optimized shared state machine with the scale to support the majority of valuable use cases. This is often viewed as incompatible with a rollup-centric roadmap, but that is simply not the case. We want to combine the best of both worlds.
对于用户而言，跨多个链维护账户的复杂性更高。不断地桥接并担心你需要什么Gas代币，这将是更糟糕的用户体验。依赖基础设施提供商来运营和维护如此多的链更加复杂且昂贵。
我们一直重视 Solana 愿景的简单性。一种高度优化的共享状态机，其扩展性可支持大多数有价值的用例。这通常被视为与以rollup为中心的路线图不兼容，但事实并非如此。我们希望将两者的最佳部分结合起来。
之所以会产生这种误解，是因为今天的rollups主要是在原封不动地运行普通单线程 EVM，以便利用早期的网络效应。因此，我们经常将“专用区块空间”作为部署特定于应用程序的rollup的原因。那些疯狂的 NFT 铸币行为不应抬高您链上所有其他应用程序的价格，但答案也并非是去创建自己的链。这就像用大锤敲碎花生一样。您要在复杂性、成本、糟糕的用户体验、分散的流动性等中做出痛苦且不必要的折衷。最佳解决方案非常明确，只需使用具有本地费用市场的并行虚拟机来处理状态热点。这正是 SVM 所带来的好处。
以太坊是加密货币的知识、社会和经济中心。它的致命弱点一直在放大。DA 扩展仍在进行中，现有的 L2 执行环境无法与 SVM 等较新的创新相竞争。我们担心以太坊生态系统会因目前的活动急剧增加而毫无准备。除了这次对rollups的影响外，单线程 EVM 和受限 DA 很快就会导致高额费用卷土重来。
我们相信，很明显，Eclipse Mainnet 就是解决方案。它将 Solana 的性能与以rollups为中心的路线图的安全性、可验证性和网络效应结合起来。
结语
以太坊的美妙之处在于它能容纳创新。以rollups为中心的路线图就是反映了这一点，它将执行和创新委托给自由市场。L2 具有惊人的能力，可利用以太坊的网络效应和结算保证，同时尝试最好的新执行环境。Eclipse 主网很自然地完成了这一愿景。
未来若出现更高性能的执行层，我们将非常乐意看到它被部署为具有竞争力的以太坊 L2。在那之前，SVM 仍然作为不变的标准。
如需参与，请通过 team@eclipse.builders 联系我们以获取测试网指南。
声明：
Artikel terkait
什么是Aragon？一文读懂ANT
Eclipse 主网简介：以太坊 SVM L2
执行：Solana 的速度和扩展性
结算：以太坊的安全性和流动性
数据可用性：Celestia 的带宽和可验证性
证明：RISC 零知识欺诈证明（无需中间状态序列化！）
为什么是Eclipse、为什么是以太坊、为什么在当下
结语
Eclipse Mainnet 是一个通用的第2层协议（L2），结合了模块化堆栈的最佳部分：
结算：以太坊 - Eclipse 将结算到以太坊（即内置的验证链桥将位于以太坊上）并使用 ETH 作为其 Gas 代币。
执行：Solana 虚拟机 (SVM) - Eclipse 将运行高性能 SVM 作为其执行环境。
数据可用性：Celestia - Eclipse 将其数据发布到 Celestia，以实现可扩展的数据可用性 (DA)。
证明：RISC Zero - Eclipse 将使用 RISC Zero 进行零知识欺诈证明（无需中间状态序列化！）
与 Eclipse 相关的大部分头条新闻都围绕着我们为一系列项目部署特定于应用程序的rollups的工作，但如今比以往任何时候都更加清晰的是，以太坊需要一个能够真正扩展的通用 L2。大多数应用程序无法从特定于应用程序的链自定义中受益，并且由此产生的隔离和复杂性实际上可能会导致更糟糕的用户体验和开发人员体验。
模块化rollup愿景与拥有可扩展的、并行执行的和共享状态的单链的能力之间经常存在错误的二分法。 “模块化”经常与“特定于应用程序”混为一谈，这会让您相信rollups意味着一个由许多碎片和低吞吐量链组成的世界。我们质疑这一想法。
执行：Solana 的速度和扩展性
Eclipse 主网将采用 Solana 领先的执行环境。这带来了巨大的优势：
优化并行执行
SVM 及其 Sealevel 执行时间以支持并行事务执行而闻名。不涉及重叠状态的事务可以并行执行，而不是按顺序执行。
随着处理器继续以更低的成本添加更多内核，SVM 能直接随硬件扩展。单线程执行时间（例如今天的 EVM）从根本上来说并未受益于从降低每个内核的成本。十多年来，单线程性能加速一直在不断减弱。几乎所有的改进仍来自于内核的增加，因此十分重要的是，要通过并行化工作负载来利用这一趋势：
早期有一些未经证实的并行化 EVM 尝试，但在保持兼容性的同时添加这一点会从根本上导致折衷，包括在不解决其他瓶颈（例如状态增长）的情况下降低性能。预先声明状态依赖关系的合约（如在 SVM 中）可实现最佳并行化。
本地费用市场
当今大多数费用市场都是全球性的，这意味着一个热门应用程序会增加链上所有用户的费用。铸造一个 NFT 不应让该链对在其他所地方变得毫无用处。 Solana 在本地费用市场上的出色工作解决了这种跨应用程序状态争论。在当前的实现中，时间调度程序优先考虑无冲突的交易，因此无冲突的交易能以较低的费用进行。从长远来看，本地费用市场将在协议层面实施。这确保了单个应用程序的费用峰值不会影响链的其余部分。
得益于 Solana 独特的并行执行时间，本地费用市场得以实现。尝试使用探索式方法（即不预先声明状态访问）为 EVM 中的状态热点实现本地费用市场将降低效率并可能导致攻击向量。
还有一些早期研究正在进行中，这些将允许应用程序轻松内化归属于它们的本地价值。在今天，这通常需要更具创造性的应用程序级设计。
状态增长管理
在 EVM 遇到顺序执行瓶颈之前，状态增长是其更紧迫的瓶颈。
由于状态没有 Merkle 树，因此 Solana 不会为每次状态更新产生 Merkle 树更新的开销。相反，在每个纪元（约2.5天）之后，整个状态都会被默克尔化。这比实时默克尔化（如 EVM 中的）要便宜得多。
更重要的是，EVM 具有动态帐户访问权限（即交易可按需触及任何状态）。动态状态查找意味着状态无法在执行之前加载到内存中。在 SVM 中，每个事务都指定执行所需的所有状态。
因此，状态大小不会影响 SVM 的执行。假设验证者每两年对存储磁盘进行一次升级，网络能安全地每两年将快照大小增加一倍，而不会遇到重大问题。
此外，像 Helius 这样的团队正在积极提高历史数据的可访问性，并通过压缩来减小状态大小。
EVM 兼容性
Neon EVM 是一种作为智能合约运行的 EVM，可部署在任何 SVM 链上。这为 Eclipse 主网带来了完全的 EVM 兼容性（包括 EVM 字节码支持和以太坊 JSON-RPC），并且吞吐量比单线程 EVM 更高。由于每个 Neon EVM 实例都有自己的本地费用市场，因此应用程序只需部署自己的合约即可获得应用程序链的优势，而不会用损害户体验、安全性或流动性。
另外，Solang 编译器可将 Solidity 智能合约代码编译为 SVM 字节码。
MetaMask 快照
将 EVM 用户引入非 EVM 链历来都是一大主要问题，但最近推出的 Metamask 快照将打破这一障碍。EVM用户可继续使用MetaMask，而无需切换钱包。得益于 Drift 的开源贡献而构建的出色 MetaMask快照实现，相当于用户体验了与任何 EVM 链交互。Eclipse 主网用户将能够与 MetaMask 中的原生应用程序交互，或使用 Solana 原生钱包（如 Salmon）。
Firedancer
Firedancer 是 Jump 开发的备受期待的 Solana 客户端，旨在大幅提高网络的吞吐量、弹性和效率。在发布时，我们将尽可能坚持使用 Solana 核心客户端，但我们计划在代码上线且稳定后采用 Firedancer。
安全
Solana 的执行时间大大减少了攻击面，从而防止了我们经常看到的恶意重入漏洞。具体来说，Solana 执行时间仅允许程序自递归，而不允许任意可重入的跨程序调用。此外，分离状态和代码会产生无状态代码，这通常更容易得到有效测试。
更易进行证明
SVM 基于寄存器，并且具有比 EVM 小得多的指令集，因此 SVM 的执行更容易在 ZK 中证明。对于optimistic rollups，基于寄存器的设计可更轻松地设置检查点。
结算：以太坊的安全性和流动性
与今天的主要rollups一样，Eclipse 主网将定驻于以太坊上。具体来说，这意味着我们在以太坊上的验证桥将直接纳入 Eclipse 中。Eclipse 节点将通过这座链桥来确定“规范链”。该链桥强制 Eclipse 执行正确的排序。
因此，我们的用户能够从以太坊获得某些安全属性。该链桥将验证所有 Eclipse 事务，以防止提交无效状态。此外，它将在某些失败情况下强制执行最终的存活和审查制度。即使排序器出现故障或开始在 L2 进行审查，用户也能通过链桥强制包含他们的交易。
由于这些安全属性，validiums 和 optimiums 扩展解决方案通常被称为“以太坊 L2”。 L2BEAT 将 L2 定义为“一条完全或部分从以太坊第1层协议获得安全性的链，这样用户就不必依赖 L2 验证器的诚实来保证资金的安全。”
以太坊结算认识到，以太坊原生资产可能在 Eclipse 主网的 DeFi 和 NFT 经济中发挥重要作用。 显然，ETH 是大多数用户更喜欢的最佳去中心化货币，因此我们也将使用 ETH 作为我们的 Gas 代币。从长远来看，费用抽象将使用户能够以他们选择的任何代币（例如 USDC）进行支付。目前 Eclipse 主网还未计划推出自己的代币。
数据可用性：Celestia 的带宽和可验证性
Eclipse 主网将利用 Celestia 来实现数据可用性（也称为数据发布或数据出版物）。Celestia 一直是 Eclipse 的长期生态系统合作伙伴。
不幸的是，以太坊当前的带宽不支持 Eclipse 主网的目标吞吐量和费用。即使在 EIP-4844 出现（又名“Proto-danksharding”）之后，这种情况仍然如此，它为每个区块提供平均约 0.375 MB 的 blobspace（每个区块的限制为约 0.75 MB）。
- 对于具有基本压缩的 ERC-20 传输（每笔交易约 154 字节），这相当于所有rollups的约 213 TPS 的传输速度。
- 对于压缩交换（每笔交易约 400 字节），这相当于所有rollups的约 82 TPS 的传输速度。
相比之下，Celestia 将在今年晚些时候推出 2 MB 大小的区块。一旦足够的数据可用性采样 (DAS) 轻节点上线并且网络达到稳定状态，Blobspace 预计将在启动后不久增加到 8 MB。 DAS 轻节点有两大关键功能：
使用户能够自行验证，Eclipse 区块数据已可用
- 有助于安全地扩展整个网络，因为随着更多 DAS 轻节点上线，DA 层可以安全地增加其吞吐量
- Celestia 预计将成为第一个随 DAS 投入生产而推出的 DA 层。这与传统的数据可用性委员会（DAC，Data Availability Committees）形成鲜明对比，后者在没有用户验证的情况下重新引入委员会诚实假设（类似于现有的整体区块链）。
对于将资金从以太坊主网桥接到任何使用链下 DA 的链的用户来说，有一个固有的安全假设。特别是在技术上，Celestia 验证者可保留交易数据，但向以太坊链桥声称该数据可用。实际上，Celestia 的权益证明共识意味着 Celestia 本身的数据扣留是可大幅削减的，我们认为这种风险不切实际。
总体而言，Celestia 的 DAS 轻节点从第一天起就提供支持的情况、加密经济安全属性和高度可扩展的 DA 吞吐量等，使Celestia成为当下 Eclipse 主网的明确选择。
请注意，出于上述原因，有些人将链上以太坊 DA 视为真正的“L2”的要求。我们将使用前面引用的更常见的 L2 术语，并且我们希望明确安全考虑因素。
我们还打算在 EIP-4844 之后监控以太坊在 DA 扩展方面的进展。令人期待的新研究不断涌现，有可能比以前的想法（使用更先进的分布式哈希表）更快地提供高吞吐量 DA。如果以太坊为 Eclipse 提供更大的扩展性以使我们的用户受益，我们将评估迁移到以太坊 DA 的可能性。
证明：RISC 零知识欺诈证明（无需中间状态序列化！）
我们的证明看起来类似于 Anatoly 的 SVM 欺诈证明 SIMD，这 John Adler 的看法类似，他认为状态序列化成本高昂，并且这是可以避免的。
具体来说，我们希望避免将 Merkle 树重新引入 SVM。早期，我们尝试将稀疏 Merkle 树插入到 SVM 中，但在每次事务后更新 Merkle 树会导致性能大幅下降。没有 Merkle 树的证明排除了现有的通用rollup框架（例如 OP Stack）作为 SVM rollup的基础，并且还需要更具创造性的防错架构。
在较高层面上，故障证明需要：
- 交易输入的承诺，
- 交易本身，以及
- 证明重新执行交易会导致与链上指定的输出不同的输出。
输入承诺通常是通过为rollup状态树提供 Merkle 根来进行的。我们的执行器将为每笔交易发布输入和输出列表（包括账户哈希和相关全局状态），以及产生每个输入的交易索引。交易被发布到 Celestia，因此任何完整节点都能从自己的状态中提取输入帐户，计算输出帐户，并确认以太坊上的承诺是正确的。
主要故障有两种可能：
- 不正确的输出 - 在这种情况下，验证者在链上提供正确输出的零知识证明。我们使用 RISC Zero 创建 SVM 执行的零知识证明，继续从事我们之前证明 BPF 字节码执行的工作。这使得我们的结算合约是正确的，而无需在链上运行交易本身。
- 不正确的输入 - 在这种情况下，验证者在链上发布对历史数据的引用，显示输入状态与声明的不同。在使用了 Celestia 的量子重力桥后，我们的结算合约可确保这些历史数据确实证明存在欺诈行为。
为什么是Eclipse、为什么是以太坊、为什么在当下
我们站在巨人的肩膀上。当今的rollups技术提高了我们整个行业的研究水平，并且与 L1 相比，它们让以太坊用户支付的费用更便宜。
然而，他们没有充分利用扩展到大众所需的最新技术。早期的rollups主要优先考虑 EVM 兼容性和/或优化，以实现更高效的零知识证明。不过最近，我们看到了惊人的进展，这消除了早期rollups所选择的权衡的需要，并且确实使它们处于不利地位：
- 高性能并行虚拟机（例如 SVM）
- 通过 DAS 轻节点支持进行 DA 扩展（例如 Celestia）
- 证明基础设施的进步使其在任何地方都实用（例如 RISC Zero）
- 提高代码（例如 Neon 和 Solang）和用户（例如 MetaMask Snaps）跨生态系统的可移植性
回头来看，Eclipse 具有巨大的好处。我们从其他链所面临的局限性中吸取经验，然后精心挑选最好的部分以实现长期扩展。
我们经常听说未来会出现一百万个特定于应用程序的rollups。
共识级别的定制对于某些应用程序（例如 dYdX v4）来说非常有价值，我们很乐意帮助团队启动特定于应用程序的rollups。
然而，这些案例很少且间隔很远。这就是为什么大多数新的rollups仍然只是普通的 EVM 分叉。并不能通过将用户体验分散到更多链上来解决开发者的问题。如今，似乎一百万个链的主要用例通常是再发行一百万个代币。如今，对于绝大多数用例来说，全栈定制的需求根本不存在。
即使真正的需求存在，支持许多具有竞争性用户体验的应用程序链所需的基础设施还需要数年时间（如果它能够达到标准的话）才能出现。Optimism 的超级链（OP Stack）、zkSync 的超链（ZK Stack）、Arbitrum 的 Orbit 链等都拥有共享基础设施的多链愿景。这样做的目的是为了在同一生态系统中的链之间（例如，超级链内的两条链之间）与完全隔离的链（例如，以太坊和 Solana 之间）之间提供更流畅的用户体验。
然而，当前的计划（若有）与单一共享状态的竞争仍然相去甚远。此外，它们没有解决跨生态系统的互操作性（例如，超级链到超链）。构建模块化并不意味着建造孤岛。
We’ve always appreciated the simplicity of Solana’s vision. One highly optimized shared state machine with the scale to support the majority of valuable use cases. This is often viewed as incompatible with a rollup-centric roadmap, but that is simply not the case. We want to combine the best of both worlds.
对于用户而言，跨多个链维护账户的复杂性更高。不断地桥接并担心你需要什么Gas代币，这将是更糟糕的用户体验。依赖基础设施提供商来运营和维护如此多的链更加复杂且昂贵。
我们一直重视 Solana 愿景的简单性。一种高度优化的共享状态机，其扩展性可支持大多数有价值的用例。这通常被视为与以rollup为中心的路线图不兼容，但事实并非如此。我们希望将两者的最佳部分结合起来。
之所以会产生这种误解，是因为今天的rollups主要是在原封不动地运行普通单线程 EVM，以便利用早期的网络效应。因此，我们经常将“专用区块空间”作为部署特定于应用程序的rollup的原因。那些疯狂的 NFT 铸币行为不应抬高您链上所有其他应用程序的价格，但答案也并非是去创建自己的链。这就像用大锤敲碎花生一样。您要在复杂性、成本、糟糕的用户体验、分散的流动性等中做出痛苦且不必要的折衷。最佳解决方案非常明确，只需使用具有本地费用市场的并行虚拟机来处理状态热点。这正是 SVM 所带来的好处。
以太坊是加密货币的知识、社会和经济中心。它的致命弱点一直在放大。DA 扩展仍在进行中，现有的 L2 执行环境无法与 SVM 等较新的创新相竞争。我们担心以太坊生态系统会因目前的活动急剧增加而毫无准备。除了这次对rollups的影响外，单线程 EVM 和受限 DA 很快就会导致高额费用卷土重来。
我们相信，很明显，Eclipse Mainnet 就是解决方案。它将 Solana 的性能与以rollups为中心的路线图的安全性、可验证性和网络效应结合起来。
结语
以太坊的美妙之处在于它能容纳创新。以rollups为中心的路线图就是反映了这一点，它将执行和创新委托给自由市场。L2 具有惊人的能力，可利用以太坊的网络效应和结算保证，同时尝试最好的新执行环境。Eclipse 主网很自然地完成了这一愿景。
未来若出现更高性能的执行层，我们将非常乐意看到它被部署为具有竞争力的以太坊 L2。在那之前，SVM 仍然作为不变的标准。
如需参与，请通过 team@eclipse.builders 联系我们以获取测试网指南。
声明：
Artikel terkait
什么是Aragon？一文读懂ANT