7.2 通用计算证明 (ZK-EVM)

文档摘要

7.2 通用计算证明 (ZK-EVM) 7.2 通用计算证明 (ZK-EVM): 让区块链计算飞起来想象一下，你能够向别人证明你完成了一项复杂的计算，而无需透露任何关于计算过程、输入数据甚至代码本身的任何信息。这听起来像科幻小说吗？这就是零知识证明 (Zero-Knowledge Proof, ZKP) 的魔力所在。而当我们将 ZKP 应用于以太坊虚拟机 (Ethereum Virtual Machine, EVM) 时，就诞生了令人兴奋的 ZK-EVM，它将彻底改变区块链的未来。什么是 ZK-EVM？ ZK-EVM，即零知识以太坊虚拟机，是一种兼容 EVM 的环境，它能够生成关于 EVM 计算的零知识证明。