# zksync与starkware比较

**Published by:** [scarlet](https://paragraph.com/@kol8/)
**Published on:** 2022-07-23
**URL:** https://paragraph.com/@kol8/zksync-starkware

## Content

以太坊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如果是 validium方案，链外DA由一个中心化的 "数据可用性委员会"（DAC）保证，该委员会由著名的加密货币实体组成。听起来像中心化，但是......这是终端用户的权衡后自愿选择的超低价交换。 @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差异主要体现在：@StarkWareLtd的Volition和@zksync zkPorter，它们两主要区别是，Volition的方案是基于tx的选择（用户为每个tx选择DA），而zkPorter是基于账户的（一个zkPorter账户使用链外Da产生tx） 另外，对于zkPorter来说，链外DA系统更加去中心化，因为DA是由ZkSync原生代币激励的 "守护者 "网络而不是中心化的 "DAC "来保证的。资金和支持者 @StarkWareLtd https://www.theblock.co/post/124479/ethereum-layer-2-developer-starkware-raises-50-million-now-valued-at-2-billion2018年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 3月600万美元的A轮融资（Binance/Cb Ventures/AAVE/ Balancer/Curve）。 去年11月5000万美元的B轮融资（Horowitz/Placeholder/Crypto.com等）。 （看起来大人物较少，像一个大的Defi/CEX加密货币家族的资金。我们认识每一个人，并且在一起很好 这听起来很有趣，但实际上很重要，因为ZK的成功将在很大程度上取决于Defi协议的加入和直接CEXs的整合）所以我很看好 @zksync生态系统的快速整合目前的产品和路线图。 @StarkWareLtd : 令人难以置信的演变，因为他们坚持不懈地将其顶级密码学论文转化为现实世界的创新。他们的路线图总结如下 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 起初，StarkNet将由一个集中式验证器provers提供验证，应用程序将被部署roadmap of zksync @zksync 的路线图通过4个步骤总结如下。 第一阶段对应于2020年6月推出的ZkSync 1.0，大致对应于zk rollup，但没有智能合约整合。你可以发送和接收代币,尽管缺乏可组合性，但有前途的项目已经在其上部署，所有指标都显示对ZkSync 1.0的兴趣呈指数增长 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 我现在看到的@StarkWareLtd 的唯一技术问题是通过Warp转码器进行的Solidity集成。Starknet首先是为Cairo优化的，而Solidity转译器是在它上面添加的。我不是一个技术人员，但我担心 "Solidity转译 "将无法实现。直截了当的说，它可能会导致与一些智能合约的兼容性问题。 我看到的其他问题是：我们这些平民百姓的机会在哪里？ 另一方面，我喜欢@zksync社区第一的做法。以及对 "Solidity作为主要语言 "的强调。他们的整个技术努力依赖于真正的EVM体验，没有任何取舍，这可能会在普遍性方面得到回报。@zksync 也与当前的Defi/CEX深度融合，这对未来的协议加入和采用是一个好兆头。就机会而言，ZkSync已经宣布了原生代币的存在，他们将做一个公平的发布和潜在的空投 --the end

## Publication Information

- [scarlet](https://paragraph.com/@kol8/): Publication homepage
- [All Posts](https://paragraph.com/@kol8/): More posts from this publication
- [RSS Feed](https://api.paragraph.com/blogs/rss/@kol8): Subscribe to updates