| ... | ... | @@ -2,6 +2,8 @@ |
|
|
|
|
|
|
|
## 介绍
|
|
|
|
|
|
|
|
在了解zkEVM之前，强烈建议读者了解EVM的相关执行流程和部分操作码，[ethereumbook](https://cypherpunks-core.github.io/ethereumbook/13evm.html)就讲的很好。
|
|
|
|
|
|
|
|
零知识以太坊虚拟机（zkEVM）是一种生成零知识证明以验证EVM智能合约程序运行正确性的虚拟机。zkEVM可以在公链的Rollup扩容方案中作为生成有效性证明的核心部分，也可以用以支持通用化的隐私计算。本项目开发面向长安链的zkEVM。
|
|
|
|
|
|
|
|
我们的目标是支持原生的Solidity、Vyper等智能合约语言，因为这些智能合约语言都将编译为EVM字节码，因此我们选择从EVM字节码层面进行证明，实现字节码级兼容。我们的zkEVM需要创建一个系统，该系统运行EVM字节码，按照零知识证明的要求将它们的计算过程转换为一种特定的格式，交给零知识证明电路产生对应的零知识证明。这样一来原生的Solidity等以太坊开发者可以无成本地迁移至zkEVM，使用与以太坊相同的调试工具和开发人员基础设施。
|
| ... | ... | |
