零知识证明当中Witness、Commitment 和 Proof 之间的关系

于 2024-09-27 20:57:42 发布
阅读量96 收藏
点赞数 2
文章标签： 零知识证明
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_43883448/article/details/142602299
版权

Witness、Commitment 和 Proof 之间的关系

Witness ：是证明者用来证明声明为真的关键秘密信息。
Commitment ：是证明者对 witness 做出的隐藏表示，用以保密 witness，但也保证其不可更改。
Proof ：是在 commitment 基础上构建的，验证者通过 proof 确认证明者确实持有 witness，并且 witness 满足所需条件，但验证者不能从 proof 中推测出 witness 的具体内容。

Guofu_Liao
关注
零知识证明学习（一）—— 初始零知识证明
BlockchainY的博客
05-21 985
初始零知识证明 零知识证明（Zero-Knowledge Proofs，ZKP）背景知识，主要介绍一下研究的动机 这里我简单介绍一下背景知识，希望能引起你们研究的兴趣！ 起源 Goldwasser等人1在1985年提出交互是证明概念，通过将交互性和随机性引入到传统的NP证明系统中，提出了交互式证明系统。在交互式证明的系统中，验证者V可以向证明者P提随机问题。V可以验证超出它计算能力以外的问题，P的私密信息不会泄露给V。 一个ZKP引发的爱情故事2 这里以数独为例引入零知识证明，Alice和Bob两人非常喜
零知识证明：安全定义
weixin_44885334的博客
05-11 1019
[Goldwasser, Micali, Rackoff, 85] 给出了**交互式证明系统**（Interactive proof system，IP），它包含 **interaction** 以及 **randomness**，可以达成以下性质： 1. Completeness（almost） 2. Soundness（almost）：随机性的引入，“almost” 是不可避免的 3. Enable us to prove much harder theorems to an efficient ve
基于Sigma protocol实现的零知识证明protocol集锦
mutourend的博客
05-27 4909
1. Sigma protocols Sigma protocols，又称为 3 phase protocols，用于证明knowledge of values in some relation，但是又不泄露values的具体值。 如用于证明knowledge of discrete log：given ggg and yyy，prove knowledge of xxx 满足 gx=yg^x=ygx=y without revealing xxx。 本文将介绍如何构建Sigma protocols来证明各
零知识证明 - libsnark源代码分析
StarLi2020的博客
05-31 2481
libsnark源代码，建议想深入零知识证明的小伙伴都读一读。Bellman库主要围绕Groth16算法，libsnark给出了SNARK相关算法的全貌，各种Relation，Language，Proof System。为了更好的生成R1CS电路，libsnark抽象出protoboard和gadget，方便开发者快速搭建电路。 本文中使用的libsnark源代码的最后一个commit如下： commit 477c9dfd07b280e42369f82f89c08416319e24ae Author: Ma
ZKP proof聚合技术
mutourend的博客
07-04 834
ZKP proof聚合技术
Nova 和 SuperNova：无需通用电路的通用机器执行证明系统
mutourend的博客
05-30 1429
Nova and SuperNova：无需通用电路的通用机器执行证明系统
我的隐私计算学习——零知识证明
weixin_47695607的博客
11-27 1680
安全保护技术（五）
dalek-cryptography/zkp——基于merlin的Schnorr零知识证明
mutourend的博客
09-17 531
zkp 为使用merlin Schnorr零知识证明工具包。 1. 性能测试 在4核8G Ubuntu16.04系统上运行。 cargo +nightly bench running 8 tests test batch_verify_batchable_dleq_1 ... bench: 198,877 ns/iter (+/- 27,535) test batch_verify_b...
Nova: Recursive Zero-Knowledge Arguments from Folding Schemes学习笔记
mutourend的博客
03-01 1639
Nova: Recursive Zero-Knowledge Arguments from Folding Schemes学习笔记
3. ZKP 之 Plonk 协议实现
smilejiasmile的博客
05-16 753
PlonK相比起之前的zkSNARK协议来说，主要区别在于如下三点：首先是在将电路解释为多项式的时候，SNARK 协议一般采用R1CS到QAP的做法，最后要证明的多项式形式 L(x)×R(x)−O(x)=H(x)T(x)L(x)\times R(x)-O(x)=H(x)T(x)L(x)×R(x)−O(x)=H(x)T(x) 而 PLONK 使用的是 Gate Constraints和 Copy Constraints形式，最后要证明的多项式形式为： QL(x)a(x)+QR(x)b(x)+QO(x)c(x)
zk-SNARKs详细原理介绍（简单通俗易懂）
BlockchainY的博客
10-29 6551
zk-SNARKs什么是zk-SNARKs?1. 引言2. 为什么zk-SNARKs “应该”是很难实现的？3. zk-SNARKs基础概念3.1 polynomial 多项式3.2 多项式的自我比较3.3 polynomial commitment3.3.1 polynomial commitment scheme3.3.2 FRI3.4 有限域4. 实用的举例4.1 隐私5.目前进行中的研究参考资料 什么是zk-SNARKs? Zcash是zk-SNARKs的第一个广泛应用，它是一种零知识密码学的新形式
ZKNARK零知识证明方案的构造
weixin_39466908的博客
01-26 1004
ZK-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) 是一种非交互式的零知识证明，它具有证明简洁和验证快速的特点，但是它需要一个被称为“信任设置”（trusted setup）的过程。
零知识证明协议---GKR的性质
weixin_43883448的博客
09-23 218
GKR 系统也是一种交互式证明系统，和零知识证明（ZKP）有一些相似之处，特别是在它满足的几个性质上。完备性（Completeness），可靠性（Soundness）和零知识性（Zero knowledge，现有的方案如Virgo++提供零知识的性质）。，证明者几乎不可能欺骗验证者。换句话说，验证者可以检测出不正确的计算结果，即便证明者试图提供错误的证明，验证者也有很高的概率拒绝它。，证明者总能够提供一个有效的证明，验证者总能通过验证。能够通过分层的电路来证明复杂计算的结果，而不需要验证者重新执行计算。
基于opencv实现象棋识别及棋谱定位python源码+数据集-人工智能课程设计
09-27
基于opencv实现象棋识别及棋谱定位python源码+数据集-人工智能课程设计，含有代码注释，满分课程设计资源，新手也可看懂，期末大作业、课程设计、高分必看，下载下来，简单部署，就可以使用。该项目可以作为课程设计期末大作业使用，该系统功能完善、界面美观、操作简单、功能齐全、管理便捷，具有很高的实际应用价值。 基于opencv实现象棋识别及棋谱定位python源码+数据集-人工智能课程设计，含有代码注释，满分课程设计资源，新手也可看懂，期末大作业、课程设计、高分必看，下载下来，简单部署，就可以使用。该项目可以作为课程设计期末大作业使用，该系统功能完善、界面美观、操作简单、功能齐全、管理便捷，具有很高的实际应用价值。 基于opencv实现象棋识别及棋谱定位python源码+数据集-人工智能课程设计，含有代码注释，满分课程设计资源，新手也可看懂，期末大作业、课程设计、高分必看，下载下来，简单部署，就可以使用。该项目可以作为课程设计期末大作业使用，该系统功能完善、界面美观、操作简单、功能齐全、管理便捷，具有很高的实际应用价值。基于opencv实现象棋识别及棋谱定位python源码+数据集
基于Python实现的Cowrie蜜罐设计源码
09-27
该项目为基于Python实现的Cowrie蜜罐设计源码，共计380个文件，涵盖166个Python源代码文件，以及包括RST、SQL、YAML、Markdown等多种类型的配置和文档文件。Cowrie蜜罐是一款用于记录暴力攻击和攻击者执行的SSH及Telnet交互的中等交互式蜜罐。
QT 摄像头获取每一帧图像数据以及opencv获取清晰度
09-27
QT 摄像头获取每一帧图像数据以及opencv获取清晰度
基于asp.net的(CS)地震预测系统设计与实现.docx
最新发布
09-27
基于asp.net的(CS)地震预测系统设计与实现.docx
基于Springboot和Mysql的医院药品管理系统代码（程序，中文注释）
09-27
医院药品管理系统-医院药品管理系统-医院药品管理系统-医院药品管理系统-医院药品管理系统-医院药品管理系统-医院药品管理系统-医院药品管理系统-医院药品管理系统-医院药品管理系统-医院药品管理系统-医院药品管理系统 1、资源说明：医院药品管理系统源码，本资源内项目代码都经过测试运行成功，功能ok的情况下才上传的。 2、适用人群：计算机相关专业(如计算计、信息安全、大数据、人工智能、通信、物联网、自动化、电子信息等)在校学生、专业老师或者企业员工等学习者，作为参考资料，进行参考学习使用。 3、资源用途：本资源具有较高的学习借鉴价值，可以作为“参考资料”，注意不是“定制需求”，代码只能作为学习参考，不能完全复制照搬。需要有一定的基础，能够看懂代码，能够自行调试代码，能够自行添加功能修改代码。 4. 最新计算机软件毕业设计选题大全(文章底部有博主联系方式): https://blog.csdn.net/2301_79206800/article/details/135931154 技术栈、环境、工具、软件： ① 系统环境:Windows ② 开发语言：Java ③ 框架：SpringBo
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值