六个角度对比以太坊二层方案zkSync和Starkware

原标题：《解析丨6大视角对比以太坊二层方案zkSync与Starkware》

近期@dareal_sisyphe发表了一篇以太坊二层方案zkSync与Starkware的对比文章，从团队、技术、数据可用性、资金与支持者、当前产品与路线图、个人印象六个方面进行了分析。 以下是所有内容的汇编。

说 ZK 汇总将是巨大的是轻描淡写。

有两个野兽多年来一直在幕后研究这项技术。 他们大放异彩的时刻即将到来。 那么，这个领域存在哪些机会？ 这两个项目有什么区别？ 他们什么时候发行硬币？

下面是 zksync 和 StarkWare 的对比。

预先警告，这是一个我试图掌握的巨大主题，我可能会走一些捷径，或者在我的解释中犯一些错误。 请随时纠正我或在评论中提出更准确的建议。

已经有很多资源详细说明 ZK Rollup 是什么以及它与 Optimistic Rollup 的区别。

在这里，我只关注 zk rollup 背后的基础知识以及 zk 游戏中的两个主要参与者——zksync 和 StarkWare 之间的区别。

基础知识：以太坊就是我们所说的“单片机”。 因为共识、执行和数据可用性都发生在 ETH 区块链上。 这是不可持续的，也是它无法扩展的原因。 因为这意味着所有节点都必须执行这 3 个功能。 为了扩展，Eth 必须变得“模块化”。 这意味着仅将区块链用于其最擅长的领域：共识，以及将执行和数据可用性 (DA) 的负担转移到链下。 但是我们如何以完全继承 L1 安全性的方式移动执行和 DA？

zk rollups：通过 zk rollups，数以千计的 tx 被打包成一个单一的、数学上可验证的 zk 证明，并且只有这个证明存储在链上。

接下来我们对比一下zksync和@StarkWare。 我们将尽量弄清楚并按照以下角度进行比较。

团队和开始

StarkWare：2018年5月启动，团队由世界级的密码学家和科学家组成。 核心人员为原Zcash首席科学家，多年来一直是zk领域的创新先行者。 他们正在通过 Starknet 将学术理论转化为现实世界的产品。 他们无疑是本场比赛最著名的球队。

Zksync：2019 年 12 月开始。事实上，在 zk 空间中有一个“次优”，就是 Matter Labs 团队正在构建 ZkSync。 该团队由@gluk64 共同创立，我找不到太多关于其背后聪明人的信息，但 ZkSync 2.0 带来的技术突破足以说明问题。 他们有一种局外人的气质，而且行动迅速。

技术

这两个项目具有相似的架构，将汇总智能合约插入 Eth 区块链以存储 L2 状态转换的 zk 证明。 此外，他们都有 2 个链下参与者负责为网络供电。

此外，这两个项目都必须竞相克服一个主要的技术问题，即创建一个通用的 ZK 证明系统。

这是一个圣杯，因为直到现在所有 ZK 系列都需要特定的应用程序。 这意味着每个应用程序只有一个 ZK rollup，没有 EVM 兼容性。

你猜怎么着，zksync 和 StarkWare 都这样做，但在技术上有所不同。

StarkWare：他们使用的加密技术是基于 STARKs 的。 他们是这项技术的先驱，与 SNARKs（由 zkSync 使用）相比有两个主要优势：

美君宫广告旗舰店

X

zksync：使用的zk系统是基于SNARKs的（尤其是PLONK）。 因此，整个系统的安全性取决于 2019 年秋季启动的信任仪式。它涉及许多知名的加密货币玩家，其中包括 Vitalik Buterin。 如果至少有一个参与者是诚实的，那么该系统可以证明是安全的，所以我很乐意不认为“可信设置”的论点可以用来对抗 zksync。

尽管 zkSync 团队进行了许多优化，但 SNARK 仍然比 STARK 慢。 然而，他们的系统以比 STARKs 更自然的方式允许 EVM 兼容性。 智能合约可以（几乎）由 zkSync 编译器逐个操作码转换这一事实使 Solidity 成为 zkSync 的“主要公民”，而无需中间语言或转码器。

数据可用性 (DA)

zk 汇总消除了 L1 的 txs 计算负担，并允许 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（链上 DA）的汇总结算和单个 tx（链下 DA）级别的有效结算之间进行选择。 通过高效结算，链下 DA 由一个由知名加密货币实体组成的集中式“数据可用性委员会”（DAC）保证。

这听起来像是中心化，但这是对最终用户自愿选择的超低价 TX 的权衡。

广告梦幻西游网页版，无肝无氪也能畅享大话西游！

X

zksync：DA 挑战的解决方案是 zkPorter，这是一种分片基础架构，可与 zkSync 的 zk rollup 无缝协作。 想象一下，zkSync rollup 是保证链上 DA 的 shard0。 然后其他分片可以选择不同的 DA 策略并将 tx 数据存储在链下。

