场景:P向V证明他知道用户S的私钥(e,d,N)
证明步骤（零知识）
1.P,V共同选定随机数a和b满足ab≡e mod N
2.P,V共同产生一个随机密文C
3.P计算:M ≡C^d mod N，X ≡M^a mod N 并将X传给V
4.V计算并判别X^b mod N = C 是否成立
零知识证明旨在证明过程中不让私密进行
原创
2013-01-16 16:16:12
4707阅读
交易过程完全匿名是数字货币ZCash最大的亮点，正是这一点使得ZCash自提出以来便备受关注。ZCash匿名交易的实现依赖于一种叫做“零知识证明”的密码学手段。本文将通过打比方的手法，用通俗的语言，解释清楚ZCa...
转载
2019-03-29 09:40:00
152阅读
2评论
如何使用dalek-cryptography中的Bulletproofs实现（Bulletproofs implementati
转载
2019-09-16 16:39:00
848阅读
2评论
一、零知识证明起源“零知识”的概念最早在80年代由麻省理工学院的研究人员Shafi Goldwasser，Silvio Micali和Charles Rackoff所提出。当时这些人正在研究与交互证明系统相关的问题——即一种理论系统，使得甲方（证明者）可以和乙方（验证者）交换信息，并借此说服乙方接受（通过验证）某个数学论述为真 。在Goldwasser等人之前，这个领域的研究工作主要聚焦在加强证明
转载
2023-01-29 10:26:36
256阅读
原文发布时间 2020-05-29原“能链科技”现已更名“零数科技”科技的发展总是超乎人们想象区块链技术不仅已成为时代浪潮里的坚实着陆地更是未来可以承载巨大变革的基础【零数科技】将持续更新区块链百科专栏围绕热点问题进行深入浅出地解读与你共话技术发展 点亮数字未来正是基于零知识证明，区块链实现了点对点的信任，而不再需要依靠第三方提供可信验证。听上去是不是很玄幻，零知识证明的信任基础是什么
原创
2022-06-12 20:18:14
428阅读
零知识证明概念零知识证明(Zero—Knowledge Proof)，是由S.Goldwasser、S.Micali及C.Rackoff在20世纪80年代初提出的。它指的是证明者能够在不向验证者提供任何有用的信息的情况下，使验证者相信某个论断是正确的。通俗的来讲，就是既证明了自己想证明的事情，同时透露给验证者的信息为“零”。零知识证明实质上是一种涉及两方或更多方的协议，即两方或更多方完成一项任务所
今天下午，组里组织了零知识证明的分享。对零知识证明这个小众市场有了初步的了解。零知识证明实例，阿里巴巴门洞，红球黄球等等。 零知识证明(Zero—Knowledge Proof)，是由S.Goldwasser、S.Micali及C.Rackoff在20世纪80年代初提出的。它早于区块链诞生，但由于区块链，它被大家所熟知。它指的是证明者能够在不向验证者提供任何有用的信息的情况下，使验证者相
转载
2023-11-16 17:34:12
149阅读
当今密码学世界中最酷炫的一件事，莫过于那些优美又神秘的专有名词。我们可以自由的以这些术语给朋克乐队或 Tumbirs 博客起名字，像是“硬核谓词(hard-core predicate)”、“陷门函数(trapd...
转载
2019-05-12 08:25:00
536阅读
2评论
应用场景：卖家在售一款产品，买家下单50000份，由于信任度不高+卖家不希望产品的剩余数被客户知道(属于商业机密)，买家需要确保卖家有这么多产品。解决方案：卖家在发货的流程中，根据该订单的成交量和产品的剩余数生产证明字符串和校验字符串。买家根据证明字符串和校验字符串，以及该订单的成交量数据（50000），可以验证卖家缺少是有足够多的产品数（>50000）。如有需要，请。。
原创
2023-03-02 16:18:54
272阅读
本文由云+社区发表 当区块链遇到零知识证明 什么是零知识证明 零知识证明的官方定义是能够在不向验证者任何有用的信息的情况下，使验证者相信某
转载
2018-12-14 18:59:00
54阅读
2评论
# Python区块链中的零知识证明实现在实战中的步骤指南
区块链技术的不断发展使得它在多个领域都具有应用潜力，而零知识证明（Zero-Knowledge Proof，ZKP）作为一种重要的隐私保护技术，能够帮助我们在不泄露隐私信息的情况下验证数据的真实性。在这篇文章中，我们将探讨如何在Python中实现零知识证明，并将其应用于区块链中。这是一项逐步的任务，下面的表格总结了主要步骤：
| 步骤
原创
2024-09-02 06:31:10
494阅读
Today, we focus on how to construct ZKPs. We will discuss the construction of general, succinct, non-interactive, publicly verifiable zero-knowledge proofs, abbreviated as zkSNARKs. This article will
原创
2024-07-09 16:29:31
175阅读
看了一些密码学的书籍，都是老外的，才发现歪果仁还真是喜欢alice和bob，这二位霸占了密码学的故事的主角。今天我们也邀请二位来参与我们的故事。今天介绍的是比较简单的零知识证明，交互式零知识证明——Fiat-Shamir，不过这就是为了把大家领上道，实际应用是比这个要负责的；Fiat-Shamir 要进行Fiat-Shamir，首先进行准备工作，由可信第三方，随机选择两个大的素数p和
转载
2021-12-10 10:20:57
371阅读
看了一些学的书籍，都是老外的，才发现歪果仁还真是喜欢alice和bob，这二位霸占了值要保密）。Alice选择s属于（1～n-1），...
转载
2022-03-28 11:55:56
531阅读
n = p× q = 11 * 29 ...
原创
2023-04-08 08:57:32
122阅读
什么是zk-SNARKs？Zcash是zk-SNARKs的第一个广泛应用，它是一种零知识密码学的新形式。Zcash的隐私保证源于可以屏蔽交易，但仍可通过zk-SNARK证明在网络共识规则下验证为有效。缩写zk-SNARK代表“Zero-Knowledge Succinct Non-Interactive A
转载
2019-04-27 09:30:00
659阅读
一、零知识证明（Zero—Knowledge Proof）1. 又叫最小暴露证明。2. 零知识证明的定义为：证明者（prover）能够在不向验证者（verifier）提供任何有用的信息的情况下，使验证者（verifier）相信某个论断是正确的。二、应用场景举例理解：1. 非对称加密做身份认证场景：小A想验证小B是否具有某个私钥sk，但是小B不想让小A看到私钥小A使用该私钥对应的公钥pk加密一段只有小A自己知道的数据d，得到密文sd；小A将密文sd发送给小B；小B使用私钥.
原创
2021-06-17 14:44:37
2930阅读
本文深入分析离散对数证明和加密证明中的关键漏洞，揭示攻击者如何通过输入验证缺失伪造不可能证明，影响区块链阈值签名安全，涵盖技术细节和修复方案。
专业零知识证明 - Trail of Bits博客零知识（ZK）证明是近年来备受关注的密码学工具，主要应用于加密货币领域。ZK证明的核心思想是：拥有秘密信息（如加密密钥）的一方可以在不泄露秘密的情况下证明其真实性
定义 百度百科中关于零知识证明的定义如下：零知识证明(Zero—Knowledge Proof)，是由S.Goldwasser、S.Micali及C.Rackoff在20世纪80年代初提出的。 它指的是证明者能够在不向验证者提供任何有用的信息的情况下，使验证者相信某个论断是正确的。零知识证明实质上是 ...
转载
2021-07-23 11:54:00
232阅读
2评论
一、零知识证明（Zero—Knowledge Proof）1. 又叫最小暴露证明。2. 零知识证明的定义为：证明者（prover）能够在不向验证者（verifier）提供任何有用的信息的情况下，使验证者（verifier）相信某个论断是正确的。二、应用场景举例理解：1. 非对称加密做身份认证场景：小A想验证小B是否具有某个私钥sk，但是小B不想让小A看到私钥小A使
原创
2022-03-28 11:36:18
1052阅读
