zkSync

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

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

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

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

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

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

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

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

从我们的经验来看，zkSync 有其非常优秀的一面，也有其不足的一面。而其中的很多不足是 Layer2 网络所共有的问题和挑战。