精选 Layer2文章 - 第3页

Arbitrum是Layer2 Rollup的一种方案。采用挑战机制确定Rollup状态的终局性。为了引入轻便挑战机制，Arbitrum定义了AVM，一种可以方便证明执行状态的虚拟机，并设计了mini语言和编译器。在AVM上模拟了EVM的执行环境，兼容EVM。挑战时将执行过程进行400分分割，由L1执行少量指令确定状态是否正确。

Layer2 Arbitrum

Star Li
发布于 2021-06-23
阅读 ( 4547 )
( 11 )

L2 - zkSync证明聚合

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

PLONK zkSync Layer2

Star Li
发布于 2021-05-06
阅读 ( 3876 )
( 4 )

为 Optimism Rollup上开发 Dapp 准备的脚手架

scaffold-eth 为optimism 上开发提供一个新的分支 local-optimism 帮助上手optimism DApp 开发

Rollup scaffold-eth

翻译小组
发布于 2021-03-19
阅读 ( 7090 )
( 84 )

L2 - 深入理解zkSync电路预处理

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

Layer2 zkSync PLONK

Star Li
发布于 2021-03-12
阅读 ( 3373 )
( 13 )

以太坊二层网络当前状态

各种L2解决方案现状

Rollup 扩容

翻译小组
发布于 2021-03-06
阅读 ( 7500 )
( 67 )

Vitalik：Rollups 不完全指南

in Vitalik博客精选

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

扩容 Rollup OP Rollup Plasma 状态通道 Vitalik

Vitalik Buterin
发布于 2021-01-06
阅读 ( 6528 )
( 237 )

L2 - 深入理解zkSync电路

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

zkSync Layer2 零知识证明 PLONK

Star Li
发布于 2020-11-13
阅读 ( 3854 )
( 12 )

L2 - 深入理解OVM

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

OVM Rollup Layer2 OP Rollup Optimism

Star Li
发布于 2020-11-05
阅读 ( 4443 )
( 41 )

L2 - zkSync源代码导读

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

Layer2 零知识证明 zkSync PLONK