零知识证明（Zero-Knowledge Proof, ZKP）是一种密码学技术，它允许一方（证明者，Prover）向另一方（验证者，Verifier）证明某一陈述是真实的，而无需透露除了该陈述为真之外的任何额外信息。换句话说，零知识证明允许证明者证明他们知道一个秘密，而不需要透露这个秘密的任何信息。举个简单的例子，假设您要向朋友证...
最近做和PAKE相关的工作,找出来一堆UC下做password authenticated secret sharing(PASS)的论文。以Camenisch et al 这篇[1]中的构造为代表,大部分以DDH/CDH假设的构造都用了两个工具: 1)ElGamal加密; 2)zero knowledge proof (ZKP)。ZKP里所用到的技术相对而言没有那么新,但构造非常有启发性。这篇先回顾PASS...
https://en.wikipedia.org/wiki/Zero-knowledge_proof#Zero-Knowledge_Proof_protocols 1|0ZKP的性质 ZKP满足如下4个性质: 完备性(Completeness):Pr(系统出错)=neg. 可靠性(Soundness):Pr(Attacker的Vrty出错)=neg. 自适应零知识性(Adaptive Zero-Knowledge):Challenger和Attacker的交互没有泄露ω的相关知识 自适应...
小明和小红之间最开始那种互动式的证明方法暗指的是交互式零知识证明（interactive zero-knowledge proof）。交互式零知识证明需要验证方（小红）在证明方（小明）放好答案（commitment）后，不断的发送随机试验。如果验证和证明双方事先串通好，那么他们就可以在不知道真实答案的情况下开挂（simulate/forge a proof）。...
第四层:给PHD学生讲(CRYPOGRAPHY方向) ——涉及到NP COMPLETENESS;怎么让MULTIPARTY COMPUTATION可以汇聚让DISTRUST的人通过机制可以信任 第五层:与同样程度的教授讨论 ——涉及为什么不是ZERO DATA PROOF,而只是ZERO KNOWLEDGE PROOF。涉及到量子计算?(我有点听不懂了……;对我是零知识证明??哈哈哈)编辑...
小明和小红之间最开始那种互动式的证明方法暗指的是交互式零知识证明(interactive zero-knowledge proof)。交互式零知识证明需要验证方(小红)在证明方(小明)放好答案(commitment)后,不断的发送随机试验。如果验证和证明双方事先串通好,那么他们就可以在不知道真实答案的情况下开挂(simulate/forge a proof)。
如果你手上有两个不一样颜色的球,你想向一个色盲朋友证明这两个球颜色不同,你该怎么做?CoinDesk 中文带你走进零知识证明的世界, 视频播放量 1、弹幕量 0、点赞数 0、投硬币枚数 0、收藏人数 0、转发人数 0, 视频作者 CoinDesk中文版, 作者简介 ,相关视频:什么是DAO?关
Zero-knowledge proof vs. asymmetric encryption The idea of the zero-knowledge proof comes out of the ’70s and ’80s era of exploring new conceptual territory in cryptography. This is the same milieu that brought us asymmetric encryption. Some ZKP protocols use prime factorization as one-way (...
Zero-knowledge proof of knowledgeBimodal GaussianCommitment scheme, together with zero-knowledge proof, is a fundamental tool for cryptographic design. Recently, Baum et al. proposed a commitment scheme (BDLOP), which is by far the most efficient lattice-based one and has been applied on several...
零知识证明(Zero-Knowledge Proof) 零知识证明(Zero Knowledge Proof)指的是,证明的人可以向验证的人,在不透露任何有用信息的情况下,使得验证者相信该结论是对的。 三种零知识证明技术:zk-SNARKs, Zk-STARKs和 BulletProofs 1、Bulletproofs 和 Zk-STARKs 不需要可信设置,zk-SNARKs则需要可信设置;...