零知识证明，中文名称为zero knowledge proof，是Zcoin使用的一种共识算法，由S.Goldwasser、S.Micali和C.Rackoff于20世纪80年代初提出。这意味着证明者可以让验证者相信某个断言是正确的，而无需向验证者提供任何有用的信息。

零知识证明本质上是涉及两方或多方的协议，即两方或多方完成一项任务需要采取的一系列步骤。证明者向验证者证明，并使其相信自己知道或拥有某个消息，但证明过程不能向验证者透露任何关于被验证消息的信息。

在零知识证明中，证明者和验证者必须进行交互，这样的零知识证明称为“交互式零知识证明”。20世纪80年代末，Blum等人进一步提出了“非交互零知识证明”的概念，用一个短的随机串代替交互过程，实现了零知识证明。非交互式零知识证明的一个重要应用是需要执行大量密蓑衣网小编2022码协议的大规模网络。

蓑衣网小编2022

在零知识证明中，个人(或设备)可以证明自己知道秘密而不泄露任何秘密。如果可以用零知识证明进行验证，很多问题都会得到有效解决。

零知识证明不是数学意义上的证明，因为它有很小的概率误差，欺骗者可能通过虚假陈述欺骗证明者。换句话说，零知识证明是一种概率证明，而不是确定性证明。然而，有一些技术可以将误差降低到可以忽略的程度。

零知识的形式定义必须使用一些计算模型，最常见的是图灵机的计算模型。