zkSync

Matter-Labs开源了PLONK算法的验证电路，能实现多个PLONK证明的聚合证明。聚合电路证明某个证明可验证，并且验证使用的VK是正确的。注意的是，PLONK算法验证的最后一步（配对函数）并没有在电路中验证，而是依赖智能合约进行验证。

zkSync通过zk Rollup协议，实现了L2的转账。zkSync项目非常完整，是学习L2非常好的参考项目。zkSync采用Plonk零知识证明算法向L1证明状态的正确性。Plonk算法是Universal的零知识证明算法，只需要一次可信设置。zkSync电路设计采用Chunk设计，支持不同的区块大小。

zkSync虽然采用PLONK零知识证明算法，但是电路的搭建开发采用的R1CS形式。zkSync电路处理包括：1/电路转换 2/PLONK证明计算。Transpile实现了电路的格式转换。电路转换的目的是获取：1/sigma函数 2/ 门系数多项式。

zkSync采用PlonK零知识证明系统。在电路设计上，非常巧妙的将交易分割成一个个小的通用处理单元（Operation）。一个Operation对应的证明电路逻辑支持所有可能交易的Operation逻辑。多个有关联的Operation电路组成交易电路。多个交易的电路再组合成区块电路。从而，在固定大小的区块中也能包含不同组合的交易。

这段时间，我们好些社区用户开始自发地写数据面板，做链上数据的整合分析，而且常常会用到 LiveQuery 来做面板的展示。于是我们写了这系列的教程，希望能帮大家简单地可视化数据。

对 zksyncEra 官方文档中抽象账户部分按照自己的个人理解进行中文翻译，对于存在理解错误的地方，欢迎指正

安全性上 zkSync 更胜一筹，性能方面 everPay 可支持上万 TPS

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

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

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

请关注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 部分示例的理解