初始零知识证明
零知识证明(Zero-Knowledge Proofs,ZKP)背景知识,主要介绍一下研究的动机
这里我简单介绍一下背景知识,希望能引起你们研究的兴趣!
起源
Goldwasser等人1在1985年提出交互是证明概念,通过将交互性和随机性引入到传统的NP证明系统中,提出了交互式证明系统。在交互式证明的系统中,验证者V可以向证明者P提随机问题。V可以验证超出它计算能力以外的问题,P的私密信息不会泄露给V。
一个ZKP引发的爱情故事2
这里以数独为例引入零知识证明,Alice和Bob两人非常喜欢完数独,两人一直喜欢用自己设计的数独互相挑战对方。其中Alice经常给Bob出一些非常有挑战难度的数独
证明(Proof)
有一天,Alice和Bob打赌解开Alice设计超级困难的数独,如果解开的话,Alice答应Bob做他的女朋友。Bob听到这个消息后闭关三天三夜,下定决心一定要解开,然而功夫不负有心人…,他没有解开。Bob冥思苦想,Alice是不是不喜欢我?故意出一个无解的题。当想到这一刻,Bob崩溃了…