zkSync:详解ZkSync:zkEVM、Layer3及愿景

ZkSync 长期以来一直是零知识密码学的先驱,他们在扩展以太坊的道路上继续开拓。他们在 10 月底之前在主网上推出了第一个 zkEVM,这可以为他们提供显着的先发优势,并使他们能够建立强大的网络效应。

原文:《ZkSync: A Peek into the Future of Ethereum》by Sam Martin

编译:Crush

*全文约 3900字,预计阅读时间为 8分钟

关键要点:

由于缺乏智能合约支持,与其他通用 L2 相比,ZkSync 1.0 的采用率低,使得 rollup 在代币转移和交换之外的效用最小

Matter Labs 团队的目标是于10 月 28 日在主网上推出他们的 alpha zkEVM,这使他们成为第一个推出兼容 EVM 的通用智能合约 ZK rollup 的团队

第一个启动 zkEVM 的团队可能会获得显著的先发优势,特别是如果以太坊交易费用的飙升将用户推离基础层

zkSync 团队相信他们在降低硬件要求方面取得了重大突破,这样能更容易成为证明过程的积极参与者

zkSync 的最终目标是通过他们的证明技术和蓬勃发展的 L3 生态系统驱动的意志,同时保持以扩展以太坊为焦点的目标

由 Matter Labs 于 2020 年推出的 ZkSync 1.0 是一种零知识 Rollup(ZKR),它依赖于以太坊的安全性,主要用于代币交换或转移。

它不支持智能合约,因此今天 zkSync 1.0 上可用的产品是有限的,导致相对于其他以太坊扩展解决方案的采用率较低。Matter Labs 团队希望通过在 10 月 28 日在主网上启动他们的 alpha zkSync 2.0(一个 zkEVM)来解决这个问题。

此外,Matter Labs 宣布将在 2023 年第一季度在测试网上推出 L3。

尽管缺乏对智能合约的支持,ZkSync 1.0 已经成功吸引了超过 5400万美元的资金。zkSync 上的大部分 TVL 是 ETH 和各种稳定币,因为网络上除了代币转移和交换之外缺乏实用性,而且 NFT 铸造未能获得显著的吸引力。

(推荐阅读:《PAData:zkSync链上交易次数骤增突破16万次,日新增存款地址超6000个》)

许多拥有 Rollup 资金的用户可能会为不可避免的代币空投做准备,这应该可以捕捉到 zkSync 经济的未来增长。Optimism 和 Arbitrum 是两个最受欢迎的以太坊扩展解决方案,鉴于它们已经支持智能合约这一事实,它们看到了更多的用户活动。

虽然日交易量不是一个完美的指标,但它却侧面反映了 zkSync 因为不支持智能合约而错过的交易量有多少。

zkSync 上的所有资金都在以太坊上的智能合约中得到保护,计算和存储在链下执行。交易被成批打包,在以太坊上结算,以在所有 L2 交易者之间平摊 Gas 成本,然后同时结算。

Rollup 中发生的所有状态更改都作为 Calldata(调用数据) 以及确保状态更改有效的 SNARK 证明发布到以太坊。发布到以太坊的调用数据使任何人都可以重建 L2 状态,并且这比将整个 L2 状态存储在 EVM 上要便宜得多。

与以太坊基础层相比,SNARK 能够以经济高效且及时的方式(即时确认和 15 分钟完成)验证大批量交易,并为 zkSync 提供巨大的交易吞吐量(例如 2000 tps 和 15 tps 的差距)。

ZKR 提供了许多优于其他扩展架构的优势。ZKR 继承了以太坊的安全性,而像 Ronin 网络这样的侧链则受制于其自身验证器集中的漏洞。

ZKR 也不依赖像 Optimism 或 Arbitrum 这样的欺诈证明,诚实的第三方必须监控区块中的恶意交易,并需要 7 天的挑战期来延迟资金提取。

此外,无论验证者集(validator set)的状态如何,ZKR 上的资金总是可以由其合法所有者取回,这与要求验证者安全监控提款的等离子链(plasma chains)的情况不同。

Scroll、zkSync 和 Polygon 之间的 zkEVM 竞赛一直在升温,但 zkSync 看起来会在 10 月底推出其主网 alpha 版。先发优势对于团队取得成功有着不小的潜在影响,这一点是无法忽略的。

MATIC 于 2017 年作为首批 EVM 兼容链之一推出,然后于 2021 年 2 月更名为 Polygon,并在以太坊交易费用飞涨的情况下吸引了大量 dApp 和用户。

通过重新部署类似的代码,将应用程序迁移到 EVM 兼容链相对容易。无论哪个团队率先推出 zkEVM,都可能会看到 dApp 部署和用户活动的爆炸式增长,从而像 Polygon 在 2021 年那样建立强大的网络效应。

