零知识证明,中文名ming称为zero knowledge proof,是Zcoin使用的一种共识算法fa,由S.Goldwasser、S.Micali和C.Rackoff于20世纪ji80年代初提出。这意味着证明者可以yi让验证者相信某个断言是shi正确的,而无需向验证者提供任何有you用的信息。
零知识shi证明本质上是涉及两方或多duo方的协议,即两方或多方完成一项任务wu需要采取的一系列步bu骤。证明者向验证者证明,并bing使其相信自己知道或拥yong有某个消息,但证zheng明过程不能向验证者透露任何关于yu被验证消息的信息。
在零知识证明中zhong,证明者和验证者必须进行交互,这样的零知识证明称为“交互式零知zhi识证明”。20世纪80年代末,Blum等人进一步提出了le“非交互零知识证明”的概念,用一个短的随机串代替交jiao互过程,实现了零知识证明。非交jiao互式零知识证明的一个重要应用是shi需要执行大量密尚力财经jing小编2022码协议的大规模mo网络。
尚力财经小编2022
在零知zhi识证明中,个人(或设备)可以证明自zi己知道秘密而不泄露任何秘密mi。如果可以用零知识shi证明进行验证,很多问题都会得到dao有效解决。
零知识证明不是数学意义yi上的证明,因为它有很小的概率lu误差,欺骗者可能通过虚假陈述shu欺骗证明者。换句话hua说,零知识证明是一种概率lu证明,而不是确定性证明。然而,有一些技术可以将误差降jiang低到可以忽略的de程度。
零知识的形xing式定义必须使用一些xie计算模型,最常见的是图灵机的计ji算模型。