撰文：Anthony Rose，zkSync 开发者
编译：深潮 TechFlow
L2 领域在过去几年发生了巨大变化，在以前查看 @l2beat 时从不需要往下滚动浏览看各种各样的 L2。
我也知道，理解这些系统之间的差异并不容易。我为大家简要介绍一下我们在 @zksync 的工作。这个领域非常复杂，即使是以太坊生态系统内的开发者也很难理解 rollup 项目之间的区别，再加上炒作和营销的影响，就更难分辨出真正有价值的信息了。
Optimistic rollup 和 ZK rollup 依然很难被完全理解，更不用说区块链领域内的其他新型解决方案（如 optimiums、volitions、validiums）。我会尽量把这个话题讲得简单一些，因为这个系统真的非常令人兴奋，我希望更多人能更好地理解它。
我们的愿景是建立一个在应用层之下的基础系统，为数十亿人的生活增添价值。就像今天的互联网一样，这些应用程序可以改善人们的生活，但由于区块链能带来更多的价值和所有权，这将极大地增强应用程序的功能。
要实现这一愿景，很明显这个系统需要像互联网一样具有扩展性。工程师们称这种扩展方式为「水平扩展」——本质上我们只需要增加硬件并扩展网络，我们必须不折不扣地完成这项工作保持所有关键指标的高标准。
你可以用一个小小的证明来验证一个庞大系统的正确性，这个系统执行了大量的计算工作，而这个证明可以在任何智能手机上进行。这就是为什么 ZK 系统可以（合理地）实现水平扩展，而 Optimistic 系统不能，这也是 ZK 方案的优势所在。
这种水平扩展实际上意味着：在这个协议层上部署更多的 rollup。这些 rollup 可以是特定于应用程序的，也可以是通用的，但所有这些都可以从最终用户那里抽象出来。这里有一张非常科学的示意图，希望能帮助大家理解：
在协议层，这些系统都需要进行无信任交互。如果不这样做，整个用户体验就会变得支离破碎（就像今天在使用不同的 L2 或 L1 时那样）。
Optimistic 的系统无法正常实现这种交互。选项基本上有
- 等待交互 7 天（挑战期）
- 每个 L2 为其用户想要互动的每个 L2 运行一个完整节点
- 使用中间人向用户收费。
这些都不是很好。而使用 ZK 技术，可以让这些系统进行无信任交互，任何 rollup 之间都可以互相通信，并且确认对方系统的状态是正确的。这是由数学证明的。用户甚至不需要知道他们在玩的游戏托管在哪里，或者当他们想给朋友转 20 美元用于午餐时，他们也不需要知道他们的朋友使用的是哪个 rollup。
Optimistic rollup 还需要将所有交易输入发布到 L1，因为这是它们的工作机制，这些数据是解决状态转换潜在挑战所必需的。这是一个巨大的数据量，而 ZK 系统没有这个问题。
你可以在不将所有状态发布到 L1 的情况下证明系统的正确性（你可以发布到其他地方，或者构建一个私有系统）。这是一个 validium。你知道它是正确的，但你在以太坊上没有状态记录。
我还提到过，在整个 @zksync 生态系统中可以将证明结合起来，你可以在一个证明中验证整个网络。这意味着随着系统的扩展，链上成本趋近于零，并且你可以在任何智能手机上验证它。
我们正在构建的 @zksync 系统具有高度可扩展性、高性能、高安全性，完全不同于那些不幸被统称为「L2」的其他系统。这些系统是不一样的，很多系统在一年后将消失。
未来的生态系统将由许多 ZK 链组成，这些链会根据具体的使用场景进行不同的配置，但都具有同样强大的安全保障和快速，可进行无信任交互。任何人都可以无需许可地在生态系统中部署新的 ZK 链，并立即在整个网络中进行交互。
关于 @zksync 还有很多内容可以讨论，但以上是我今天想分享的核心观点。这就是为什么我对 @zksync 感到兴奋，为什么 ZK 系统真的会改变世界，以及为什么 ZK 是最终的解决方案的原因。