如前所述,侧链的安全性不如 ZKR,而领先的 ETH L2、Arbitrum 和 Optimism 都是 Optimism Rollup,其官方桥需要 7 天的退出期。L2 的采用继续占据上风,L2 支付给以太坊的总 gas 一直呈上升趋势。鉴于 zkEVM 的安全性和 UX 优于其以太坊侧链和Optimism Rollup 同行,zkEVM 的推出将成为这一趋势的顺风车。

ZkSync 2.0 的主网 alpha 发布将仅限于注册项目以参与公平发布的开发者。选择排除用户是为了确保 dApp 团队有足够的时间来确保其产品的顺利运行,保护用户免受任何错误的影响,并给 Matter Labs 团队更多的时间来迭代他们的 zkEVM 的设计。

值得注意的是,Starkware 的 Starknet 是另一个处于 alpha 阶段的通用 ZKR 智能合约链,Starknet 使用他们自己的针对 ZKR 优化的语言 Cairo,而不是专注于 EVM 兼容性。

然而,Wrap 正在开发一个 Solidity 到 Cairo 的转译器,它可以将其放入与 zkSync 的 zkEVM 类似的存储桶中。Cairo 的开发人员工具、最佳安全实践和开源库将远远落后于 Solidity。

此外,Polygon 于 10 月 10 日在测试网上启动了他们的 zkEVM,尽管 zkSync 已经在测试网上运行了大约 9 个月。

ZkSync 通过将以太坊上的高级智能合约源代码 Solidity 编译为 Yul 来实现 EVM 的兼容性;Yul 一种中间语言,可以编译成不同虚拟机的字节码。

然后使用 LLVM 编译器框架将 Yul 代码重新编译为为 zkSync 的 zkEVM 设计的自定义、电路兼容的字节码集。这种方法绕过需要通过直接从更高级别的代码开始对 EVM 执行中的所有步骤进行 zk 证明,从而在保持高性能的同时更容易分散证明过程。

未来可以通过构建新的编译器前端来添加对 Rust、Javascript 或其他语言的支持,从而为其 zkEVM 架构增加灵活性。需要指出的是,zkEVM 与 EVM 兼容,在字节码级别上并不等同。

动态 | 比特大陆、Kraken驳回United American Corp诉讼动议 均称反垄断诉讼不成立:据The Block消息,针对此前United American Corp公司提起的诉讼,比特大陆、Kraken驳回United American Corp诉讼动议。比特大陆称,反垄断诉讼不成立,因为United American Corp提起诉讼是基于推测,而并未给出任何能够证明其垄断的证据,或是给出能证明诉讼中任何被告之间的有关垄断的协议。Kraken则表示,该反垄断诉讼毫无意义,因为Kraken做任何打压BSV价格的事都是没有意义的,相反在价格上涨的市场中,交易所赚的钱最多。

此前2018年12月消息,总部位于迈阿密的United American Corp(“UnitedCorp”)(场外交易市场代码:UAMA)今天宣布已启动针对比特大陆的诉讼,认为Bitcoin.com,Roger Ver,Kraken比特币交易所和其他个人,通过精心策划的计划控制BCH网络以谋取个人利益,损害了联合公司和其他BCH利益相关者。[2019/4/21]

因此,虽然几乎所有的以太坊智能合约代码都可以直接移植到 rollup 中,但在某些异常情况下,一些代码需要更改并可能需要重新审核,以及调试工具。如果不进行细微调整就无法兼容。

帐户抽象

与以太坊的默认行为相比,正在zkEVM中实现的一个主要改进是账户抽象的想法。以太坊的核心架构支持两种类型的账户:外部拥有账户(EOA),即由私钥控制的公共地址,可用于签署交易(例如 Metamask 钱包),以及根据底层代码操作且无法发起的合约账户交易。这里的主要目标是将持有代币的账户与授权交易的签名者分离。

zkSync 的 zkEVM 中的 EOA 当然能够发起交易,但也能够像以太坊上的智能合约账户一样在其中实现任意逻辑。这就是所谓的“账户抽象”,与EIP-4337非常相似,只是稍作修改,为用户提供更流畅的体验。

可以补偿其他账户交易的账户称为 Paymasters。在实践中,Paymaster 账户应启用协议以代表其用户以 ETH 或各种 ERC-20 代币支付交易费用。

随着应用场景的发现,帐户抽象可以为钱包提供商开辟一条新的创新途径。值得注意的是,这是一个仍在迭代中的新颖想法,用户应谨慎对待。

zkPorter

zkEVM 竞赛是目前 L2 的主要叙事,但值得商榷的是 zkSync 的 zkPorter。虽然 zkEVM 将为以太坊带来一个数量级的扩展,但仍然需要 ZKR 将数据发布到以太坊基础层,这降低了它们的潜在规模。

