|
|
|
# zkEVM介绍
|
|
|
|
# zkEVM
|
|
|
|
|
|
|
|
## 介绍
|
|
|
|
|
|
|
|
零知识以太坊虚拟机（zkEVM）是一种生成零知识证明以验证EVM智能合约程序运行正确性的虚拟机。zkEVM可以在公链的Rollup扩容方案中作为生成有效性证明的核心部分，也可以用以支持通用化的隐私计算。本项目开发面向长安链的zkEVM。
|
|
|
|
|
| ... | ... | @@ -17,3 +19,13 @@ EVM的复杂性决定了电路的证据和约束将会非常复杂，进而决 |
|
|
|
电路结构图
|
|
|
|
|
|
|
|
我们决定选择halo2零知识证明电路开发框架及其算术化方法，原因是其易用性和社区友好性。
|
|
|
|
|
|
|
|
## 子电路
|
|
|
|
|
|
|
|
详细阐述其代码接口。包括
|
|
|
|
|
|
|
|
SubCircuitConfig
|
|
|
|
|
|
|
|
SubCircuit
|
|
|
|
|
|
|
|
未完待续 |
|
|
\ No newline at end of file |
