模块化区块链架构导致了扩展解决方案的寒武纪爆发,尽管乐观汇总具有先发优势,但零知识(ZK)汇总正在排队占据王座。 zkEVM rollups 通常被称为“扩展的圣杯”,因为它们提供与以太坊完全相同的开发人员体验,现已在主网上上线。这不是某种假设的未来;而是一种假设。我们现在可以在第 2 层上以低成本处理大量交易,并在几分钟内在去中心化的第 1 层上完成最终的状态转换。现有的 Solidity 开发人员不需要学习新的编程语言、发现新的工具,甚至不需要重新编写和审核现有的 dapp 来利用这项新技术。将您的 dapp 部署到完全 EVM 等效的 zkEVM rollup 就像复制粘贴一样简单。
但这种扩展技术是有代价的。所有汇总(包括 ZK-rollups 和 zkEVM)都有一个运算符。智能合约的升级密钥尚未充分去中心化,在大多数情况下,核心团队有能力在等待期后升级汇总。鉴于该技术相对不成熟,这些“辅助轮”是保护用户资产的必要预防措施。
因此,为了弥合我们今天所处的位置与未来需要达到的位置之间的差距,所有 Rollup 团队都必须概述其逐步去中心化和信任最小化的计划。在 Linea,在 7 月 18 日向公众发布主网 Alpha 之前, 我们提出了一个5阶段计划 了解我们打算如何移除辅助轮并提供完全由以太坊保护的成熟汇总解决方案。 利内亚 是一个开发人员友好的 Type-2 zkEVM,由领先的 web3 基础设施公司 Consensys 引导。
ZK-rollups 本质上比乐观汇总提供更好的安全保证,因为它们依靠密码学而不是密码经济学来保护数据库。以太坊上的智能合约验证汇总发布的有效性证明,以确认拟议状态转换的完整性。对于 zkEVM,这需要所有现有的 EVM 操作码和预编译在第 2 层得到验证。在短短几个月内,作为其初始阶段的一部分,Linea 将提供所有可能执行的 100% 覆盖范围,以便任何用户或 dapp只需相信以太坊上的证明验证即可确信没有发生恶意行为。软件和零知识电路将开源,供任何人独立验证。许可将允许用户查看、修改和分叉代码,确保在核心团队偏离其预期使命时,Linea 社区可以采取行动。
信任最小化之路上的另一个关键步骤是使用户能够通过第 1 层从汇总中提取资产。如果汇总运营商选择在第 2 层审查用户的交易或只是变得不可用,则应该存在一种机制保证未经许可退出系统。这就是汇总成为以太坊事实上的扩展解决方案的原因之一,因为它们解决了这一基本的数据可用性问题。 Linea 计划在其路线图的第二阶段实现抗审查提款。
第三阶段标志着 Linea 架构内关键运营组件的去中心化以及治理系统的民主化。证明者和排序者等去中心化运营商通过减少对中心化实体的依赖来增强网络参与者之间的信任。这个问题存在许多技术和操作挑战,因为我们需要考虑共识、MEV、性能和用户体验。目前还没有汇总解决方案将其运营商去中心化,随着每个生态系统的价值观和原则被转化为核心架构,我们可能会看到系统之间的分歧。
在最后阶段,即第 4 阶段,Linea 将专注于实现多证明者汇总的概念,其中包括 zkEVM 证明者的多种不同实现。即使面对潜在的错误或可用性问题,使用多个异构证明器也将确保不间断运行,并保证单点故障不会导致系统出现重大故障。随着以太坊社区推动的 EVM 规范不断发展,ZK 电路需要相应地更新和审计,这种证明者的多样性变得更加重要。
多重证明者是完全消除辅助轮的最快途径,并且可能成为安抚流动性和规避风险的企业进入公共区块链范式的转折点。许多现有的 zkEVM 解决方案都采取了捷径,这使得多重证明者的实施在技术上更具挑战性,但 Linea 从一开始就被设计为尽可能接近 EVM 规范。
毫无疑问,ZK-rollups 和 zkEVM 就在这里。 Linea 是一个在主网上运行的新 zkEVM,其当前的成熟状态是透明的,并且有一条清晰的去中心化和信任最小化路径。我们已经看到了可扩展性的好处,但仍然需要做一些工作来消除辅助轮。我们相信,通过从一开始就专注于最终目标,我们处于独特的地位,成为第一个 zkEVM rollup,以实现扩展以太坊的全面愿景。
本文来源于网络: Linea 的渐进式去中心化之旅:利用零知识技术最小化信任的关键