太长不看:
我们非常兴奋地宣布 Eclipse 主网的架构:以 SVM 为动力,是以太坊最快的 Layer 2。
Eclipse 主网是一个通用的 Layer 2,融合了模块化堆栈的最佳部分:
结算:以太坊 - Eclipse 将结算到以太坊(即,庄严验证桥将在以太坊上),并使用 ETH 作为其 gas 代币。
执行:Solana 虚拟机(SVM) - Eclipse 将以高性能的 SVM 作为其执行环境。
数据可用性:Celestia - Eclipse 将向 Celestia 发布其数据,以实现可扩展的数据可用性(DA)。
证明:RISC Zero - Eclipse 将使用 RISC Zero 进行 ZK 作弊证明(无中间状态序列化!)
大多数 Eclipse 的关注点一直集中在为各种项目部署特定应用的 Rollups 上,但现在比以往任何时候都更清楚,以太坊需要一个能够实现真正大规模的通用 Layer 2。大多数应用程序并不从特定应用链定制中受益,由此产生的隔离和复杂性实际上可能导致更糟糕的用户体验和开发人员体验。
通常会出现一个错误的二元对立,即模块化 Rollup 视觉与具有大规模、并行执行和共享状态的单一链的能力之间的对立。"模块化"经常与"特定应用"混淆,这会让你相信 Rollups 意味着许多分散且吞吐量低的链的世界。我们对这个观念提出质疑。
执行:Solana 的速度和规模 Eclipse 主网将采用 Solana 的最佳执行环境。这带来了巨大的优势:
优化的并行执行
SVM 及其 Sealevel 运行时可以着名地实现并行交易执行。不涉及重叠状态的交易可以并行执行,而不是按顺序执行。
这使得 SVM 能够直接随着硬件的增加而扩展,因为处理器继续以较低成本增加更多核心。单线程运行时(例如今天的 EVM)基本上不受益于降低每个核心的成本。在过去的十多年里,单线程性能的提速一直在持续减弱。几乎所有的改进仍然来自增加核心的数量,因此通过并行化工作负载来利用这一趋势至关重要。
有一些非常早期且未经验证的尝试对 EVM 进行并行化,但在保持兼容性的同时添加这项功能会带来根本性的权衡,包括性能不佳,而且无法解决其他瓶颈(例如状态增长)。在合同预先声明状态依赖关系(如 SVM 中所示)允许进行最佳的并行化。
本地费用市场
今天大多数的费用市场是全球性的,这意味着一个热门应用程序的费用增加会影响链上所有用户。一个 NFT 的铸造不应该使链对其他所有事务无用。Solana 在本地费用市场上的出色工作解决了这种跨应用程序状态争用的问题。在其当前实施中,调度程序优先考虑没有冲突的交易,允许无冲突的交易以较低的费用进行。长期来看,本地费用市场将在协议层面上实施。这确保了单个应用的费用激增不会影响链上的其他部分。
本地费用市场得益于 Solana 独特的并行化运行时。尝试使用启发式方法(即,不预先声明状态访问)在 EVM 中为状态热点实施本地费用市场可能会引起低效和可能的攻击向量。
目前还有一些早期的研究正在进行,这将允许应用程序轻松地内部化与它们相关的本地价值,而这在当前通常需要更具创意的应用程序级设计。
状态增长管理
在 EVM 遇到顺序执行瓶颈之前,状态增长是更为紧迫的瓶颈。
由于状态没有 Merkle 树,Solana 不会因为每次状态更新而产生更新 Merkle 树的开销。相反,在每个纪元之后(约2.5天),整个状态都会被 Merklize。这比实时 Merklization(如在 EVM 中)要便宜得多。
更重要的是,EVM 具有动态账户访问(即,交易可以按需访问任何状态)。这种动态状态查找意味着在执行之前无法将状态加载到内存中。在 SVM 中,每个交易都指定了执行所需的所有状态。
因此,状态大小不影响 SVM 执行。假设验证器每2年升级一次存储磁盘,网络可以安全地每2年将快照大小加倍,而不会遇到重大问题。
此外,像 Helius 这样的团队正在积极改善历史数据的可访问性,并通过压缩减小状态大小。
EVM 兼容性
Neon EVM 是作为智能合约运行的 EVM,可部署在任何 SVM 链上。这为 Eclipse 主网带来了完全的 EVM 兼容性(包括 EVM 字节码支持和 Ethereum JSON-RPC),并且具有比单线程 EVM 更高的吞吐量。因为每个 Neon EVM 实例都有自己的本地费用市场,应用程序可以只需部署自己的合约即可获得应用链的好处,而不会分散 UX、安全性或流动性。
此外,Solang 编译器支持将 Solidity 智能合约代码编译为 SVM 字节码。
MetaMask Snaps
将 EVM 用户引导到非 EVM 链在历史上一直是一个重大障碍,但最近发布的 Metamask Snaps 有望打破这一障碍。EVM 用户可以继续使用 MetaMask,而无需切换钱包。由于 Drift 的开源贡献构建了一个出色的 MetaMask Snap 实现,用户与任何 EVM 链进行交互的 UX 与之相当。Eclipse 主网用户将能够在 MetaMask 中本地与应用程序交互,或者使用像 Salmon 这样的 Solana 本地钱包。
Firedancer
Firedancer是由Jump公司开发的备受期待的Solana客户端,旨在极大地提高网络的吞吐量、弹性和效率。在启动阶段,我们将尽可能紧密地与Solana核心客户端保持一致,但计划在代码上线并稳定后采用Firedancer。
安全性
Solana的运行时具有大大减小的攻击面积,防止了我们经常看到的臭名昭著的递归攻击。具体而言,Solana运行时仅允许程序进行自我递归,而不允许任意的重入跨程序调用。此外,分离状态和代码导致了无状态代码,通常更容易进行有效测试。
更易证明
SVM是基于寄存器的,其指令集比EVM小得多,这使得在ZK中更容易证明SVM的执行。对于乐观Rollups,基于寄存器的设计使得更容易进行检查点。
结算:以太坊的安全性和流动性
与今天的主要Rollups一样,Eclipse主网将结算到以太坊。具体而言,这意味着我们在以太坊上的验证桥将直接成为Eclipse的一部分。Eclipse节点将查看此桥以确定“规范链”。桥强制执行Eclipse的正确排序。
这使我们的用户能够从以太坊获得某些安全属性。该桥将验证所有Eclipse交易,防止提交无效状态。此外,即使序列化器出现故障或在L2上开始进行审查,用户也可以通过桥强制包含其交易。
由于这些安全属性,Validium和Optimium通常被称为“以太坊L2”。 L2BEAT将L2定义为“完全或部分从以太坊第一层获得安全性的链,以便用户不必依赖于L2验证者的资金安全”。
以太坊结算认识到以太坊原生资产在Eclipse主网的DeFi和NFT经济中可能发挥的重要作用。 ETH是大多数用户明确偏好的最佳去中心化货币,因此我们还将使用ETH作为我们的gas代币。长期来看,费用抽象将使用户能够使用他们选择的任何代币支付(例如,USDC)。目前,Eclipse主网没有计划推出自己的代币。
数据可用性:Celestia的带宽和可验证性
Eclipse主网将利用Celestia进行数据可用性(也称为数据发布或数据发布)。 Celestia一直是Eclipse的长期生态合作伙伴。
遗憾的是,Ethereum当前的带宽不支持Eclipse主网的目标吞吐量和费用。即使在EIP-4844(也称为“Proto-danksharding”)之后,该提案每个区块提供平均约0.375 MB的块空间(每个区块的限制约为0.75 MB),情况仍将保持不变。
对于基本压缩的ERC-20转账(每个交易约为154字节),这相当于跨所有Rollups的约213 TPS。
对于具有压缩的交换(每个交易约为400字节),这相当于跨所有Rollups的约82 TPS。
相比之下,Celestia将于今年晚些时候推出2 MB的区块。在启动后不久,随着足够的数据可用性抽样(DAS)轻节点上线并且网络证明稳定,块空间将增加到8 MB。 DAS轻节点具有两个关键功能:
使用户能够自行验证Eclipse块数据是否已提供
有助于安全地扩展整个网络,因为随着更多的DAS轻节点上线,DA层可以安全地增加吞吐量
Celestia有望成为首个以DAS为基础的DA层,其DAS处于生产状态。这与传统的数据可用性委员会(DACs)形成对比,后者重新引入了对委员会诚实性的假设,而无需用户验证(类似于现有的整体区块链)。
对于将资金从以太坊主网桥接到使用离线DA的任何链,用户存在一种固有的安全假设。特别是,在实践中,Celestia的权益证明共识意味着Celestia本身对数据的保留是可惩戒的,使这种风险在我们看来是不切实际的。
总体而言,Celestia的DAS轻节点支持从第一天开始,加密经济安全性质和高度可扩展的DA吞吐量使其成为当今Eclipse主网的明确选择。
请注意,由于上述原因,有些人认为在链上使用Ethereum DA是成为真正“L2”所需的。我们根据先前提到的更常见的L2术语,并希望在安全性方面明确表达我们的立场。
我们还打算在EIP-4844之后监视以太坊在数据可用性(DA)扩展方面的进展。令人兴奋的新研究不断涌现,可能比以前使用更先进的分布式哈希表的想法更早地提供高吞吐量的数据可用性。如果以太坊为了使我们的用户受益提供了更大的规模,我们将评估迁移到以太坊数据可用性的可能性。
证明:RISC Zero 欺诈的零知识证明(无中间状态序列化!) 我们的证明将类似于Anatoly的SVM欺诈证明SIMD,它本身类似于John Adler的见解,即状态序列化是昂贵的,而且有可能避免它。
具体而言,我们希望避免将Merkle树重新引入SVM。我们早期尝试将Sparse Merkle Tree插入SVM,但在每次交易后更新Merkle树会导致显著的性能损失。在没有Merkle树的情况下进行证明排除了像OP Stack这样的现有通用Rollup框架作为SVM Rollup的基础,同时还需要更有创意的故障证明架构。
在高层次上,故障证明需要:
交易输入的承诺,
交易本身,以及
证明重新执行交易会导致与在链上指定的输出不同的输出。
输入承诺通常是通过提供Rollup状态树的Merkle根来实现的。我们的执行器将为每个交易发布一份包括交易输入和输出(包括账户哈希和相关全局状态)的列表,以及产生每个输入的交易的索引。这些交易被发布到Celestia,因此任何全节点都可以跟随其中,从其自己的状态中提取输入账户,计算输出账户,并确认以太坊上的承诺是正确的。
存在两种主要故障类型:
输出错误 - 在这种情况下,验证者在链上提供正确输出的零知识证明。我们正在使用 RISC Zero 来创建 SVM 执行的零知识证明,延续了我们之前证明 BPF 字节码执行的工作。这使得我们的结算合约能够在不必在链上运行交易本身的情况下确保正确性。
输入错误 - 在这种情况下,验证者在链上发布一个指向历史数据的引用,显示输入状态并非如所声明。通过使用 Celestia 的 Quantum Gravity Bridge,我们的结算合约确保这些历史数据确实证明了欺诈。
为什么选择Eclipse,为什么选择以太坊,为什么选择现在
我们站在巨人的肩膀上。当今的Rollups推动了整个行业研究的进展,并为以太坊用户提供了与L1相比更低的费用。
然而,它们没有充分利用最新的技术,这是需要实现规模化的。早期的Rollups主要优先考虑了EVM兼容性和/或更高效的ZK证明优化。然而,最近我们看到了令人难以置信的进展,这使得无需做出早期Rollups选择的那些权衡,而且事实上使它们处于不利地位:
高性能的并行化虚拟机(例如,SVM)
具有DAS轻节点支持的数据可用性扩展(例如,Celestia)
证明基础设施的进步,使其在任何地方都变得实际(例如,RISC Zero)
代码的更高可移植性(例如,Neon和Solang)以及跨生态系统的用户的增加(例如,MetaMask Snaps)
Eclipse拥有巨大的远见。我们有机会从其他链所面临的限制中汲取教训,然后精选最好的部分以实现长期规模化。
我们经常听到未来可能会有数百万个特定应用的Rollups。
对于某些应用(例如,dYdX v4),共识级别的定制可能非常有价值,我们很高兴帮助团队启动特定应用的Rollups。
然而,这些情况属于少数且罕见。这就是为什么大多数新的Rollups仍然只是普通的EVM分叉的原因。通过将用户体验在更多链之间进行碎片化并不能解决开发者的问题。如今百万链的主要用例似乎往往是推出更多的代币。对于绝大多数用例来说,如今根本不存在对全栈定制的需求。
即使真的有需求,支持具有竞争性用户体验的许多应用链所需的基础设施还需要几年的时间(如果它有望达到这个水平的话)。Optimism的Superchain(OP Stack),zkSync的Hyperchains(ZK Stack),Arbitrum的Orbit链等都有共享基础设施的多链愿景。这旨在提供在同一生态系统内的链之间更流畅的用户体验(例如,在Superchain内的两个链之间)与完全孤立的链之间(例如,在以太坊和Solana之间)。
然而,当前的计划(如果存在的话)仍然远远无法与单一共享状态竞争。此外,它们并没有解决跨生态系统的互操作性问题(例如,从Superchain到Hyperchain)。构建模块化不应意味着构建孤岛。
对于用户来说,在许多链上保持账户更加复杂。在不断进行桥接并担心需要什么gas代币的情况下,用户体验更差。依赖基础设施提供者运营和维护如此多的链也更加复杂且昂贵。
我们一直欣赏Solana愿景的简洁性。一个高度优化的共享状态机,具备支持大多数有价值用例的规模。这通常被认为与以Rollup为中心的路线图不兼容,但事实并非如此。我们想要结合两个世界的优势。
这种误解是因为当今的Rollup主要在有效地未经修改地运行基础的单线程EVM,以便借用早期网络效应。因此,我们经常听到“专用区块空间”被引用为部署特定应用Rollup的原因。那些疯狂的NFT创建不应该抬高链上其他应用的价格,但解决方法并不是去创建你自己的链。这就像用大锤砸花生一样。你会付出痛苦且不必要的权衡(复杂性、成本、更差的用户体验、流动性分散等)。最佳解决方案非常明显 - 只需使用具有本地费用市场的并行化虚拟机来处理状态热点。这正是SVM所带来的。
以太坊是加密领域的智力、社交和经济中心。它的软肋一直是扩展。数据可用性扩展仍在进行中,现有的L2执行环境无法与像SVM这样的新创新竞争。我们担心,就目前而言,以太坊生态系统可能会对任何活动的急剧增加措手不及。单线程的EVM和受限的数据可用性很快就会导致高费用的复苏,只不过这次是在Rollup上。
我们相信Eclipse Mainnet是明显的解决方案:将Solana的性能与以Rollup为中心的路线图的安全性、可验证性和网络效应结合起来。
写在最后的话
以太坊的美妙之处在于它能够吸纳创新。以Rollup为中心的路线图就是这一点的典范,将执行和创新委托给自由市场。L2有能力利用以太坊的网络效应和结算保证,同时尝试最新的执行环境。Eclipse Mainnet是这一愿景的自然实现。
如果某一天出现了更高性能的执行层,我们将非常期待看到它作为竞争激烈的以太坊L2部署。在那之前,SVM仍然是标准。
要参与进来,请通过team@eclipse.builders与我们联系以获取测试网的指南。
原文地址:
nft://10/0x4eE3280818f21D996e41b465775EAaa736ec2F87/?showBuying=true&showMeta=true
