零知识证明由 S Goldwasser 等人在 1989 年首次提出，是指证明者让验证者
相信某个结论是正确的，而不向验证者提供任何有用信息。它有以下三个特性:
完整性:如果证明者和验证者双方都是诚实的，并且遵循证明过程的每一步，那么证明一定会成功，验证者一定会接受证明者。
稳健性:没有人可以伪造新的证明并成功使其通过验证。
零知识:在验证过程之后，验证者验证证明者具有知识，但没有获得关于该
知识的任何信息。从证明者的角度来看，验证者没有侵犯隐私。