ZKVM

零知识虚拟机（Zero-Knowledge Virtual Machine，ZKVM）是一种支持在虚拟环境中执行程序并生成零知识证明的虚拟机，可在不泄露执行细节的前提下验证计算的正确性，广泛应用于区块链扩容、隐私计算与可信验证等场景。