zkPorter 的引入将 zkSync 的 zkEVM 牢牢地置于意志范畴,这意味着用户可以决定将他们的数据存储在链上还是链下。优先考虑安全性而不是吞吐量和极低交易费用的用户将选择在 Rollup 上进行活动以保证数据可用性。

那些优先考虑吞吐量和降低交易费用而不是安全性的用户将在 zkPorter 上进行他们的活动,在 zkPorter 上发布数据并在链下可用。

所有 zkPorter 交易数据都将发布到 Guardian 网络,这是一个由最终的 zkSync 代币保护的 PoS 网络。Guardian 将通过签署区块来跟踪 zkPorter 端的状态,以确认数据可用。

恶意行为的 Guardian 将被削减,这为数据可用性提供了加密经济保证。与 Optimistic rollups 相比,如果数据被移出链外,恶意操作者将能够窃取 rollup 上的任何资金,而恶意的 Guardian 只能冻结 zkPorter 状态,这反过来又会冻结他们自己的资金。

此外,购买所有非质押的 zkSync 代币来发动此类攻击将花费大量资金,并在此过程中导致重大滑点。

zkSync 在 ZKR 和 zkPorter 方面采用的双账户方法将为用户提供一个全方位的目的地来进行他们的活动,同时保持高安全性保证。ZKR 和 zkPorter 双方的智能合约和账户将完全可以相互组合。

例如,Aave 可以在 ZKR 上启动他们的合约代码以获得最大的安全性,但用户仍然可以通过他们在 zkPorter 端的账户与合约进行交互,以实现更低的费用和更高的吞吐量。zkPorter 的最终设计仍在进行中,因此计划可能会发生变化。

Layer 3

虽然没有太多的信息披露,但 Matter Labs 最近宣布了他们的目标,即在 2023 年第一季度推出由其 zkEVM 提供支持的 layer3。

被称为“机会”的 ZKR L3 很可能是有史以来第一个在测试网上推出的 L3。我们的愿景是拥有无数个完全可定制的“HyperChain”,它们都通过本地桥梁相互连接,从而将安全互操作性的理念变为现实。

Pathfinder 将是高度实验性的,但它是新区块链扩展架构研发的合乎逻辑的下一步。

构建 L3 验证的第三方将能够选择他们公开可用的数据,从而为用户提供隐私。这些团队还将被授权推出自己的代币,以捕捉他们正在构建的东西的利好。

这些代币还可以在分散其证明过程、排序器或数据可用性解决方案方面发挥关键作用。在可定制性方面,可以在 Cosmos 的应用程序特定链和 zkSync 的 L3 之间进行比较。

主要区别在于后者支持以太坊的安全性以及链之间完全可互操作的资产,而无需像 IBC 这样的通用消息传递协议。

ZkSync 希望通过靠着自己的突破性研究,即在不牺牲性能的情况下降低参与证明过程的硬件要求,能够成为这个行业的标准。

这会将他们的 ZKR、zkPorter 和所有其他 zkSync L3 放在同一条道路上,并消除反复被利用的桥接攻击向量。尽管这一愿景雄心勃勃,但它将使交易成本和速度、开发人员和用户体验、互操作性和安全性提高 10-100 倍。

剩下的主要问题有两个:在字节码级别上不等同于 EVM 的 L2 能否成为行业标准,竞争用户意识份额的 L2 和 L1 团队是否会抛开差异,将区块链扩展到大众?

ZkSync 长期以来一直是零知识密码学的先驱,他们在扩展以太坊的道路上继续开拓。他们在 10 月底之前在主网上推出了第一个 zkEVM,这可以为他们提供显着的先发优势,并使他们能够建立强大的网络效应。

他们在 zkPorter 和 ZKR 上使用可互操作帐户双管齐下的方法是一种独特的策略,这对开发人员和用户最终都有利。Matter Labs 为所有链创建标准证明者的愿景雄心勃勃,如果他们真的开发了到目前为止最先进的证明者,那将大获成功。

这将为具有合理主权、高性能和安全互操作性的 L3 生态系统打开大门。与他们的策略相关的主要风险是他们为 zkEVM 选择的底层架构:在高级智能合约代码级别的以太坊兼容 ZKR,而不是字节码级别的 EVM 等效性,或者通过创建一种新的编程语言并完全消除 EVM 兼容性。

有团队在研究上述所有三种策略,只有时间才能证明哪种以太坊的拓展方案是对的。

PANews

媒体专栏

阅读更多

金色早8点

区块律动BlockBeats

1435Crypto

金色财经

吴说区块链

比推 Bitpush News

blockin

Block unicorn

Foresight News

Odaily星球日报

Bankless

DeFi之道

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

[0:0ms0-1:787ms