L2解决什么问题？

Layer2是为了解决Layer1（如以态坊）的拥堵进行扩容

一，通过链上扩容：改变区块大小，分片·，调整共识机制

二，通过链下扩容：侧链，状态通道，隔离见证，rollup ，plasm

Rollup是目前被期待最大的解决方案，即把数据计算和执行放在L2，将执行后的状态数据压缩上链放在L1（以太坊为例）进行确认验证。

那么怎么确保在L2的数据（比如一笔交易）到L1上的是一致且真实有效（交易真实存在且一致），有不同的解决方案

一：使用博弈欺诈证明，即OP系(Optimistic Rollup)；假设数据是有效真实的，引入7天挑战期，可进行举证证伪。（一种奖惩机制，让作恶有成本，检举有奖励）

二：使用数学零知识证明，即ZK系（Zero Knowledge Rollup）：假设有很多假数据，只有加入了特定的“标识”（ZK-Proof）的数据才是真实的。（一种利用数学和密码学知识的代码，让数据上链的时候就是可识别验证的），根据实现细节和难度上的不同，形成了ZK系里的两种派系，分为ZK-SNARK和ZK-STARK

OP系和ZK系之争是数据从L2到L1链上的验证方式的解决方案之争，也是L1上项目搬迁到L2上的流量之争。**目前大部分应用在以太坊上，如何让L1的应用Dapp更快的搬迁到L2上，需要EVM兼容。

VM：虚拟机/解读器，让程序代码转化为机器可识别让用户可直接使用。

EVM：Ethereum-vm,以太坊的虚拟机。

EVM 等效：完全粘贴复制，搬迁毫无难度。

EVM兼容：可以兼容以太坊上的程序代码，项目搬迁几乎复制粘贴代码，无难度。

ZkEVM: 实现更高性能同时和EVM有一定的兼容性，项目搬迁开发者难度一般。

zkVM: ZK原生的VM，和EVM的兼容性一般。项目搬迁开发者难度大。

为啥没有opVM？因为OP系基本EVM等效，开发者难度低，这也是为什么OP系生态发展快，得到了很多以太坊生态里头部项目的迁移。