Scroll是提供最强EVM兼容性的以太坊zkrollup,目标是打造集zk优势与以太坊生态兼容于一身的强化版以太坊网络。
Scroll是提供最强EVM兼容性的以太坊zkrollup,目标是打造集zk优势与以太坊生态兼容于一身的强化版以太坊网络。
10月10日,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 相关的兼容性方面有不同的级别。
这些是目前专门的解决方案,它们使用自己定制的虚拟机(Cairo VM)进行操作。它们运行一个自定义的虚拟机,并开发了一个编译器,名为“Warp Transpiler”,它将 Solidity 代码转换为 Cairo VM 字节码。
它们所做的是创建了一个新的虚拟机,并在其之上增加了以太坊工具支持作为额外的层。这仍然实现了将 Solidity 合约导出到 StarkNet 并因此实现“与 EVM 兼容”的目标。
尽管不是直接在 EVM 上执行,但它保持了兼容性,使得 Solidity 开发者能够为其 rollup 编写代码。这是一个很好的折中方案。它运行一个自定义的虚拟机,但已经将所有的 EVM 操作码映射为适用于他们虚拟机的操作码。Polygon 的方法是构建一个具有“操作码级等效性”的 zkEVM。
与 Scroll 相比,Polygon 使用了一个备用的运行时环境(称为“zkExecutor”),它运行自定义的“zkASM”操作码,而不是直接运行 EVM 操作码。这样做是为了优化 EVM 的解释(因为直接证明 EVM 将会有太多的限制)。
尽管这种配置比 Scroll 更高效,但它增加了相当数量的定制代码(用于创建 zkASM),可能需要修改代码或工具以实现兼容性,并且随着时间的推移,它可能与以太坊越来越不同。
将 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 合约。
-以开发者为中心:提供与 EVM 的字节码等价性
-高效性:为以太坊创建更安全的区块空间,降低燃气费用
-速度:改进的区块时间(3 秒对比以太坊的 12 秒)
-与以太坊愿景的一致性
1)早期启动阶段:自推出以来,Scroll 的总锁定价值(TVL)已经超过了 150 万美元。
已有超过 1383 位用户在 Scroll 上进行了 ETH 的桥接操作。
已经有超过 975 个以太币(ETH)被桥接到 Scroll 主网,总价值达到了 150 万美元。zk rollup 被认为是与其乐观 rollup 对手相比更优秀的设计,特别是在隐私方面 — 并且由于没有欺诈证明的存在,缺乏提款延迟。
作为一个具有字节码兼容性的通用 zk-rollup,Scroll 承诺在 L2 上提供 zk 证明的好处,同时不会影响 EVM 的工具支持和网络效应。完全的 EVM 兼容性是 L2 的终极目标,而这也是 Scroll 的价值主张:强化版的以太坊。Scroll 的字节码兼容性结合了 zk 证明的所有优势,并最大限度地与以太坊保持兼容。
Scroll 的另一个值得注意的特点是他们对去中心化的承诺。尽管初始阶段会有一个集中化的序列化者,但计划将其去中心化。
此外,所有的 zk 证明最终将由一个去中心化的“证明生成器”网络生成。
免责声明:
本文观点仅代表作者个人观点,不构成本平台的投资建议,本平台不对文章信息准确性、完整性和及时性作出任何保证,亦不对因使用或信赖文章信息引发的任何损失承担责任
Memecoins 是本次牛市获利的跳板吗?
美FBI调查欺诈性交易平台Bitkanant涉及500万美元加密货币杀猪盘案件
香港立法会议员严刚:香港应在虚拟资产交易的定价权上获得一定分量发言权
btc行情指标_BTC合约如何规避爆仓
山东矿机是A股吗_无人机在A股及创业板市场有哪些上市公司
伯恩斯坦:Robinhood 有望成为美国加密货币监管放松的最大受益者
元宇宙是人类的光墓吗_声势浩大的元宇宙它到底是个什么
白话区块链早报:比特币今晨上行触及98,668美元,续刷历史新高
白话区块链早报:Aave存款额已达300亿美元,超全球第64大银行存款额
0.00