02. Zero-KNOWLEDGE for All NP【对于所有NP问题的零知识】

最新推荐文章于 2022-05-27 14:30:27 发布
最新推荐文章于 2022-05-27 14:30:27 发布
阅读量911 收藏 3
点赞数 1
文章标签： 信息安全 密码学 区块链 零知识证明
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_43479839/article/details/113191240
版权

02. Zero-KNOWLEDGE for All NP【对于所有NP问题的零知识】

这篇博客，是关于第九届BIU密码学冬令营上的内容，这篇博客是第二篇，会持续更新。
01.Introduction to Zero knowledge --Alon Rosen [零知识证明介绍]的链接如下：
https://blog.csdn.net/qq_43479839/article/details/112985426
也可以在我之前的这篇博客中，去寻找一些关于其它知识点的博客，下面的博客链接是我整个内容的目录博客，如果有其它内容的需要，可以去翻阅，下面是博客地址。
https://blog.csdn.net/qq_43479839/article/details/112946344
下面正式开始第二部分关于NP问题上的零知识介绍。

目录序列@xyi

1、回顾之前Perfect ZK的内容：【PZK，SZK，CZK】

Perfect ZK:简单的来说就是，其能拥有一个Simulator，它能模拟出与<P,V>(x)交互中同分布的对话。其中V是任意概率性且具有多项式时间验证[PPT]的V,【PPT=Probabilistic Poly-time】
P*：不诚实的Prover；
V*：不诚实/恶意的Verifier；
在这里插入图片描述

1.1 关心SAT∈NPC问题能否在ZK中证明

我们为什么要关系这个问题，就是因为SAT是因为NPC问题【NP完全问题】，在之前我的博客有说，所有的NP问题都可以规约到一个NPC问题；如果SAT这个NPC在ZK中证明，那么所有L∈NP的问题来说则都是可以使用ZK证明的。
在目前，我们可以想到对于零知识这个定理的俩种可能的实现。但是现在我们要将PZK这个定理中的一些要求放松【可能是为了更贴近现实或者其他的原因】，如下：
这节课主要讲对indistinguishability上的，后面讲对于soundness【这是对不同的attack而设定的】

在这里插入图片描述

2、Statistical Zero-Knowledge【统计上的零知识】

2.1 Statistical Indistinguishability【统计不可区分】

统计上的不可区分：【下面是完备的perfect不可区分以及统计上的不可区分的对比，如下：】，给出这俩个不可区分
其中完全【perfect indistinguishability】不可区分指的是：第一个分布落在这个子集中的概率和第二个分布落在这个子集中的概率是相同的。但是在perfect indistinguishability这么严格的区分能力的要求下，很多知识不可能实现，所以需要放松要求
Indistinguishability的对比之后,然后给出统计上的ε-Indistinguishability上的一些性质：X和Y在ε的概率上不可区分
在这里插入图片描述
1>给出统计上的不可区分上的三角不等式（Triangle inequality）的性质，如下：【其实我感觉是传递性】
在这里插入图片描述
2>以及在统计上的不可区分的多重样本的性质：
在这里插入图片描述
3>Hybrid Argument 混合式论证：
这个方式在Boneh那本书中的好几个证明都有用到这个思想。
后面使用triangle inequality:给出后面ε+ε+…+ε=q*ε；其实在这里我要指出的是这其中的ε是没两个实验之间对比在统计上上不可区分的概率，比如在下面图中i=0与i=1所对应的所列举的X^(q-i) Y Y^(i-1)=…；
在这里插入图片描述

2.2 Statistical ZK【统计零知识】

在给出Statistical indistinguishability这个概念之后，我们再就可以很清楚的描述SZK的概念。
即一个SZK可以有一个Simulator可以
虽然在一定条件下放宽了要求，不要求完全不可区分，但是SZK还是用于PZK一样的限制，故之后还要进一步放松要求。
在这里插入图片描述
在这里插入图片描述

3、Computational Zero-Knowledge【在计算上的ZK】

3.1 Computational Indistinguishability【在计算上不可区分】

我们放松要求，从统计上的区分到计算上的区分。
ε-Indistinguishability：对于统计不可区分，
在Computational Indistinguishability上多了一个时间t【即上该时间t内可区分】，给出这个定义之后，在和上面一样给出计算上不可区分的一些性质。
(t,ε)-indistinguishability：所以两分布在t上不可区分，如果对于所有大小的测试，在时间t内ε内的区分都是可以被区分的。【我们不 关心不能在一个多项式时间内完成的测试，即超过时间t的】
是什么让我们放松了系统的安全性来对抗其他可行的集合？
在这里插入图片描述
1>Triangle inequality：三角不等式仍然成立，就是除了考虑在ε1或ε2上不可区分外，还要考虑其运行时间是否在所要求的时间
在这里插入图片描述
2>mutiple samples:
在这里插入图片描述
3>Hybrid argument【不是均匀分布】
在这里插入图片描述
在这里插入图片描述

