zkSync

本文介绍了ZKsync升级验证工具，它提供了一种通过CLI命令验证提案、解码交易及防止前端欺骗的方法。该工具为ZKsync治理参与者提供了关键功能，包括提案ID提取、提案动作解码及以太坊提案ID确认，旨在提升治理过程中的安全性和透明度。

本文讲述了在Aave V3激活ZKsync时发现的LLVM编译器的关键优化漏洞，该漏洞可能导致资金被盗。文章详细分析了问题的根源，展示了如何通过手动检查和汇编代码来识别并解决编译器中的错误，强调了在代码校验过程中关注编译器的重要性。

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 来做面板的展示。于是我们写了这系列的教程，希望能帮大家简单地可视化数据。

zkSync 2.0 更新了其路线图，计划在2021年5月推出zkEVM测试网络，并在8月上线主网。同时，zkSync 1.x 将在春季支持NFTs和交换功能。zkSync 2.0 将支持基于EVM的编程模型、现有的Solidity源代码移植性、所有以太坊钱包的原生支持，以及超过20,000 TPS的可扩展性。

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

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

本文介绍了zkSync这一以太坊的扩容解决方案，强调了其五大优势，包括安全性、zkEVM实现、无限扩展性、用户体验和可组合性。zkSync利用零知识证明技术，不仅提高了交易速度和降低了费用，还保留了去中心化和用户自主权，是区块链开发的理想选择。

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

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

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

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