从我们的经验来看,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),同时还享有和一层网络相同的安全性。
12 篇文章,-40 学分