Synonyms:
零知识虚拟机, Zero-Knowledge Machine
虚拟机（Virtual Machine, 简称 VM）是一种模拟计算机运行环境的软件系统，用于执行特定编程语言的指令或智能合约。而零知识虚拟机（Zero-Knowledge Machine，简称 ZKM）是零知识证明技术与虚拟机的结合，它允许智能合约在保持隐私的前提下进行加密计算与可验证执行。ZKM 并非只能在以太坊上运行，而是具有更强的通用性。
其中，零知识证明（Zero-Knowledge Proof，简称 ZKP）是一种密码学技术。它允许证明者在不泄露具体内容的情况下，向验证者证明某个陈述是正确的。该技术多被应用于隐私保护、身份验证、ZK Rollup、投票系统等场景中。
举个例子：
A 对 B 说：我知道保险箱的密码是多少，但是我是不会直接告诉你的。
B：什么？我不信。除非你证明给我看。
A：那你先转过去不要看。我会将保险箱的盖子打开，你看我说的是不是真的。
于是 B 转了过去，而 A 打开了保险箱的盖子。在这个过程中，B 没有从 A 处获得密码，也没有获得关于密码本身的详细信息，但是 A 却向 B 证明了自己确实知道保险箱的密码。
