零知识证明技术，可以保证计算的完整性、正确性和隐私，在区块链扩容和隐私中有应用。 zk-SNARK 和 zk-STARK 各有优点，而它们的合理结合更加有潜力。 zkVM 能赋予应用零知识证明能力，zkVM 分为使用主流、EVM 或全新指令集。 EVM 的适配包括 EVM 兼容性、等同性和 Specification 上的适配。 zkEVM 是兼容 EVM 而又零知识证明友好的环境，主要分为原生和编译流派。 基于原生的 zkEVM 是以太坊和区块链的未来。 支持 Solidity 生态的通用 zkVM 是 Web3 的未来。