夜谈时刻，ZK L2 三剑客最新进展

转载请注明来自“DeFi之道”

Vitalik曾直言，ZK Rollups 最终将会击败 Optimistic Rollups，而在 ZK Rollups 赛道，zkSync、StarkNet、Scroll 作为最耀眼的 ZK L2 三剑客，无论是社区关注度、投资背景，还是技术发展等方面，都有着首屈一指的实力。同时，由于它们都还没有发行自身Token，所以三剑客每一个动态都牵扯着关注者的神经。

DeFi 特邀到了 Scroll 研究员 Young、zkSync 生态建设者水多多 、StarkNet_ZH Founder Leo，为大家带来这些项目的最新动态，共同研读 ZK Rollups 的未来发展，对可能的代币发行和空投给出解答，本次活动由 Foresight News 编辑 Eric 联合主持。

两个月前，V神在韩国区块链周上说，ZK-Rollups 最终会击败 Optimistic Rollups，Op上的一些项目最终也可能转向ZK，你们如何看待这种观点？相比 OP Rollups，各位觉得 ZK Rollups 的核心优势体现在哪些方面？

Young

首先，OP Rollups 与 ZK Rollups 在安全性方面，后者相较更高，因为 ZK Rollups 整体上依赖的是一套数学假设，而不是经济学假设，经济学假设必须要有一个非常强烈的动机来让挑战者去执行挑战，才能保证安全，ZK Rollups 的数学证明可以防止假证明和无效交易，所以，ZK的上限要高于OP。

在存取款确认时间方面，ZK Rollups 可以做到及时性，这也是一个非常大的优势；另外，在效率方面，比如数据可用性方面要比 OP Rollups 更好，总之，从中长期来看，ZK Rollups 会是更优的一个解决方案。

水多多

OP Rollups 更多的是一个短期的替代方案，OP 做了一些更适合当前生态的事，上线快，部署项目也比较快，而 ZK Rollups 的路比较长，如果只是立足当下，不去进行长时间跨度的对比，那 OP 现在更适合去解决以太坊面临的问题，但在安全性和交易成本方面， ZK Rollups 的优势会更大。

Leo

现在的扩容方案都还出早期阶段，其中 ZK Rollups 方案对以太坊的兼容性更好，所以，现阶段 OP 方案在应用开发、启动方面会比较快。

但从长期发展来看，ZK Rollups 的安全性更高，未来的可扩展性潜力更大。不过，由于ZK本身的技术方案难度比较大，ZK Rollups 会是短期内非常合适的一个过渡方案。

请3位依次从技术进展、生态进展和这个营销宣传这个3个方面，梳理和总结一下各自的项目这2个月都发生了哪些事情，有哪些新的进展和变化？

水多多

社区方面，zkSyncDiscord目前已经有10万多个用户，最近也举行了一批活动，包括最近很多人参与的 crew3 活动，但由于用户过多导致服务器承载过量不得不终止；技术发展方面，首先，zkSync 在2022年秋季它实行了证明合并，就是将证明者与验证人生成器合并到实时区块生产系统中，使测试网上每个人都可以更好的去体验证明者合并。其次，在2022年10月进行了项目注册，主要面向开发者的两次审批，目前大概有200多个项目，现在 zkSync 也迎来了主网，因为现阶段（Baby Alpha）是针对开发者，只有在开发者测试没有问题之后，才会对用户开放，这个时间大概还是要等到Q4。

未来，zkSync 也会继续升级区块资源管理器，此前，区块资源管理器已经进行了一次升级，比如已经可以添加中文，届时也会有调试器等工具，也会进行桥的测试以及未来进一步的开源。

Young

在技术方面，首先，Scroll 第一阶段的 Pre-alpha 测试已经完成，这个主要是针对普通用户，目前在进行是第二个阶段的测试，可以允许开发者去申请部署合约。在生态进展方面， Scroll 上已经有很多 Dapp 测试网去申请合约的部署调试。Scroll 也参加很多大型的会议，包括前段时间在以太坊波哥大 Devcon 上，主持分享一些关于 Rollup 的东西。Scroll 也在ZK、密码学等方面做了很多科普工作，比如说前段时间的 KZG commitment 内容科普文章，得到了V神的高度认可，Scroll 从一开始就是开源的，大家都可以随时去 Scroll 的 Github上查看项目的进展情况。

Leo

首先，最近 StarkNet 进行了 Alpha V0.10.0 版本的网络升级，这次升级引入了新的费用机制，未来还会采用并行交易，能增加 sequence 的交易处理量，届时网络的速度也会有很大提升。另外就是准备 Cairo 语言的升级，Cairo 语言升级为 Cairo 1.0 后，会非常像 Rust，如果对 Rust 语言有开发经验， 使用 Cairo 1.0 会非常的轻松，Cairo 1.0 预计是在是在今年Q4的时候发布，Cairo 1.0 推出以后，StarkNet 主网会进一次重置，重置的时间计划在明年Q1，届时更多的项目和开发者都会从测试网中迁移过来。

另外就是对 Warp 工具的升级，Warp 是一个将以太坊 Solidity 智能合约转译为 Cairo 合约的转译器，Warp 1.0升级为 Warp 2.0后，减少了中间表示层，对开发者来说可以非常方便的完成合约的迁移转换，最近还 Nethermind 团队也完成了 Uniswap V3 合约转为 Cairo 语言的 UniStark，并成功部署。最近 StarkNet 也在开发 EVM 转译器 Kakarot，如果 Kakarot 成功部署的话，以太坊上的应用迁移会更加简单。

