# zksync与starkware比较 By [scarlet](https://paragraph.com/@kol8) · 2022-07-23 --- ![](https://storage.googleapis.com/papyrus_images/56f2de4947bb51a1f5b5926e9141a37fed7f5bb4252d1ab6ddc60d3604982a44.png) 以太坊rn就是我们所说的 "单片机"。因为共识、执行和数据可用性都发生在ETH区块链上。这不是可持续的，这就是为什么它不能扩展。因为这意味着所有节点都必须执行这3个功能 为了扩大规模，Eth必须成为 "模块化"。这意味着只将区块链用于其最擅长的领域：共识，并将执行和数据可用性（DA）的负担转移到链外。 但是，我们如何以完全继承L1的安全性的方式来移动执行和DA？ zk rollups 通过zk + rollup，数以千计的tx被打包成一个单一的、可被数学验证的zk证明，并且只有这个证明被存储在链上。 现在我们来比较一下@zksync 和 @StarkWareLtd . 将尽量保持清晰，并遵循这个计划。 * 团队和开端 * 技术 * 数据可用性 * 资金和支持者 * 目前的产品和路线图 * 个人印象和机会 **团队和开端。** @StarkWareLtd 始于2018年5月。该团队由世界级的密码学家和科学家组成。核心人员是前Zcash首席科学家，多年来一直是zk领域的创新先锋。他们有很多顶尖的学术论文。用Starknet. 网络变成现实世界的产品。无疑是这场游戏中最著名的团队 @zksync : 从2019年12月开始。实际上，在zk领域有一个 "第二好"的称谓，那就是正在建设ZkSync的Matter实验室团队。该公司由 @gluk64创建（我没能找到......更多关于其背后的顶尖大脑的信息），但ZkSync 2.0带来的技术突破为他们说话。他们有外来者的气势，而且行动迅速。 **技术。** 两个项目都有一个类似的架构。 将会有一个插入Eth区块链的rollup智能合约\*\*，它将存储L2状态转换的zk证明\*\*。另外，将有2种链外行为者负责为网络提供动力。**_provers 和 validator_** **证明人（provers**）:负责繁重工作的少量节点。它们计算所有的txs，并将其汇总为简洁的zk证明。它们在专用硬件上运行，可以是黑盒子。我们所知道的是，它们在数学上无法伪造假的ZK证明。 **验证者(validator**): 负责抗审查的大量节点。他们验证证明者提交的证明的有效性。不需要特定的硬件。每个人都可以运行它 另外，这两个项目都必须竞相克服一个主要的技术问题，那就是创建一个**通用的ZK证明系统**这是一个该死的圣杯，因为直到现在所有的ZK电路都需要特定的应用例如starkware的starkex。这意味着每个应用只有一个ZK rollup，而且没有EVM兼容性。你猜怎么着，@zksync和 @StarkWareLtd 都做到了，但技术不同 @StarkWareLtd ：他们使用的加密货币是基于STARKs的。他们是这项技术的先驱，与SNARKs（由ZkSync使用）相比有两个主要优势。 * T "意味着 "透明"(transparent)，这意味着该系统无需信任设置即可工作 * 它的产出速度比SNARKs快10倍 * 但是也有drawbacks缺陷 ,STARKs的问题是技术不如SNARKs成熟，如果它允许图灵完备性，就很难使其与EVM兼容。 Starkware创造了Cairo，一种特定的最接近图灵完备的编程语言，允许运行由STARKs驱动的自主程序，但由于人们想学习一种新的编程语言来做智能合约的门槛太高，他们现在正与 @nethermindeth 创建Warp，这是一个可以将solidity智能合约无缝转换为Cairo的转码器，以便使 @StarkWareLtd 与EVM兼容 * @zksync : 使用的zk系统是基于SNARKs（尤其是PLONK）。因此，该系统的整个安全性在于2019年秋季发生的一个可信仪式。它吸引许多有名的加密货币玩家，其中包括 @VitalikButerin * @zksync 的证明逻辑是如果至少有一个参与者是诚实的，那么这个系统是可以证明是安全的，尽管ZkSync团队做了很多优化，SNARKs比STARKs慢。但他们的系统允许EVM兼容...比STARKs更亲民的方式是，事实上，智能合约可以（几乎）由ZkSync编译器逐个转换操作码，这使得solidity成为ZkSync的 "主要语言"。不需要中介语言或转码器 * **数据可用性 Data availability （DA）**。 zk rollups将txs计算的承担从L1中移出，并允许ETH扩展到2-3K tps。这很好，但还不够，仅仅采用 "rollup "的方法，DA的负荷仍然在L1上，而tx数据通过calldata写在L1上。 * DA是超级重要的。这是允许你在Etherscan上看到你的tx发生了什么的原因。没有它，TX的执行就成了一个黑盒子。如果你喜欢便宜的tx而不是在L1上直接追踪，这是可以实现。因此，zk rollup必须向用户提供一个选择。要么你的tx数据写在L1上，但费用高一点，要么你优先考虑超便宜的tx，并信任L2上的一些实体来保证你tx数据的可用性。这样，L1就可以从DA负担中解放出来，而ZKrollup可以扩展到20-30k TPS。 @StarkWareLtd ：用Volition系统解决DA的挑战。Volition允许终端用户在其tx的滚动结算（链上DA）和单个tx层面的有效结算（链下DA）之间做出选择。 ![https://medium.com/starkware/volition-and-the-emerging-data-availability-spectrum-87e8bfa09bb](https://storage.googleapis.com/papyrus_images/c989a22b7f050ca3d0bcdbb310b78b10d58d36adad1ad25ecf615b89daca6266.png) https://medium.com/starkware/volition-and-the-emerging-data-availability-spectrum-87e8bfa09bb 如果是 validium方案，链外DA由一个中心化的 "数据可用性委员会"（DAC）保证，该委员会由著名的加密货币实体组成。 ![听起来像中心化，但是......这是终端用户的权衡后自愿选择的超低价交换。](https://storage.googleapis.com/papyrus_images/db9ab737294d0647026a742e6e73430f53c212455e6f9d513d37957e5a55a4d6.png) 听起来像中心化，但是......这是终端用户的权衡后自愿选择的超低价交换。 @zksync DA的解决方案是zkPorter 它是一个分片基础设施，与ZkSync的zk rollup无缝运行。想象一下，ZkSync rollup是保证链上DA的shard0。然后其他分片可以选择不同的DA政策并在链外存储Tx数据。。 ![https://blog.matter-labs.io/zkporter-a-breakthrough-in-l2-scaling-ed5e48842fbf?gi=c344827caa99](https://storage.googleapis.com/papyrus_images/01fef881772abe950aa6ab7d6935bd6fc64efbadaa951cc49f6dd959da9cf6c6.png) https://blog.matter-labs.io/zkporter-a-breakthrough-in-l2-scaling-ed5e48842fbf?gi=c344827caa99 差异主要体现在：@StarkWareLtd的**Volition**和@zksync **zkPorter**，它们两主要区别是，Volition的方案是基于tx的选择（用户为每个tx选择DA），而zkPorter是基于账户的（一个zkPorter账户使用链外Da产生tx） 另外，对于zkPorter来说，链外DA系统更加去中心化，因为DA是由ZkSync原生代币激励的 "守护者 "网络而不是中心化的 "DAC "来保证的。 ![](https://storage.googleapis.com/papyrus_images/acb6a34cac969a6d0585c76dda7e9c91271e994e81d27d1a472557dd4dd60335.png) **资金和支持者** @StarkWareLtd [https://www.theblock.co/post/124479/ethereum-layer-2-developer-starkware-raises-50-million-now-valued-at-2-billion](https://www.theblock.co/post/124479/ethereum-layer-2-developer-starkware-raises-50-million-now-valued-at-2-billion) * 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）。 今天 @StarkWareLtd 的估值为20亿美元。这是一次世界级的融资，有著名的投资者。大佬们和以太坊基金会都在其中。 Vitalik 本人评论了Starkware创作的大部分文章。。这怎么会失败呢？ @zksync [https://blog.matter-labs.io/funding-ea89c1fa731e](https://blog.matter-labs.io/funding-ea89c1fa731e) 3月600万美元的A轮融资（Binance/Cb Ventures/AAVE/ Balancer/Curve）。 * 去年11月5000万美元的B轮融资（Horowitz/Placeholder/Crypto.com等）。 （看起来大人物较少，像一个大的Defi/CEX加密货币家族的资金。我们认识每一个人，并且在一起很好 这听起来很有趣，但实际上很重要，因为ZK的成功将在很大程度上取决于Defi协议的加入和直接CEXs的整合）所以我很看好 @zksync生态系统的快速整合 ![](https://storage.googleapis.com/papyrus_images/863d8e3e9b13dd2a4293f6c2ebe69bc709e8ea04abc61d046a460b9805c0407a.png) **目前的产品和路线图。** @StarkWareLtd : 令人难以置信的演变，因为他们坚持不懈地将其顶级密码学论文转化为现实世界的创新。他们的路线图总结如下 ![roadmap of starkware ](https://storage.googleapis.com/papyrus_images/ef047c7b4e08d35bf03d2b88208c197c797cfd01f8587b98cb16452da7e619a1.png) roadmap of starkware 他们首先推出了StarkEx，这相当于 "Planets "阶段，并允许创建由Cairo和STARKs驱动的有权限的、特定应用的ZKrollup。 如果你不清楚，看看@dydxprotocol@Immutable或@deversifi 。因为它们是3个由StarkEx的版本驱动的主要应用程序 到目前为止，StarkEx已经通过这些应用程序解决了超过500万的交易量和2500亿美元的价值。StarkEx的效率现在已经得到了证实。于是@StarkWareLtd迅速进入了路线图的 "Constellations "阶段。 11月29日，他们在主网上发布了StarkNet的Alpha版本。**StarkNet是我们所期待的无权限、多应用、通用的zkrollup** [https://medium.com/starkware/starknet-alpha-now-on-mainnet-4cf35efd1669](https://medium.com/starkware/starknet-alpha-now-on-mainnet-4cf35efd1669) 起初，StarkNet将由一个集中式验证器provers提供验证，应用程序将被部署 ![roadmap of zksync](https://storage.googleapis.com/papyrus_images/88cc5225e70769d358980da7bf61a59ca78d5738739b6188b038412963a3464a.png) roadmap of zksync @zksync 的路线图通过4个步骤总结如下。 第一阶段对应于2020年6月推出的ZkSync 1.0，大致对应于zk rollup，但没有智能合约整合。你可以发送和接收代币,尽管缺乏可组合性，但有前途的项目已经在其上部署，所有指标都显示对ZkSync 1.0的兴趣呈指数增长 [https://dune.com/kylin/Zksync](https://dune.com/kylin/Zksync) 路线图的第二阶段将随着ZkSync 2.0的主网部署而启动，它对应的是我们期待的一切：Zk rollup上的完全EVM兼容性和智能合约的可组合性 ZkSync 2.0最初计划于8月在主网上发布，但技术问题推迟了发布。这些困难现在在测试网得到了解决，去年10月@zksync宣布即将完成技术步骤，并部署了一个类似于AMM的测试网来证明EVM的兼容性,Matter Lab为确保LLVM/Solidity的兼容性而采取的延迟，一开始可能会让人感到沮丧，但它会帮助@zksync 通过允许每个以太坊 工具和对其的依赖性与 ZkSync 2.0 本地集成来赢得大量时间 **个人印象和机会。** @StarkWareLtd这是我在一段时间内看到的最有前途的基础设施项目。全明星团队，世界级的创新，顶级的资金。令人印象深刻的是，他们不仅仅是在建造一个ZK rollup。他们还建造 Cairo语言和Warp转码器。 同时他们也在努力通过 Veedo 为 Eth 带来真正的随机性，通过有条件的 txs 进行 L1s 到 L2s 的通信，Batch-Long 闪电贷和其他炸爆天的天才的东西。他们解决 AMM 流动性的方法。用 "分布式AMMs " 处理L1和L2之间的碎片化真的很鼓舞人心。他们望眼全球。他们正在思考大问题。 [https://medium.com/starkware/damm-decentralized-amm-59b329fb4cc3](https://medium.com/starkware/damm-decentralized-amm-59b329fb4cc3) 我现在看到的@StarkWareLtd 的唯一技术问题是通过Warp转码器进行的Solidity集成。Starknet首先是为Cairo优化的，而Solidity转译器是在它上面添加的。我不是一个技术人员，但我担心 "Solidity转译 "将无法实现。直截了当的说，它可能会导致与一些智能合约的兼容性问题。 我看到的其他问题是：我们这些平民百姓的机会在哪里？ 另一方面，我喜欢@zksync社区第一的做法。以及对 "Solidity作为主要语言 "的强调。他们的整个技术努力依赖于真正的EVM体验，没有任何取舍，这可能会在普遍性方面得到回报。@zksync 也与当前的Defi/CEX深度融合，这对未来的协议加入和采用是一个好兆头。就机会而言，ZkSync已经宣布了原生代币的存在，他们将做一个公平的发布和潜在的空投 \--the end --- *Originally published on [scarlet](https://paragraph.com/@kol8/zksync-starkware)*