原文作者：dareal_sisyphe
原文编译：元宇宙之道
近日@dareal_sisyphe发布了关于以太坊二层解决方案 zkSync 与 Starkware 的对比文章，从团队、技术、数据可用性、资金和支持者、目前的产品和路线图和其个人印象 6 个角度进行了分析。以下为全部内容的编译整理。
说 ZK rollups 将是巨大的，只是一种轻描淡写的说法。
有两只野兽已经在后台研究这项技术好几年了。它们大放异彩的时刻即将来临。那么，这一领域存在着怎样的机会？这两个项目有什么不同？它们何时会发币呢？
以下是关于 zksync 与 StarkWare 的对比。
事先声明，这是一个很大的主题，我正在尽力掌握，我可能会走一些捷径，或者在解释时犯一些错误。欢迎在评论中纠正我或提出更精确的建议。
目前已经有大量的资源详细说明了什么是 ZK Rollup，以及与 Optimistic Rollup 的区别。
在这里，我只关注 zk rollup 背后的基本知识，以及zk游戏的两个主要参与者--zksync 和 StarkWare 之间的区别。
基础知识：以太坊 rn 就是我们所说的单片机。因为共识、执行和数据可用性都发生在 ETH 区块链上。这不是可持续的，也是其不能扩展的原因。因为这意味着所有节点都必须执行这3个功能。为了扩大规模，ETH 必须变得模块化。这意味着只将区块链用于其最擅长的领域：共识，并将执行和数据可用性（DA）的负担转移到链下。但我们如何以完全继承L1安全性的方式移动执行和DA呢？
zk rollups：通过 zk rollup，数以千计的 tx 被分批纳入一个单一的、数学上可验证的 zk 证明，并且只有这个证明被存储在链上。
以下，让我们来比较一下 zksync 和 StarkWare。我们将努力保持清晰，并遵循以下角度进行对比。
团队和开端
技术
数据可用性
资金和支持者
目前的产品和路线图
个人印象和机会
团队和开端
StarkWare：始于 2018 年 5 月。该团队由世界级的密码学家和科学家组成。核心人员是前 Zcash 首席科学家，多年来一直是 zk 领域的创新先锋。他们正通过 Starknet 将学术理论转化为现实世界的产品。他们无疑是这个游戏中最著名的团队。
Zksync：始于 2019 年 12 月。实际上，在 zk 领域有一个第二好的，它就是正在建立 ZkSync 的 Matter Labs 团队。该团队由 @gluk64 共同创建，我无法找到更多关于其背后聪明人的信息，但 ZkSync 2.0 带来的技术突破足以说明问题。他们有外来者的气息，而且行动迅速。
技术
两个项目都有一个类似的架构，有一个插入Eth区块链的 rollup 智能合约，以存储 L2 状态转换的 zk 证明。另外，它们都有 2 种链外行为者，负责为网络提供动力。
证明者：负责繁重工作的少量节点。他们计算所有的 txs，并将其汇总为简洁的 zk 证明。它们在专用硬件上运行，可以是黑盒子。我们所知道的是，它们在数学上无法伪造假的 ZK 证明。
验证者：负责抗审查工作的大量节点。他们验证证明者提交的证明的有效性。不需要特定的硬件。每个人都可以运行。
此外，这两个项目都必须竞相克服一个主要的技术问题，那就是创建一个通用的 ZK 证明系统。
这是一个圣杯，因为直到现在所有的ZK线路都需要特定的应用。这意味着每个应用只有一个 ZK rollup，而没有 EVM 兼容性。
你猜怎么着，zksync 和 StarkWare 都做到了，但技术上有所不同。
StarkWare：他们使用的加密技术是基于 STARKs 的。他们是这项技术的先驱，与 SNARKs（由 zkSync 使用）相比有两个主要优势：
T 意味着透明，这意味着该系统无需信任设置即可工作。它们的生产速度比 SNARKs 快 10 倍。但 STARKs 的问题是技术不如 SNARKs 成熟，如果它允许图灵完备性，就很难使其与 EVM 兼容。
此外，Starkware 创造了 Cairo，一种特定的编程语言，允许运行由 STARKs 驱动的自由裁量程序。但由于很少有人愿意学习一种新的编程语言来做智能合约，他们现在正与 @nethermindeth 合作创建 Warp，这是一种转译器，可以将 solidity 智能合约无缝转换为 Cairo，以使 @StarkWare 的 EVM 兼容。
zksync：使用的 zk 系统是基于 SNARKs（尤其是 PLONK）。因此，整个系统的安全性依靠于 2019 年秋季推出的一个可信仪式。它涉及许多知名加密货币玩家，其中包括 Vitalik Buterin。如果至少有一个参与者是诚实的，那么这个系统就可以证明是安全的，所以我很舒服，不认为可信设置的说法可以用来对付 zksync。
尽管 zkSync 团队做了很多优化，但 SNARKs 还是比 STARKs 慢。不过，他们的系统允许以比 STARKs 更自然的方式兼容 EVM。事实上，智能合约可以（几乎）由 zkSync 编译器逐一转换操作码，这使得 solidity 成为 zkSync 的主要公民，而不需要中介语言或转码器。
数据可用性（DA）
zk rollups 将 txs 计算的负担从 L1 中移出，并允许 ETH 扩展到 2-3K tps。这很好，但还不够。采用rollup only的方法，DA 负担仍然在 L1 上，而 tx 数据则通过 calldata 写入 L1。
DA 超级重要。这是允许你在 Etherscan 上查看 tx 发生了什么的关键。没有这一点，tx 的执行就成了一个黑盒子。如果你喜欢便宜的 tx 而不是在 L1 上直接追踪，这也许是可以的。因此，zk rollup 必须向用户提供一个选择。要么你的 tx 数据写在 L1 上，但费用要高一点，要么你优先考虑超便宜的 tx，并信任 L2 上的一些实体来保证你的tx数据的可用性。这样一来，L1 就可以从 DA 负担中解放出来，ZK rollup 就可以扩展到 20-30k TPS。
StarkWare: 用 Volition 系统解决 DA 的挑战。Volition 允许最终用户在 tx 的 rollup 结算（链上 DA）和单个 tx 层面的有效结算（链下 DA）之间进行选择。在有效结算的情况下，链下 DA 由一个集中的数据可用性委员会（DAC）来保证，该委员会由著名的加密货币实体组成。
这听起来像中心化，但这是终端用户自愿选择的超低价TX的权衡。
zksync：对 DA 挑战的解决方案是 zkPorter，这是一个分片基础设施，与 zkSync 的 zk rollup 无缝运行。想象一下，zkSync rollup 是保证链上 DA 的 shard0。然后其他分片可以选择不同的DA 政策，并在链外存储 tx 数据。
StarkWare 的 Volition 和 zksync zkPorter 之间的主要区别是，对于 Volition 来说，结算的选择是基于 tx 的（用户为每个 tx 选择 DA），对于 zkPorter 来说则是基于账户的（一个 zkPorter 账户只能产生以链下 DA 产生 tx）。
另外，对于 zkPorter 来说，链下 DA 系统更加去中心化，因为 DA 是由 zkSync 原生代币激励的守护者网络而不是中心化的DAC所保证的。
资金和支持者
StarkWare:
2018 年 5 月完成 600 万美元的种子轮（Pantera/Naval/Vitalik）。
2018 年 10 月完成 3000 万美元的 A 轮融资（Paradigm/Sequoia/Cb Ventures）。
去年 3 月完成 7500 万美元的 B 轮融资(Paradigm/3AC/Alameda)
去年 11 月完成 5000 万美元的 C 轮融资（Paradigm/3AC/Alameda）。
目前，StarkWare 的估值为 20 亿美元。这是一次世界级的融资，有著名的投资者。大佬们和以太坊基金会都在其中。Vitalik 本人还评论了 Starkware 制作的大部分文章。Shu 和 Sam 也在同一条船上。这种项目怎么可能失败呢？
zksync :
去年 3 月完成 600 万美元的 A 轮融资
（Binance/Cb Ventures/AAVE/ Balancer/Curve）。
去年 11 月完成 5000 万美元的 B 轮融资
（Horowitz/Placeholder/Crypto.com 等）。
董事会中的大人物较少，看起来像一个大的 Defi/CEX 加密货币家族资金。这听起来很滑稽，但实际上很重要，因为 ZK rollup 的成功将在很大程度上取决于 Defi 协议和直接 CEXs 的整合。所以我非常看好 zksync 生态系统的快速整合。
目前的产品和路线图
StarkWare 有着令人难以置信的演变，因为他们坚持不懈地将其顶级密码学论文转化为现实世界的创新。他们的路线图总结如下：
他们首先推出了 StarkEx，这相当于行星阶段，并允许创建由 Cairo 和 STARKs 驱动的有权限的、特定应用的 zk rollup。如果你不清楚，可以想想 @dydxprotocol ，@Immutable 或@deversifi 。因为它们是 3 个主要的应用程序，它们由 StarkEx 的在产版本驱动。
到目前为止，StarkEx 已经通过这些应用程序解决了超过 500 万个 txs 和 2500 亿美元的价值。StarkEx 的效率现已得到证实，StarkWare 很快就会进入路线图的星座阶段。11 月 29 日，他们在主网上发布了 StarkNet 的 Alpha 版本。StarkNet 是我们所期待的去权限、多应用、通用的 zk rollup。
起初，StarkNet 将由一个中心化验证器驱动，应用程序将通过白名单按顺序部署，就像 Optimism 一样。因此，其计划是发展生态系统，并在路线图的宇宙阶段逐步将 StarkNet 去中心化。
zkSync 的路线图通过 4 个步骤总结如下：
第一阶段对应于 2020 年6 月推出的 zkSync 1.0，大致对应于 zk rollup，但没有智能合约整合，允许发送和接收代币。尽管缺乏可组合性，但有前途的项目已经部署在了上面，所有指标都显示出对 zkSync 1.0 指数级的兴趣。
第二阶段将随着 zkSync 2.0 的主网部署而启动，它对应着我们所期待的一切：Zk rollup 上的完全 EVM 兼容性和智能合约的可组合性。
zkSync 2.0 最初计划于 8 月在主网上部署，但技术问题推迟了发布。这些困难现在在测试网得到了解决，去年 10 月，zksync 宣布接近完成技术步骤，并部署了一个类似 AMM 的测试网，以证明 EVM 的兼容性。
Matter Labs 为确保 LLVM/Solidity 的兼容性所采取的延迟措施一开始可能令人沮丧，但它将帮助 zksync 赢得大量的时间，因为它允许所有的 eth 工具和依赖性与 zkSync 2.0 进行原生集成。
个人印象和机会
StarkWare 是真的令人印象深刻。这是我在一段时间内看到的最有前途的基础设施项目。全明星团队，世界级的创新，顶级的资金。引人注目的是，他们不仅仅是在建造一个 ZK Rollup。他们正在思考一切。我们谈到了 Cairo和Warp。但他们也在努力用 Veedo 为 ETH 带来真正的随机性，通过有条件的 txs 进行 L1s 到 L2s 通信，Batch-Long 闪电贷和其他天才性的东西。他们用分布式 AMMs来解决 L1 和 L2 之间的 AMMs 流动性碎片的方法确实令人鼓舞。他们正在放眼全球。
我现在看到的 StarkWare 的唯一技术问题是通过 Warp 转接器进行的 Solidity 整合。Starknet 首先是为 Cairo 优化的，而 Solidity 转发器是在它的基础上添加的。我不是一个很强的技术人员，但我担心Solidity 翻译不会在每一种情况下都是直截了当的，它可能会对一些智能合约造成兼容性问题。
此外，我看到的其他问题是：我们这些平民的机会在哪里？StarkWare 已经价值 20 亿美元，但目前还没有公平发布代币的计划。
另一方面，我也喜欢 zksync 的社区第一的做法，以及对作为主要公民的稳固性的强调。他们的整个技术努力依赖于真正的 EVM 体验，没有任何权衡，这可能会在采用方面得到回报。zksync 还与当前的 Defi/CEX 景观深度整合，这对未来的协议加入和采用是一个好兆头。
就机会而言，zkSync 已经宣布存在一个本地代币，他们将在未来的某个时候，进行公平代币发布和潜在的空投。这对社区来说超级好，但我感觉 Zk rollups 的原生代币将被过度发挥，因为每个人和其团队都在等待它。
我还希望 StarkWare 在宇宙阶段推出一个本地代币。因为他们将不得不在某个时候将他们的网络去中心化，并激励证明者。
综上所述，我的观点是，在 zk rollup 方面，最令人印象深刻的执行力来自于 StarkWare，但草根社区/开源的氛围使 zksync 对我更有吸引力。
以下是我最后的个人说明：
就机会而言，也许我们应该将我们的注意力从 rollup 的原生代币转移到将在这些 rollup 上找到用户基础的新兴项目。ETH 是一个范式转变，那些试图在链上复制订单的项目很快就被更适合这种新环境的 AMM 模式所取代。同样地，ZK rollup 是 ETH 的范式转变，也许（只是也许），在 rollup 上复制 AMM 是一个弱智的想法；也许 TVL 不会成为 rollup 上的一个重要指标；也许 CLOBs 值得再次考虑。
这些都是临时的例子，但我们的想法是，也许最好的机会存在于那些利用这些 rollup 来做在 L1 上不可能做的事情的项目上，而不是复制那里已有东西的项目。
如果你走到了这一步，那么恭喜你。
