每轮测试不需要知道详细的谜底,只需要检测数字1~9是否包括在内。只要验证的次数足够多,就有来由相信证明者是知道数独问题谜底的。
零常识证明(Zero-Knowledge Proof或Zero-Knowledge Protocol)是一种基于概率的验证要领,它包罗“雷同事实的告诉”和“关于小我私家常识的告诉”。
为什么ZKP如此重要?
然而,这种简朴的要领并不能使人相信证明者和验证者都是真实的。在数独这种环境下,两者可以提前勾串,以便证明者可以在不知道谜底的环境下依然通过验证。
在方程的左边和右边,同时乘以一个不便是0的奥秘值k。当验证(t(s)h(s)k) 便是(w(s)v(s)k)时,详细的t(s)、 h(s)、 w(s)和v(s) 是不行知的,从而到达掩护信息的目标。
ZCash大概是乐成实现零常识证明的最著名的
郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。