区块链知识系列 - 系统学习EVM(四)-zkEVM
区块链知识系列 - 系统学习EVM(一)
区块链知识系列 - 系统学习EVM(二)
区块链知识系列 - 系统学习EVM(三)
今天我们来聊聊 zkEVM、EVM 兼容性 和 Rollup 是什么？
1. 什么是 Rollup
rollup顾名思义，就是把一堆交易卷（rollup）起来变成一个rollup交易，所有节点接收到这个rollup交易之后，不去执行被卷起来的逻辑，而只去接受这些逻辑的执行结果。因此这个rollup交易所需要的gas会远小于执行这些交易的gas。
2. EVM (以太坊虚拟机)
虚拟机的一些示例操作码：
- 堆栈操作 —— PUSH1（向堆栈添加一些内容）
- 算术运算 —— ADD（加数字），SUBTRACT
- 状态操作——SSTORE（存储数据），SLOAD（加载数据）
- 事务操作——CALLDATA、BLOCKNUMBER（返回有关当前执行事务的信息）
独特的需求
以太坊使用自定义虚拟机，而不是调整现有的 VM，因为它有独特的需求：
- 每一个操作都必须有“成本”来防止滥用（因为所有节点都运行所有的交易）
- 每一个操作必须确定（因为所有节点都将同意更改后的状态）
- 我们需要专门针对区块链的概念（如智能合约，交易）
- 一些复杂操作需要成为原语（如密码学）
- 交易必须是沙盒的，没有I/O或者外部状态访问
3. 以太坊兼容性
然而，人们所说的“EVM 链”通常不仅仅只是镜像这个运行时环境。有几个主要规范始于以太坊并已成为事实上的全球标准：
- Solidity（一种编译成 EVM 字节码的高级语言）
- 以太坊的 JSON-RPC 客户端 API（与以太坊节点交互的规范）
- ERC20/ERC721（以太坊代币标准）
- ethers.js（一个与以太坊接口的网络库）
- 以太坊的密码学（例如 keccak256 作为散列函数，ECDSA 签名在 secp256k1 上）
4. ZK-EVM
keccak256，它的电路形式比STARK友好的哈希函数（如Poseidon，Pedersen）大1000倍
选择一：证明 EVM 执行轨迹
选择二：自定义虚拟机 + 操作码支持
选项三：自定义虚拟机+转译器
StarkNet
这是 StarkWare 对 StarkNet 采用的方法，这是目前最先进的通用 Rollup。
zkSync
每个团队遵循的不同策略：
5. Vitalik 的 zkEVM 类型
最早要到 2022 年底，以太坊上才会有“生产级”智能合约 Rollup
由于这种不成熟的状态，对于需要在不影响以太坊安全性的情况下进行扩展的开发人员来说，特定于应用程序的Rollups仍然是最强大的选择。
参考: https://mp.weixin.qq.com/s/cFNNTAtrDwLZ35yzxDlLsA
- 往期精彩回顾:
- 区块链知识系列
- 密码学系列
- 零知识证明系列
- 共识系列
- 公链调研系列
- BTC系列
- 以太坊系列
- EOS系列
- Filecoin系列
- 联盟链系列
- Fabric系列
- 智能合约系列
- Token系列