zk-rollup 争夺战：zkSync vs. Stark

就这么说 zk-rollup 成功太轻描淡写了。有两个项目已经研究这项技术多年了，他们辉煌的时刻即将到来。机会是什么？它们之间有什么区别？代币什么时候发布？这是对的 @zksync 和 @StarkWareLtd 比较推文:

提前声明，这是一个如此大的话题，我正在努力掌握这些知识。但我可能会走捷径，或者在解释时犯错误。请随时在评论中纠正我的错误，使推特更准确。

有很多详细的资源来解释什么是 zk-rollup 以及它与 optimistic rollup 差异。所以我主要关注这篇文章 zk-rollup 背后的基本直觉原因和零知识证明了扩容解决方案赛道中两大玩家的区别，即 @zksync 和 @StarkWareLtd。

以太坊就是我们所说的 单一型(monolithic) 以太坊区块链发生了共识、执行和数据可用性。这是不可持续的 (因为这意味着所有节点都必须执行这三个功能)，这就是单个以太坊区块链无法扩展的原因。

要实现扩容，以太坊必须向前 模块化(modular) 区块链发展。这意味着区块链只用于其最好的领域：共识、执行和数据可用性 (data availability,DA) 将工作外包给链下。

但是，我们应该如何保证它的继承呢？ L1 将执行和数据可用性转移到安全的同时？ zk-rollup成千上万的交易被打包成单一的数学验证 zk 只有这个证书存储在链上。

现在我们来比较一下 @zksync 和 @StarkWareLtd。我将尽可能使用简单的语言，并从团队和成立的早期阶段、技术、数据可用性、融资和背后的支持者、当前的产品和路线图、个人观点和机会进行比较。

团队和成立初期

StarkWare 团队成立于 2018 年 5 月。其团队由世界级的密码学家和科学家组成。核心成员是 Zcash 多年来，前首席科学家在零知识领域进行了探索和创新。他们发表了许多学术论文，并将其实现为真正的产品 Starknet。

另一个就是 @zksync，其团队 Matter Labs 成立于 2019 年 12 月，Alex G. 作为它的联合创始人。我找不到更多关于团队成员背后的信息，但是 ZkSync 2.0 技术突破表明，他们有跨行业的气质，工作效率高。

技术

这两个项目都有类似的结构。会有一个 rollup 将智能合约插入以太坊区块链存储 L2 状态转换的 zk 此外，还有两种数据存储方法可供选择，为网络提供动力。

证明者 (prover):负责繁重工作的少量节点。他们负责计算所有交易，并将其聚合成简单的 zk 证明。它们在特殊硬件上运行 (可以认为是黑匣子)。我们所知道的是，他们不能从数学层面伪造 zk 证明。

验证者 (validator):大量节点负责抗审。他们验证了 prover 提交的证书的有效性。每个人都可以在没有特定硬件的情况下运行此类节点。

此外，这两个项目都必须克服一个主要的技术问题，即创建一个通用的 zk 证明系统。谁能提供最好的解决方案，谁就是这条轨道的王者。因为到目前为止 zk 所有电路都是专用集成电路，即根据不同的应用实现不同 zk 电路。这意味着每个应用程序都有一个 zk-rollup，不兼容 EVM。大家猜怎么着，@zksync 和 @StarkWareLtd 所有这些都做到了，但使用了不同的技术。

StarkWare: 它们使用基础 STARKs 证明密码学技术。这项技术是由 StarkWare 团队发明，和 SNARKs 证明 (zkSync 使用的技术) 有两个主要优点：

"T" 指的是 "transparent"(透明)这意味着系统运行不需要信任设置；

生成 STARKs 证明速度比 SNARKs 的快 10 倍。

STARKs 问题是技术不如 SNARKs 成熟，如果实现了图灵的完整性，就很难与之相处 EVM 兼容。StarkWare 创建了特定的编程语言 Cairo 来运行由 STARKs 支持的独立程序。但现在很少有人愿意学习新的编程语言来执行智能合同，StarkWare 团队现在正和 Nethermind 团队合作创建代码转译器 Warp，来讲 Solidity 智能合约无缝转换 Cairo，使其与 EVM 兼容。

zkSync 使用基于 SNARKs 证明 (尤其是 PLONK) 的 zk 系统。该系统的整体安全性取决于 2019 一套信任设一套信任设置 (Multi-party Computation Ceremony)。它涉及到许多知名的加密圈内人，包括 Vitalik Buterin。

至少有一个参与者是诚实的，这样系统就可以被证明是安全的。所以我不这么认为 可信设置 可用于反驳 zkSync 的 SNARKs 比 STARKs 尽管如此 zkSync 团队做了很多优化 zkSync 系统实现 EVM 兼容的方式比 STARKs 自然。事实上，智能合约 (几乎) 可以由 zkSync 编译器逐一转换操作码，这使得 Solidity 成为 zkSync 的 一等公民。因此，不需要中介语言或特殊转译器。



