Scroll是提供最强EVM兼容性的以太坊zkrollup,目标是打造集zk优势与以太坊生态兼容于一身的强化版以太坊网络。
作者:@francescoweb3 / 来源:https://twitter.com/francescoweb3/status/1714314522121609580
翻译:火火/白话区块链
10月10日,Scroll发布了一则神秘的消息,宣布他们的主网正式上线。除了一些关于空投和可以进行农场收益的帖子外,我对此并不完全了解。
因此,我决定深入了解一下
1、Scroll 简介
Scroll 是以太坊的一个扩容解决方案:它是一个 Layer 2(L2)的通用零知识(zk)Rollup。听起来有很多高级词汇,让我们逐一解释一下。作为以太坊上的一个 Layer 2 Rollup,Scroll 本身具备了以太坊的安全性。除了安全性之外,Scroll 还无缝集成到丰富的以太坊生态系统中:
1)工具
2)去中心化应用(dApps)
3)智能合约
4)用户群体
这种方法使得这些资源可以轻松地转移和互相使用,保证了前所未有的 EVM 兼容性。对于用户和开发者而言,相当于Scroll 实际上就是以太坊本身。
直到 Scroll 出现之前,由于在为以太坊虚拟机(EVM)计算生成 zk 证明的复杂性,没有出现通用的 zk rollup。简单来说,成为通用的 rollup 意味着与 EVM 具备功能等效性。
然而,将 EVM 环境成功运行在 zk rollup 上一直是一个难以实现的目标。这归因于将 EVM 交易转化为可由 zk 证明解释的逻辑电路的复杂性。
正是这种复杂性也解释了为什么 zk-rollup 项目只专注于特定的应用领域,比如 dYdX 专注于交易,ImmutableX 专注于非同质化Token(NFT)。
由于技术上的困难,无法开发出能够部署各种 DApp 的通用网络。这也是为什么与乐观 Rollup(如 Immutable)相比,zk rollup 在总锁定价值(TVL)和用户数量方面表现不佳的原因。
尽管面临这些挑战,对于通用的 zk rollup 的追求仍在继续。与 EVM 兼容性是一件大事,因为它极大地简化了开发者在迁移到新链上所需的工作。迁移到非 EVM 链意味着:
1)必须将现有的合约迁移到新的 rollup 并进行重写
2)不受现有 EVM 工具支持(库、钱包、市场等)
3)无法支持来自以太坊生态系统的应用程序
许多人已经承担起通用的 zk EVM 的任务,他们在与 EVM 相关的兼容性方面有不同的级别。
2、Starknet 和 zkSync(在语言层面):
这些是目前专门的解决方案,它们使用自己定制的虚拟机(Cairo VM)进行操作。它们运行一个自定义的虚拟机,并开发了一个编译器,名为“Warp Transpiler”,它将 Solidity 代码转换为 Cairo VM 字节码。添加图片注释,不超过 140 字(可选)
它们所做的是创建了一个新的虚拟机,并在其之上增加了以太坊工具支持作为额外的层。这仍然实现了将 Solidity 合约导出到 StarkNet 并因此实现“与 EVM 兼容”的目标。
尽管不是直接在 EVM 上执行,但它保持了兼容性,使得 Solidity 开发者能够为其 rollup 编写代码。这是一个很好的折中方案。
3、Polygon 的 zk-EVM(字节码层面):
它运行一个自定义的虚拟机,但已经将所有的 EVM 操作码映射为适用于他们虚拟机的操作码。Polygon 的方法是构建一个具有“操作码级等效性”的 zkEVM。与 Scroll 相比,Polygon 使用了一个备用的运行时环境(称为“zkExecutor”),它运行自定义的“zkASM”操作码,而不是直接运行 EVM 操作码。这样做是为了优化 EVM 的解释(因为直接证明 EVM 将会有太多的限制)。
这是一个描述背后过程的示意图:
尽管这种配置比 Scroll 更高效,但它增加了相当数量的定制代码(用于创建 zkASM),可能需要修改代码或工具以实现兼容性,并且随着时间的推移,它可能与以太坊越来越不同。
4、Scroll(字节码层面):
将 EVM 执行直接转换为可验证的电路,具有工具支持和兼容性方面的优势。目前,Scroll 并不支持所有的 EVM 操作码,但他们计划随着时间的推移逐步支持所有操作码。
1)Scroll 的技术堆栈如何工作?
Scroll 是一个 zk rollup,并且在以太坊 L1 上有一个智能合约,这个合约是一个 zkEVM 证明验证器,能够验证 Scroll 协议是否安全。
2)在 Scroll 上,交易是如何运作的?
Scroll 能够批量处理区块,并将区块数据写入以太坊。
一旦在后续区块生成有效性证明,该证明将被写入以太坊。
因此,Scroll 上的区块可以有三种状态:
→预提交(Pre-committed):由序列化者提议并包含在 Scroll 中。
→已提交(Committed):交易数据已发布到以太坊。
→已完成(Finalized):通过在以太坊上发布的链上有效性证明已确认正确执行。
3)交易流程
(1)从序列化者传入的交易被打包在一个区块中(1)。
(2)数据和调用数据被提交到 L1 上的 rollup 合约,并提交该区块(D1)。
(3)证明生成:信息传递给协调组件(一种“追踪”已完成工作的方式),然后传递给证明生成器,生成 zk 证明。
(4)证明生成可能需要多个区块,并可以由不同的“证明生成器”并行执行。
(5)聚合证明生成:证明被批量生成和聚合,然后提交到链上进行验证(验证)。
(6)区块被最终确认。
交易 > 由运行 Geth 分叉的节点处理 > 执行跟踪 > 输入到 zkEVM 电路中 > 生成证明 > 输入到聚合中以证明证明的有效性 > 生成聚合证明 > 发送到 L1 合约。
5、为什么选择 Scroll?
-以开发者为中心:提供与 EVM 的字节码等价性-高效性:为以太坊创建更安全的区块空间,降低燃气费用
-速度:改进的区块时间(3 秒对比以太坊的 12 秒)
-与以太坊愿景的一致性
1)早期启动阶段:自推出以来,Scroll 的总锁定价值(TVL)已经超过了 150 万美元。
已有超过 1383 位用户在 Scroll 上进行了 ETH 的桥接操作。
已经有超过 975 个以太币(ETH)被桥接到 Scroll 主网,总价值达到了 150 万美元。
6、小结
zk rollup 被认为是与其乐观 rollup 对手相比更优秀的设计,特别是在隐私方面 — 并且由于没有欺诈证明的存在,缺乏提款延迟。作为一个具有字节码兼容性的通用 zk-rollup,Scroll 承诺在 L2 上提供 zk 证明的好处,同时不会影响 EVM 的工具支持和网络效应。完全的 EVM 兼容性是 L2 的终极目标,而这也是 Scroll 的价值主张:强化版的以太坊。Scroll 的字节码兼容性结合了 zk 证明的所有优势,并最大限度地与以太坊保持兼容。
Scroll 的另一个值得注意的特点是他们对去中心化的承诺。尽管初始阶段会有一个集中化的序列化者,但计划将其去中心化。
此外,所有的 zk 证明最终将由一个去中心化的“证明生成器”网络生成。