MPC系列-零知识证明和比特承诺

零知识证明：

背景：交互式证明由证明者和验证者俩方参与，证明者掌握某一秘密，证明者需要让验证者相信自己掌握该秘密。验证者根据证明者每一轮回复的信息决定是否相信证明者。

零知识证明(Zero-Knowledge Proof)：证明者在不让验证者掌握秘密信息的前提下，使得验证者确信自己确实掌握了这些信息。也就是验证者除了知道证明者能证明某一事实外，不能得到其他任何信息。

举例：

1.抛硬币：Alice宣称知道一个能够对抛硬币正反面的诀窍。Bob要验证Alice的宣称，只需要当着Alice的面抛硬币。(

我们都知道猜中一次的概率是1/2.2次是1/4.....那无数次呢。如果Alice全猜对了bob就可以相信了)

2.迷宫

C和D之间有一扇需要秘密口令才能打开的门，证明者要向验证者证明自己能够打开这扇门，又不想泄露秘密口令。可以采用如下所述的证明协议：1. 验证者在协议开始时停留在位置 A 2. 证明者一直走到迷宫内部的位置 C 或者位置 D 处 3. 在证明者消失之后，验证者走到位置 B 处，然后命令证明者从某个出口处出来 4. 证明者根据验证者的命令，从对应出口处出来 5. 证明者和验证者重复以上过程

MPC系列-零知识证明和比特承诺相关推荐

【隐私计算笔谈】MPC系列专题（六）：零知识证明和比特承诺
[隐私计算笔谈]MPC系列专题(六):零知识证明和比特承诺文章目录 [隐私计算笔谈]MPC系列专题(六):零知识证明和比特承诺零知识证明比特承诺推荐阅读 [隐私计算笔谈]MPC系列专题(一): ...
【隐私计算笔谈】MPC系列专题（十五）：三方复制秘密分享
[隐私计算笔谈]MPC系列专题(十五):三方复制秘密分享文章目录 [隐私计算笔谈]MPC系列专题(十五):三方复制秘密分享三方复制秘密分享 [隐私计算笔谈]MPC系列专题(一):安全多方计算应用场 ...
【零知识证明】数独解的例子解释零知识证明
零知识证明 2022年11月14日 in 中国科学院大学零知识证明零知识证明数独解的例子解释零知识证明一.零知识证明方法: 二.如何让Alice以外的人相信? 三.数独问题零知识证明中出现的问 ...
云中「秘密」：构建非交互式零知识证明---探索零知识证明系列（五）
本文作者:郭宇 Once exposed, a secret loses all its power. 一旦泄露,秘密就失去了全部威力 ― Ann Aguirre 这已经是本系列的第五篇文章了,这一篇 ...
零知识证明系列之二——Schnorr协议
Schnorr协议简介 Schnorr协议是由德国数学家和密码学家Claus-Peter Schnorr在1991年提出,是一种基于离散对数难题的知识证明机制.Schnorr本质上是一种零知识的技术 ...
读心术：从零知识证明中提取「知识」——探索零知识证明系列（三）
本文已更新至Githubhttps://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/3/zkp-pok.md 导言:有些理论非常有趣,零 ...
零知识证明系列之三——入门zkSNARK
前文回顾回顾一下一套完善的零知识证明体系需要以下的条件: (1)完备性(Completeness)如果证明方和验证方都是诚实的,并遵循证明过程的每一步,进行正确的计算,那么这个证明一定是成功的,验证 ...
【区块链基础知识系列】第8课区块链之零知识证明
所谓零知识证明,指的是示证者在证明自己身份时不泄露任何信息,验证者得不到示证者的任何私有信息,但又能有效证明对方身份的一种方法. 从本质上讲,零知识证明是一种协议.所谓协议(Protocol),就是两 ...
零知识证明系列之一——初探零知识证明
前言区块链的发展可谓是日新月异,分布式账本,哈希函数,merkle tree,公钥算法,p2p网络,共识机制,智能合约等等很高大上的名词相信大家一定都不会很陌生.区块链像一个有机体,融合了各种不同的 ...

MPC系列-零知识证明和比特承诺

MPC系列-零知识证明和比特承诺相关推荐

最新文章

热门文章