3.2 Computational ZK【计算上的ZK定义】

在这里有一个定理：如果单向函数存在【这是密码硬度的最基本的概念】，则会有所有的NP都可以用CZK证明。在这里插入图片描述

4、One-way Functions【单向函数的定义】

在这里插入图片描述

5、Commitment Schemes【承诺方案】

这是协议中的一个基本工具，承诺方案是两个实体之间的俩个阶段的协议，
1、C把自己的承诺加密然后给R。【给了之后就不能改变】，c=Com(m,r),其中r是随机值
2、之后C把解开这个承诺的要是给R，然后R就会知道这承诺到底是什么。
完备性：C总是产生有用的承诺c
在这里插入图片描述
我们也允许互动的承诺，在Commit和Reveal阶段都允许交互
在这里插入图片描述
承诺一般都会满足两个性质，是binding和hiding。
在这里我们讨论statistically-binding承诺满足统计上的binding和计算上的hiding。即：
computational hiding:即m1和m2的承诺分布在计算上是不可区分的。
statically-binding：其实就是说对于一个m所给出的承诺是由绑定性的，即对m1的承诺c1，即在这次承诺中m1和c1绑定了。即到最后对c1解密之后只会得到m1，而不会得到m2。
在这里插入图片描述
一些承诺生成的函数。
在这里插入图片描述

6、NP问题可以在CZK上来证明，NP⊆CZK

6.1 HAM∈CZK【HAM ：Hamiltomian cycle问题】

在这里需要提醒的是，我们可以从任何一种功能中建立起具有统计约束力的承诺，
下面有俩个定理：
Theorem 1：如果统计绑定性承诺存在，则如果NP问题可以用CZK来解决。
Theorem 2：如果统计绑定性承诺存在，则有HAM属于CZK。
在这里插入图片描述

在这里插入图片描述

6.2 HAM is NP-complete【哈密顿回路是一个NP完全问题】

对于每一个L∈NP问题都可以规约到HAM ，因为HAM是一个NP完全问题。即存在一个可计算的函数f，使得所有x∈L，都能得到f(x)∈HAM。
现在为了去证明L能在CZK中被证明，只需要去证明HAM问题能够在CZK中被证明即可。
下面的图中P，V之间的交互：是将statement x的witness w --》变为 statement f(x)∈HAM的witness g(w)
在这里插入图片描述

6.3 HAM问题的另外角度解法

下面的描述，关于HAM，我觉得我给的资料可能容易理解一些：
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

6.4原本课题中的HAM描述

Adjacency Matrix【邻接矩阵】的表示如下：
在这里插入图片描述
在这里插入图片描述
下面是对于HAM问题的交互式证明：
为了证明知道G∈HAM【但不想让V知道除这个之外过多的信息】，
π∈S，其中这个π是对G的一个同构置换【这个是说如果你对这个同构的图能找到一个哈密顿环路，则原本的G也能找到一个环路】。然后将对G置换后的进行一个承诺发送给Verifier V ；
之后，当b=0，那么证明者只需要揭示出一条哈密顿环路即可；然后
当b=1时，证明者需要发送π和H，之后验证者验证对G的置换是否等于H；

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

7 Summary[总结]

在这里插入图片描述

7.1 其他的思考

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

