说起零知识证明,其实它是匿名币中经常会用到的一种技术,零知识证明早在20世纪80年代就被提出了,只不过到后来,该技术才为人所熟知。该技术能够在不向验证者提供任何有用的信息的前提下,来让验证者相信某个论断是正确的,从本质上来说,它就是两方或多方在完成一项任务所采取的一系列步骤,它是一个在密码学中非常有用的技术,能够有效解决许多问题。很多投资者想要了解零知识证明的核心思想是什么,下面就让币圈子小编带大家三分钟了解零知识证明的核心思想。
三分钟了解零知识证明的核心思想
在有必要证明一个命题是否正确,又不需要提示与这个命题相关的任何信息时,零知识证明系统(也叫做最小泄露证明系统)是不可或缺的。
零知识证明系统包括两部分:宣称某一命题为真的示证者(prover)和确认该命题确实为真的验证者(verifier)。证明是通过这两部分之间的交互来执行的。在零知识协议的结尾,验证者只有当命题为真时才会确认。但是,如果示证者宣称一个错误的命题,那么验证者完全可能发现这个错误。这种思想源自交互式证明系统。交互式系统在计算复杂度理论方面已经获得异常独立的地位。
零知识证明(Zero—Knowledge Proof)起源于最小泄露证明。设P表示掌握某些信息,并希望证实这一事实的实体,设V是证明这一事实的实体。假如某个协议向V证明P的确掌握某些信息,但V无法推断出这些信息是什么,我们称P实现了最小泄露证明。不仅如此,如果V除了知道P能够证明某一事实外,不能够得到其他任何知识,我们称P实现了零知识证明,相应的协议称作零知识协议。
零知识证明的属性
零知识证明需要满足三个属性。
1、如果语句为真,诚实的验证者(即:正确遵循协议的验证者)将由诚实的证明者确信这一事实。
2、如果语句为假,不排除有概率欺骗者可以说服诚实的验证者它是真的。
3、如果语句为真,证明者的目的就是向验证者证明并使验证者相信自己知道或拥有某一消息,而在证明过程中不可向验证者泄漏任何有关被证明消息的内容。
零知识证明并不是数学意义上的证明,因为它存在小概率的误差,欺骗者有可能通过虚假陈述骗过证明者。换句话来说,零知识证明是概率证明而不是确定性证明。但是也存在有技术能将误差降低到可以忽略的值。零知识的形式定义必须使用一些计算模型,最常见的是图灵机的计算模型。
希望上面这篇关于三分钟了解零知识证明的核心思想的文章能够对各位投资者有所帮助。通过上面这篇文章,相信各位投资者对于零知识证明这一概念已经有了比较全面的了解,不过在这里还想要为大家补充一下零知识证明需要满足的两个性质,那就是正确性和完备性以及零知识性。零知识证明起源于最小泄露证明,而在最小泄露协议中,零知识证明的正确性和完备性是第一个需要满足的性质,而第二个零知识需要满足的性质就是无法获取任何额外的知识。