给定一个由Peggy选择的随机值r,Victor要求她证明任一方程A,或Peggy知道如何执行这两个方程,并可以很容易地得出一个随机值就是这两个方程之一的正确值。然而,在不知道x值的环境下,她不能通过B计较A,也不能通过A计较B,因此掷币有说服Victor的时机。并且Peggy事先不知道Victor要解的是A照旧B,假如在不知道x的环境下,这个方程反复产生,那么Peggy要说服Victor就很是幸运了。下面是一个零常识证明系统的根基验证者流程。
假设你在申请租房。任何熟悉这个进程的人(尤其是在剧烈的房地产市场!)都知道它很有大概会被多次招标,对付每一个招标,你都必需发送你的收入报表,你的身份证复印件和其他小我私家书息,以验证你的说法是一个符合切合住房机构参数的候选人。
那么零常识证明系统如何发挥浸染呢?它需要的是一个只有你才气节制的可信任的应用措施(好比你的手机银行应用措施或当局ID应用措施)来发生理睬的代价。该理睬代价包括有关您损益表的要害信息(该机构担保该信息是真实的),您利用该代价通过零常识证明系统向验证者(即衡宇署理机构)证明您有资格购置该衡宇。
本质上,零常识证明系统执行一系列加密操纵,其最终功效是可以由验证者查抄的数学证明,这样可以验证您是否厚道地计较了证明。幸运的是,Peggy和Victor不需要举办人工计较。
有许多人热衷于应用零常识证明系统,在Dusk Network中我们开拓了一个开放源码的PLONK零常识证明系统。它可以用于更多的项目,这里用一个例子来展示它的潜力。
在不深入到暗码学的把戏师帽子中通过观念数学中来表明公寓寻求者Peggy和衡宇经纪人Victor。首先,Peggy和Victor同意一个已知的数学模子,即零常识证明系统,它具有很是非凡的本领。通过Peggy重复选择随机值并证明方程,,Victor可以确认她确实知道x的值。
数学把戏
零常识证明系统可用于掩护隐私。让我们面临现实吧,在当当代界,数据便是权力!
郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。