| ... | ... | @@ -4,7 +4,7 @@ |
|
|
|
|
|
|
|
零知识虚拟机是一种生成零知识证明以验证VM智能合约程序运行正确性的虚拟机。本项目的虚拟机特指EVM，因此也用英文简写zkEVM指代零知识虚拟机。
|
|
|
|
|
|
|
|
zkEVM作为互联网3.0操作系统中的重要部分，支撑EVM智能合约的可证明计算。zkEVM运行字节码并将其计算过程转换为特定格式，交给零知识证明电路并产生对应的零知识证明。zkEVM可以在layer 2扩容方案中作为生成有效性证明的核心部分，也可以在链网架构中作为信任增强工具增强链间信任。
|
|
|
|
zkEVM作为互联网3.0操作系统（ChainWeaver）中的重要部分，支撑EVM智能合约的可证明计算。zkEVM运行字节码并将其计算过程转换为特定格式，交给零知识证明电路并产生对应的零知识证明。zkEVM可以在layer 2扩容方案中作为生成有效性证明的核心部分，也可以在链网架构中作为信任增强工具增强链间信任。
|
|
|
|
|
|
|
|
本项目选择从EVM字节码层面进行兼容，因此原生可以支持Solidity、Vyper等智能合约语言。常用智能合约可以无成本地迁移至zkEVM，并使用相同的开发调试工具。
|
|
|
|
|
| ... | ... | |