数据可用性 (DA)

zk-rollup 从交易计算的压力来看 L1 中间移除允许以太坊扩容到最高 2000-3000 tps。听起来很棒，但还是不够 "只提供 rollup" 的方案下，DA 压力还在 L1 交易数据通过 calldata 写入 L1 中。

DA 有了它，用户就可以在这里了 Etherscan 看看你的交易发生了什么。如果没有 DA，用户交易的执行已经成为一个黑匣子。如果用户更喜欢选择便宜的交易费，他们可以直接在那里 L1 跟踪交易的功能没问题。换句话说，必须为用户提供选择。

用户要么选择在交易数据上写作 L1 但是手续费会高一点；要么选择特别便宜的手续费，但需要信任 L2 一些实体确保交易数据的可用性。L1 存储 DA 压力消失了，zk-rollup 可以扩容到 2 万 - 3 万 TPS。

StarkWare：通过 Volition 系统解决 DA 问题。Volition 允许终端用户进行每笔交易 rollup 方案 (链上数据的可用性) 和 validium 方案 (链下数据可用性) 之间选择。

在 validium 在方案中，链下 DA 集中 "数据可用性委员会"(data availability committee,DAC) 和 DAC 它由一些著名的加密实体组成。这听起来很集中，但是..为了满足用户对超低交易费的需求，这是一种折衷方案。



而 zkSync 解决 DA 问题的用例是 zkPorter。这是一个分片基础设施，和 zkSync 的 zk-rollup 方案无缝平行 zkSync rollup 想象保证链上 DA 的分片 0.然后每个其他片段都可以选择不同的片段 DA 链下存储交易数据的策略和策略。

StarkWare 的 Volition 和 zkSync 的 zkPorter 主要区别是：Volition 用户可以根据每笔交易选择数据存储模式 zkPorter 用户根据每个账户选择交易结算方式 (zkPorter 账户只能通过链下使用 DA 方法产生交易)。zkPorter 的链下 DA 因为它，系统更加分散 DA 由 zkSync 本地代币激励 守卫者网络Guardian) 提供安全，而不是集中 ”DAC“。



背后的融资和支持者

StarkWare：

2018 年 5 月价值 600 种子轮1万美元 (Pantera/Naval/Vitalik)

2018 年 10 月价值 3000 万美元的 A 轮融资 (Paradigm/Sequoia/Cb Ventures)

2021 年 3 月价值 7500 万美元的 B 轮融资 (Paradigm/3AC/Alameda)

2021 年 11 月价值 5000 万美元的 C 轮融资 (Paradigm/3AC/Alameda)

目前为止，StarkWare 估值 20 1亿美元。这是一个世界级的融资水平，有许多著名的投资者。一些大亨和以太坊基金会的成员都参与其中。Vitalik 自己审查 StarkWare 大部分发表的文章。这怎么会失败？

zkSync：

2021 年 3 月价值 600 万的 A 轮融资 (Binance/Cb Ventures/AAVE/Balancer/Curve)

2021 年 11 月价值 5000 万的 B 轮融资 (Horowitz/Placeholder/Crypto.com 等等)

和 StarkWare 相比之下，没有那么多著名的投资者，看起来像个大投资者 Defi/CEX 加密家庭融资。我们认为每个项目都很好，它们也很好地结合在一起。重要的是，zk-rollup 成功在很大程度上取决于 DeFi 协议的加入与和 CEX 直接集成。

所以我对 zkSync 生态系统的快速集合非常乐观。





当前产品及路线图
StarkWare 它的演变令人惊叹，因为它们不懈地将其顶级密码论文转化为现实创新。其路线图如下：



他们首先推出 StarEx，我认为这相当于他们的路线图 “行星”(Planets) 并允许创建原因 Cairo 和 STARKs 特殊类型的应用提供支持 zk-rollup。如果读者还不清楚，想想 dydx、Immutable、Deversifi 等等。因为它们是由 StarkEx 支持产版 3 主要应用。到目前为止，StarkEx 超过这些应用已经处理好了 500 一万笔交易，价值超过 2500 亿美元。StarkEx 而且，效率已经得到证实 StarkWare 快速到路线图 “星群”(Constellations) 阶段发展。

在 2021 年 11 月 29 日，他们发布了 StarkNet 的主网 Alpha 版本。StarkNet 它是我们所期待的无许可、多应用的通用类型 zk-rollup。起初，StarkNet 它将由一个集中的证明者驱动，应用程序将按顺序申请白名单 Optimism 同样。因此，他们的计划是发展生态系统，并逐步发展 StarkNet 去中心化实现路线图 “宇宙”(Universe) 阶段。

热点：rollup 代币 以太 以太坊 以太坊区块 区块链 数据 智能合约