零知识证明的特点有哪些?零知识证明介绍
我们在了解零知识证明的特点有哪些这一问题之前,最好能够先来了解一下这个零知识证明究竟是个什么东西。其实这个零知识证明就是一种协议,它涉及了两方或更多方,能够帮助验证者相信某一个论断是正确的。通过零知识证明协议,证明这可以向验证者证明自己知道或拥有某一消息,并且这个证明的过程也不会像验证者泄露信息。该机制是在密码学中是非常的常见的,很多投资者都想要知道这个零知识证明的特点有哪些?下面就让小编为大家介绍一下。
一文了解零知识证明的特点有哪些?
零知识证明需要满足三个属性。
1、如果语句为真,诚实的验证者(即:正确遵循协议的验证者)将由诚实的证明者确信这一事实。
2、如果语句为假,不排除有概率欺骗者可以说服诚实的验证者它是真的。
3、如果语句为真,证明者的目的就是向验证者证明并使验证者相信自己知道或拥有某一消息,而在证明过程中不可向验证者泄漏任何有关被证明消息的内容。
零知识证明并不是数学意义上的证明,因为它存在小概率的误差,欺骗者有可能通过虚假陈述骗过证明者。换句话来说,零知识证明是概率证明而不是确定性证明。但是也存在有技术能将误差降低到可以忽略的值。
零知识的形式定义必须使用一些计算模型,最常见的是图灵机的计算模型。
零知识证明介绍
顾名思义,零知识证明就是既能充分证明自己是某种权益的合法拥有者,又不把有关的信息泄露出去——即给外界的“知识”为“零”。其实,零知识证明并不是什么新东西,早在16世纪的文艺复兴时期,意大利有两位数学家为竞争一元三次方程求根公式发现者的桂冠,就采用了零知识证明的方法。
当时,数学家塔尔塔里雅和菲奥都宣称自己掌握了这个求根公式,为了证明自己没有说谎,又不把公式的具体内容公布出来(可能在当时数学公式也是一种技术秘密),他们摆开了擂台:双方各出30个一元三次方程给对方解,谁能全部解出,就说明谁掌握了这个公式。比赛结果显示,塔尔塔里雅解出了菲奥出的全部30个方程,而菲奥一个也解不出。于是人们相信塔尔塔里雅是一元三次方程求根公式的真正发现者,虽然当时除了塔尔塔里雅外,谁也不知道这个公式到底是个什么样子。从这个故事,我们可以初步了解零知识证明的概念。
在有必要证明一个命题是否正确,又不需要提示与这个命题相关的任何信息时,零知识证明系统是不可或缺的。零知识证明系统包括两部分:宣称某一命题为真的示证者(prover)和确认该命题确实为真的验证者(verifier)。证明是通过这两部分之间的交互来执行的。在零知识协议的结尾,验证者只有当命题为真时才会确认。但是,如果示证者宣称一个错误的命题,那么验证者完全可能发现这个错误。这种思想源自交互式证明系统。交互式系统在计算复杂度理论方面已经获得异常独立的地位。
设P表示掌握某些信息,并希望证实这一事实的实体,设V是证明这一事实的实体。假如某个协议向V证明P的确掌握某些信息,但V无法推断出这些信息是什么,我们称P实现了最小泄露证明。不仅如此,如果V除了知道P能够证明某一事实外,不能够得到其他任何知识,我们称P实现了零知识证明,相应的协议称作零知识协议。
众所周知,在目前的主流公链中,每一个账号之间的交易信息都是公开的,这是为了更好的解决比特币双花的问题,但是只要某一个账号的身份暴露的话,第三方就能够对这个账号进行追踪,还能够通过这个账号去控制其他的账号。零知识证明就是可以帮助交易在不泄漏交易相关细节的情况下被验证,很好的解决了链上交易隐私的问题,不过大家要注意想要生成零知识证明需要大量的算力,并且部分协议需要可信设置。
以上就是零知识证明的特点有哪些?零知识证明介绍的详细内容,更多关于零知识证明特点介绍的资料请关注脚本之家其它相关文章!
本站提醒:投资有风险,入市须谨慎,本内容不作为投资理财建议。