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

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

各种L2解决方案现状

细说 Arbitrum Rollup 的工作原理

以太坊联合创始人 Vitalik Buterin 「强调 Optimism 和 Offchain Labs 即将在 3 月上线」引发了中国社区对「Rollup 早鸟应用」的关注。让链闻为即将上线的首批兼容 EVM 的 Rollup 应用生态画画重点。

Optimistic Rollup 的安全模型，及其在解决以太坊可扩展性问题上采取的策略。

来自 Vitalik 博客的文章：简析二层扩容方案状态通道 、 Plasma 、 Rollups 各自的技术优缺点，着重分析了 Optimistic rollup 和 ZK rollup 的可行性、安全性及应用前景？

Optimistic Rollup（ORU）是什么？为什么它会让以太坊开发者和可扩展性研究者如此心潮澎湃？

虽然我们准备在接下来的几年大规模升级至以太坊 2.0，但是过去的几年来，Layer 2 方案在不断发展，Rollup 成为继状态通道和 Plasma 之后的新秀。

Arbitrum Rollup 是一个由以太坊链上合约管理的链下协议。为使自己的应用能够在 Arbitrum Rollup 上运行，dApp 的开发者需要用 Solidity 编写一组合约，然后将这些合约编译成可以在 Arbitrum 虚拟机上运行的可执行代码

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

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

Uniswap V2 在 Arbitrum Rollup 上的移植， 让交易成本下降 55 倍

在Layer2， Optimistic Rollup通过OVM执行智能合约，并使用“检察”的方式确定Layer2世界状态在Layer1的正确性。Optimistic Rollup的难点也在OVM，需要在EVM的基础上模拟OVM的执行，并判断状态的正确性。目前，Optimistic Rollup的挑战期为7天。也就是说，只有7天前的状态是“确定”的，不会回滚。

梳理 Rollup、分片与 Plasma 等以太坊扩容方案的演进与采用现状。

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

以隐私性为核心的 Layer 2 网络 Aztec 2.0

OR 面临两难困境：它无法达到 ZK-Rollup 那样的资本效率，因为这会降低其安全性。这是 OR 的固有问题，而非设计细节问题。因此，在选择是运行在 OR 还是 ZK-Rollup 上时，任何应用都会更倾向于后者，因为后者会吸引流动性提供者。

OR 面临两难困境：它无法达到 ZK-Rollup 那样的资本效率，因为这会降低其安全性。这是 OR 的固有问题，而非设计细节问题。

这篇文章概述了optimistic rollup：一种使用OVM在二层网网络上启用智能合约的结构。此结构类似于Plasma，但放弃了一些扩展性，以便在二层网络中运行完全通用的智能合约（例如Solidity），同时还享有和一层网络相同的安全性。