零知识证明(zero-knowledge proof)，是由Goldwasser等人在20世纪80年代初提出的。它指的是()能够在不向验证者提供任何有用的信息的情况下，使验证者相信某个论断是正确的。