zkSync2.0 已正式上线，关于 zkSync2.0 可以给大家做些详细的介绍吗？另外，zkSync还有另一个令人关注的叙事——L3，你能通俗的介绍什么是L3，他又能为L2带来哪些新的改变吗？

水多多

首先，zkSync 2.0 解决了太坊的扩展问题，同时也兼容 EVM，支持智能合约开发者最常用的语言，可以轻松的完成项目的移植，开源将是 zkSync 的接下来的工作。

对于 zkSync L3，愿景是成为为 EVM 提供支持的可定制和无信任链接的区块链生态系统，L3 理论上可以实现无限扩展和无限定制，它也有一些定量。一是安全性，目前，很多黑客攻击是由于非本地网桥固有弱点而发生的，L3 是通过本地桥接来跨链，安全性更高；二是性能， zkSync L2 的性能是主网的10-100倍，L3则是无限扩展；第三是成本，在L3上的数据成本能指数级别的降低。

总结来说，zkSync 1.0 拥有以太坊的级别的安全性，如果你希望将数据混合在链上和链下，更加便宜、快速和安全，比如像 GameFi应用就可以建立在 2.0上；而 L3 可以获得更高的性能，但牺牲一定的安全性。除了这些区别之外，L3也可以进行隐私的完全可定制，以及支持外部的经济学，包括调整激励机制等。

相比其他L2，StarkNet选择开发了自己的新语言Cairo，用于在StarkNet中编写智能合约，StarkNet为什么会选择开发一款全新的语言，这会为StarkNet带来什么？另外，StarkNet也是最早引入L3概念的，L3对于StarkNet来说又有着怎样的功能和意义？

Leo

最初 StarkNet 也考虑过是选择 EVM 兼容还是非 EVM 兼容，最终还是选择了后者，采用了自己的开发语言Cairo，因为用 StarkNet 自身的 VM 可以抛弃掉以太坊历史上的很多技术负担，以太坊从17年开始就经历很多改进，很多都涉及底层上的一些问题，但要是从底层上改动就会涉及协议整体的安全，所以，如果采用新的 VM 除了在性能上可以进行扩展，在功能上也可以延续以太坊，只是这会对开发者和生态的启动来说会有很大的挑战。

StarkNet 的L3，就是采用了递归零知识证明，通过递归的方式把证明多次压缩来实现高扩展。每进行一次压缩，扩展性就会提升一个等级，从应用方面，L3可以实现应用链的定制，为不同的应用来定制它自己Chain，而所有应用链上的资产安全会通过去中心化 ZK Rollups桥来解决，目前这个桥也正在开发阶段。

Scroll 发布 Pre-Alpha 测试网的升级版本，已正式支持部署智能合约，之后 Lens也宣布部署在这个测试网上，可以详细介绍下 Pre-Alpha 测试网目前的发展情况吗？按照Scroll 之前的路线图规划目前走到了哪一步？

Young

Scroll 的推进主要分为5个阶段，第一阶段是7月份上线的 Pre-Alpha 测试；第二个阶段是整个的 proving network 证明外包的阶段，届时，Scroll 会向社区成员开放证明生产的工作，用户可以去运行自己机器，或者是成为证明者网络的一员，未来也会给到参与者一些奖励。第三阶段 Scroll 会开放硬件加速的API接口，让矿商、硬件公司可以进行开放证明生成的测试，到时候，他们也会推出一些服务，用户也可以去跑他们的这些服务；第四阶段是整个 zkEVM 的主网的上线；第五阶段是最终的阶段，也就是把 Scroll 做到完全去中心化的状态。

目前，Scroll 处于第一阶段的第二个测试环节，允许项目方去运行和部署智能合约，同时也支持用户在L1到L2的测试网之间跨链NFT或者自定义生成的ERC-20Token。

在10月中的以太坊波哥大 Devcon 6 整体的活动中，Scroll 也有不俗的表现，Scroll在波哥大做了哪些事情？有哪些你觉得有价值的收获？作为深度参与 Devcon 6 的项目方，你们觉得本届的 Devcon 6 有什么变化？

Young

在这次以太坊波哥大活动中，Scroll 主持了一个 Rollup 的周边活动，主要是以太坊 Rollup 的主题，当时应该是一票难求那种状态，活动也邀请到了 Vitalik Buterin，当天他发表了一个多证明机制的主题演讲，整个活动也是以 Rollup 为中心去展开的，内容涵盖诸如：模块化区块链、跨层之间的安全性、L2的可扩展性以及MEV和zkEVM等主题。

今年的主题话主要集中在几个方面，一是密码学方面；二是ZK，它的热度从2020年一直延续到了现在；三是MEV，从EIP-1599后整个MEV的变化，以及以太坊合并后的新局面热度很高；还有EIP-4844以及Proto-danksharding大家也比较关注，除此之外，抽象账户概念也是其中的一个热点。

在外界看来，目前 ZK rollup 赛道已经是一片红海，除了 zkSync、StarkNet 和 Scroll，还有Polygon Hermez、Aztec 等，大家都认为这些项目是强烈的竞争关系？你们如何看待这种看法？是否也认为彼此之间互为对手？

Leo