吃芒果干的熊孩子
关注
  • 1
    点赞
  • 踩
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
零知识证明 - zkSNARK入门
StarLi2020的博客
03-21 1590
网络上讲解零知识证明的文章就不多，这些文章要不太浅显，要不太深入，很少有能给入门者整体框架上的认识。 比如，阿里巴巴零知识证明就是一个非常好的通俗理解零知识证明的例子： 阿里巴巴被强盗抓住，为了保命，他需要向强盗证明自己拥有打开石门的密码，同时又不能把密码告诉强盗。他想出一个解决办法，先让强盗离开自己一箭之地，距离足够远让强盗无法听到口令，足够近让阿里巴巴无法在强盗的弓箭下逃生。阿里巴巴就在这个距...
零知识证明之什么是QAP？什么是P/NP、NP完全问题(NPC问题)、NP hard问题？多项式时间
西京刀客
03-22 1863
文章目录什么是QAP？什么是NP问题多项式时间现实中的NP类问题 什么是QAP？ QAP 是 Quadratic Arithmetic Program 的缩写。 什么是NP问题 【强烈推荐】什么是P=NP问题？ 参考URL: https://zhuanlan.zhihu.com/p/143003261 在理解 QAP 之前，我们先来了解一下什么是 P 问题。 P问题是什么？ NP问题又是什么？ P=NP又是什么意思？ 研究并解决P=NP问题的意义是什么？ 斯蒂芬·库克和列昂尼德·莱文在1971年独立地提出了
【区块链与密码学】第10-5讲：经典交互式零知识证明（二）
Digquant的博客
05-27 198
【本课堂内容全部选编自PlatON首席密码学家、武汉大学国家网络安全学院教授、博士生导师何德彪教授的《区块链与密码学》授课讲义、教材及互联网，版权归属其原作者所有，如有侵权请立即与我们联系，我们将及时处理。】 10-5NP问题的零知识证明（二） 哈密顿回路问题 | 密顿回路的定义 哈密顿难题 HC零知识证明性质分析 完备性： 如果证明者知道图G的哈密顿回路，他对于不同的α都可以做出正确的响应。显然，诚实验证者接收的概率为1。 可靠性： 如...
Practical Zero-Knowledge Protocols Based on the Discrete Logarithm Assumption 学习笔记 1
mutourend的博客
11-24 391
1. 引言 Stephanie Bayer 2013年博士论文 《Practical Zero-Knowledge Protocols Based on the Discrete Logarithm Assumption》。 zero-knowledge proof允许prover来demonstrate knowledge of some information，如： know an element is a member of a list or is not a member of a list,
Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting学习笔记
mutourend的博客
07-31 1289
1. 引言 Bootle和Groth等人2016年论文《Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting》。
Round-optimal zero-knowledge proofs of knowledge for NP
02-21
It is well known that all the known black-box zero-knowledge proofs of knowledge for NP are non-constant-round. Whether there exit constant-round black-box zero-knowledge proofs of knowledge for all ...
Efficient Zero-Knowledge Arguments for Arithmetic Circuits
最新发布
12-24
《高效零知识证明在离散对数环境中的应用于算术电路》 本文提出了一种新的零知识证明方法，用于证明算术电路的满足性，其通信复杂度以电路大小的对数增长，同时交互轮次也是对数级别的。特别地，对于具有二输入门的...
].Zero-G.Outer.Limits.KeyGen
10-26
[Zero-G.OUTER.LIMITS.音景效果盘].Zero-G.Outer.Limits.KeyGen
example-zero-knowledge:这个Github仓库展示了如何设置Fluree分类帐以使用零知识证明
05-07
合法捕鱼这个Github回购展示了如何设置Fluree分类帐以使用零知识证明。 在此示例中，将Fluree部署为管理可信数据的后端数据管理平台。 用例是以下内容的简单示例： 建立一个允许捕鱼的动态区船只输入捕获位置而不...
reveal.js-zero-index-main
04-30
安装将zero-index-main.js下载到reveve.js演示文稿的plugin文件夹中（（即plugin/zero-index-main ）。 如下所示，将插件添加到演示文稿的依赖项中。 Reveal . initialize ( {// ...dependencies : [// ...{ src : '...
概念辨析 P、NP、NPC、NP-hard
qq_42258321的博客
06-13 1105
写在前面 最近在看老师的论文，看到论文中的NP-hard，co-NP-hard问题，虽然自己知道这是什么问题，但还是觉得有必要对P、NP、NPC、NP-hard、co-NP-hard问题的概念进行辨析，毕竟弄清楚问题的概念是解决问题的第一步 小故事引言 先来看一个小故事，假如老板要你解决一个问题，你绞尽脑汁还是想不出来，叫天天不应，叫地地不灵，这时你走进老板办公室，可以采取3种策略： ...
Linear Algebra with Sub-linear Zero-Knowledge Arguments学习笔记
mutourend的博客
07-29 653
1. 引言 Groth 2009年论文《Linear Algebra with Sub-linear Zero-Knowledge Arguments》。
NP类问题证明
奔流聚海
10-13 3282
NP类问题：所有的非确定性多项式时间可解的判定问题构成NP类问题。 根据这个概念，要证明一个问题是NP类的，第一证明此问题是不确定的；第二证明此问题可在多项式时间求解 这是我的理解，你可以参考一下  ...
零知识证明 - 从QSP到QAP
StarLi2020的博客
03-24 2858
前一段时间，介绍了零知识证明的入门知识，通过QSP问题证明来验证另外一个NP问题的解。最近在看QAP问题相关的文章和资料，这篇文章分享一下QAP问题的理解。 0 背景介绍 QSP/QAP问题的思想都是出自2012年一篇论文：Quadratic Span Programs and Succinct NIZKs without PCPs。论文的下载地址：https://eprint.iacr.org/...
NP问题的证明
Crystal的博客
12-28 3005
8.3证明NP完全问题 （1) Problem： STINGY SAT is the following problem: given a set of clauses (each a disjunction of literals) and an integer k, find a satisfying assignment in which at most k variables are t
云中「秘密」：构建非交互式零知识证明---探索零知识证明系列（五）
SECBIT区块链安全实验室
01-10 1708
本文作者：郭宇 Once exposed, a secret loses all its power. 一旦泄露，秘密就失去了全部威力 ― Ann Aguirre 这已经是本系列的第五篇文章了，这一篇继续深入非交互式零知识证明。 本文约 12,000 字。 系列一：初识「零知识」与「证明」 系列二：理解「模拟」 系列三：寻找「知识」 系列四：随机「挑战」 提纲 CRS 的前世今生 哈密尔...
通用协议（三）Computational Indistinguishability 计算不可区分性
密码小仙女
11-14 1724
Computational Indistinguishability 计算不可区分性 我们用多项式电路族来描述计算不可区分性，通过以下的方法： 定义两个实体，X, Y，S为一个字符串，有如下的关系： 对于任何人多项式电路族，Cn，n为w的长度，w属于S和n长字符串的交集。 statistical indistinguishability 计算不可区分是统计不可区分的放宽，即统计任何长度的不可...
Display which sensitivity analysis: lb - Lower Bound Sensitivity Ranges Variable Name Reduced Cost Down Current Up x1 5.0000 -10.5000 zero zero x2 zero -infinity zero zero x3 zero -infinity -infinity 2.0000 CPLEX> display sensitivity obj - OBJ Sensitivity Ranges Variable Name Reduced Cost Down Current Up x1 5.0000 -infinity 1.0000 +infinity x2 zero 2.0000 2.0000 +infinity x3 zero -infinity 3.0000 3.0000 CPLEX> display sensitivity rhs - RHS Sensitivity Ranges Constraint Name Dual Price Down Current Up c1 zero 2.0000 9.0000 +infinity c2 zero -infinity 4.0000 4.0000 c3 -1.0000 -27.0000 -6.0000 -6.0000 CPLEX> display sensitivity ub - Upper Bound Sensitivity Ranges Variable Name Reduced Cost Down Current Up x1 5.0000 zero zero +infinity x2 zero zero +infinity +infinity x3 zero 2.0000 +infinity +infinity帮我解释下意思
07-12
这段输出展示了不同类型的敏感性分析结果，包括下界敏感性、目标函数敏感性、右手边界敏感性和上界敏感性。下面是每个部分的解释： 1. 下界敏感性（Lower Bound Sensitivity Ranges）： - 变量x1的"Reduced Cost"列显示为5.0000，表示当x1的值增加1个单位时，目标函数的值会增加5.0000。 - 变量x2的"Reduced Cost"列显示为zero，表示该变量的值对目标函数没有影响。 - 变量x3的"Reduced Cost"列显示为zero，表示该变量的值对目标函数没有影响。 2. 目标函数敏感性（OBJ Sensitivity Ranges）： - 变量x1的"Reduced Cost"列显示为5.0000，表示当x1的值增加1个单位时，目标函数的值会增加5.0000。 - 变量x2的"Reduced Cost"列显示为zero，表示该变量的值对目标函数没有影响。 - 变量x3的"Reduced Cost"列显示为zero，表示该变量的值对目标函数没有影响。 3. 右手边界敏感性（RHS Sensitivity Ranges）： - 约束c1的"Dual Price"列显示为zero，表示该约束条件对目标函数没有影响。 - 约束c2的"Dual Price"列显示为zero，表示该约束条件对目标函数没有影响。 - 约束c3的"Dual Price"列显示为-1.0000，表示当约束c3的右手边界增加1个单位时，目标函数的值会减小1.0000。 4. 上界敏感性（Upper Bound Sensitivity Ranges）： - 变量x1的"Reduced Cost"列显示为5.0000，表示当x1的值增加1个单位时，目标函数的值会增加5.0000。 - 变量x2的"Reduced Cost"列显示为zero，表示该变量的值对目标函数没有影响。 - 变量x3的"Reduced Cost"列显示为zero，表示该变量的值对目标函数没有影响。 这些结果描述了在敏感性分析中各个变量和约束条件对目标函数值的贡献程度以及它们的敏感性。这种分析可以帮助你了解在参数和约束条件变化时，模型最优解和约束条件的变化情况。 如果你有更多问题或需要更详细的解释，请随时提问！
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值