StarkWare 的 Volition 和 zksync zkPorter 之间的主要区别在于，对于 Volition，结算的选择是基于 tx（用户为每个 tx 选择 DA），而对于 zkPorter，它是基于账户的（一个 zkPorter 账户只能与链下生成 tx达）。

此外，对于 zkPorter，链下 DA 系统更加去中心化，因为 DA 是由 zkSync 原生代币激励的“守护者”网络而不是中心化的“DAC”来保证的。

资金和支持者

斯塔克软件：

目前，StarkWare 的估​​值为 20 亿美元。 这是一次世界级的融资，拥有著名的投资者。 大佬们和以太坊基金会都在里面。 Vitalik 本人也对 Starkware 出品的大部分文章发表评论。 舒和山姆也在同一条船上。 这样的项目怎么会失败呢？

同步：

董事会中的知名人士较少，看起来像是大型 Defi/CEX 加密货币家族基金。 这听起来很滑稽，但实际上很重要，因为 ZK rollup 的成功将在很大程度上取决于 DeFi 协议和直接 CEX 的集成。 所以我非常看好zksync生态的快速整合。

广告《权力的游戏：凛冬将至》HBO正版授权策略游戏

X

当前产品和路线图

StarkWare 在不懈地将顶级密码学论文转化为现实世界创新的过程中取得了令人难以置信的发展。 他们的路线图总结如下：

广告找服装批发，上阿里巴巴

X

他们首先推出了 StarkEx，相当于“Planet”阶段，允许创建由 Cairo 和 STARKs 提供支持的许可的、特定于应用程序的 zk 汇总。 如果您不知道，请考虑@dydxprotocol、@Immutable 或@deversifi。 因为它们是 3 个主要应用程序，所以它们由 StarkEx 的生产版本驱动。

到目前为止，StarkEx 已经通过这些应用结算了超过 500 万笔交易和 2500 亿美元的价值。 StarkEx 的效率现已得到证明，StarkWare 将很快进入路线图的“星座”阶段。 11 月 29 日，他们在主网上发布了 StarkNet 的 Alpha 版本。 StarkNet 是我们期待的无许可、多应用和通用的 zk rollup。

最初，StarkNet 将由集中式验证器提供支持，应用程序将通过白名单顺序部署，就像 Optimism 一样。 因此，计划是在路线图的“cosmos”阶段发展生态系统并逐步将 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 进行 L1 到 L2 的通信，批量快速贷款和其他天才的东西。 他们使用“分布式 AMM”来解决 L1 和 L2 之间 AMM 的流动碎片化的方法确实令人鼓舞。 他们放眼全球。

我现在在 StarkWare 上看到的唯一技术问题是通过 Warp 适配器的 Solidity 集成。 Starknet 首先针对 Cairo 进行了优化，并在其之上添加了 Solidity 转发器。 我不是一个强大的技术人员，但我担心“Solidity 翻译”在所有情况下都不是直截了当的，并且它可能会导致与某些智能合约的兼容性问题。

另外，我看到的其他问题是：我们平民的机会在哪里？ StarkWare 已经价值 20 亿美元，但目前没有公平发行代币的计划。

另一方面，我也喜欢 zksync 的社区优先方法和强调“作为主要公民的团结”。 他们的全部技术努力都基于真正的 EVM 体验，没有任何权衡，这可能会在采用方面得到回报。 zksync 还与当前的 Defi/CEX 环境深度集成，这预示着未来协议的引入和采用。

在机会方面，zkSync 已经宣布了原生代币的存在以太坊数量有多少，他们将在未来的某个时候进行公平的代币发布和潜在的空投。 这对社区来说非常棒，但我感觉 Zk rollups 原生代币会被夸大，因为每个人和团队都在等待它。

我还希望 StarkWare 在“宇宙”阶段推出原生代币。 因为他们将不得不在某个时候分散他们的网络并激励证明者。

综上所述，我认为在 zk rollup 方面最令人印象深刻的执行来自 StarkWare，但草根社区/开源氛围使 zksync 对我更具吸引力。

这是我最后的个人笔记：

就机会而言，也许我们应该将注意力从 rollups 的原生代币转移到将在这些 rollups 上找到用户群的新兴项目。 ETH 是一种范式转变，试图在链上复制订单的项目很快被更适合这种新环境的 AMM 模型所取代。 同样，ZK rollups 是 Eth 的范式转变，也许（只是也许），在 rollups 上复制 AMMs 是一个弱智的想法； 也许 TVL 不会成为汇总的重要指标； 也许 CLOB 值得再次考虑。

这些是临时的例子，但我们的想法是，也许最好的机会在于利用这些汇总来做 L1 上不可能做的事情的项目，而不是复制已经存在的东西。

如果你已经做到了这一步，恭喜你。