zkSync

本文将介绍第一个上线主网使用 zk-rollup 技术的二层网路 zkSync 从公链本身介绍到生态项目的发展，从基本面、数据面再到生态系做全盘的解析。

本文从各维度详细对比 Starknet和zkSync， 如两者验证成本构成与差异、每个用户操作的差异与操作成本、分析 Rollup 的收益及 DA 成本，思考在 4844 升级后，可能给谁带来更多的收益。

欢迎来到 zincSync智能合约测试网Zinc Alef。

文章介绍了去中心化证明者市场（prover markets）的兴起及其独特的技术特点，以及Ingonyama与Twinstake的合作，共同探索为验证者提供高性能计算基础设施的方案。文章还展示了使用Ingonyama的ZaKi基础设施运行ZkSync prover，实现负载均衡和降低成本的 demo。

本文介绍了StarkNet, zkSync, Polygon Zero等流行的零知识rollup（ZK-rollup）区块链，它们通过在链下执行交易并将其作为单个交易提交到以太坊主链，从而提高可扩展性和安全性。文章还列举了dYdX, Sorare, Immutable等使用ZK-rollup技术的项目，它们在降低成本和改善用户体验方面取得了显著进展。

请关注StarkNet和zkSync 2.0 的主网版本，因为这是我们所知道的区块链扩容的未来。

记录一下个人学习笔记，参考网上资料，本文主要是我个人学习笔记，内容出处均在文末注明。部分内容源自ChatGPT，如文中有错误还请不吝赐教。【文本】标识的内容文本为作者个人观点，仅供参考。zkSync是一种基于以太坊的二层扩容解决方案，它利用了零知识证明技术来提高交易吞吐量和降低交易成本。z

zksync2.0（后面简称zksync）简单而言具体的，实现了ZKRollup的项目，其采用了ZK-SNARK的零知识证明算法（经过Boojum升级后变为ZK-STARK的算法）。根据其官方所讲，其具有以下特点：可靠的安全性（继承自以太坊的安全性），对第三方零依赖（这个

zksyncEra在L1有部署智能合约，以实现L1上的修改。部署的合约有：DiamondInit、DiamondProxy、DiamondUpgrade、ExecutorFacet、GettersFacet、MailboxFacet、Verifier、ValidatorTimelock、

对官方给的 Paymaster 部分示例的理解

本文介绍了 ZK Stack，它是 zkSync 背后的团队 MatterLabs 提出的一个愿景，旨在扩展以太坊。

人们期待以太坊成为全球开放应用的首要基础设施。但是，因为以太坊在设计上的独特之处，在需求高涨的时候，这个还在成长中的网络用起来既昂贵又慢 —— 毕竟，单位时间里可用的 区块空间 就只有这么多。

TLDR:今天，ZKsync发布了弹性链——一个不断扩展的ZKRollups网络，依靠数学保障安全，并在统一、直观的用户体验下本地互操作。以Rollup为中心的以太坊路线图成功降到了交易费用，但流动性和用户体验却分散。近期的ZKsync3.0升级通过启用原生、无信任、低成本的链间

Cyfrin宣布与Matter Labs合作，推出针对zkSync生态系统的智能合约开发和安全审核课程，旨在支持项目和开发者。这些资源强调安全性，致力于提升开发者的技能，从而促进创新与安全审计的结合。

本文围绕这些权衡关系制定了一个 Rollup 分析框架，并分析了这个框架为何适用于不同的 Rollup 实现。我们希望这个框架能为项目方按需选择 Rollup 方案提供基本参考。