版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第二十三讲零知识证明技术1Peggy:“我知道联邦储备系统计算机的口令,McDonald的秘密调味汁的成分,以及Knuth第5卷的内容。”Victor:“不,你不知道。”Peggy:“我知道。”Victor:“你不知道!”Peggy:“我确实知道!”Victor:“请你证明这一点!”Peggy:“好吧,我告诉你!”她悄悄地说出了口令。Victor:“太有趣了!现在我也知道了。我要告诉《华盛顿邮报》。”2许多年前,有报道称小偷在一个超市中放置假的ATM机。当人们将银行卡插入机器并输入鉴别身份的秘密时,机器将这些信息记录下来并反馈消息说机器不能接受这种类型的银行卡。小偷接下来就可以制造假的银行卡,并使用得到的身份鉴别秘密信息到真的ATM机上提取现金。3如何避免这一情况发生?在很多情况下需要出示鉴别身份的秘密或口令来完成交易。任何人在得到这个秘密再附加一些(几乎公开的)身份信息之后,就可以冒充这个人。我们需要解决的问题就是使用秘密但在使用的过程中不留给攻击者任何可以重复使用的信息。这就产生了零知识证明技术。4本讲提要
零知识证明概念总揽
Fiat-Shamir鉴别协议
Feige-Fiat-Shamir鉴别协议
GQ鉴别协议
Schnorr鉴别协议51零知识证明概念总揽1.1思想61.1思想(续)Peggy知道这个洞穴的秘密。她想对Victor证明这一点,但她不想泄露咒语。下面是她如何使Victor相信的过程:(1)Victor站在A点。(2)Peggy一直走进洞穴,到达点C或点D。(3)在Peggy消失在洞穴中之后,Victor走到点B。71.1思想(续)(4)Victor向Peggy喊,要她:(4.1)从左通道出来,或者;(4.2)从右通道出来.(5)Peggy答应了,如果有必要她就用咒语打开密门。(6)Peggy和Victor重复第(1)到第(5)步n次。81.1思想(续)
评述.协议使用的技术叫做分割选择技术(cutandchoose),因为它类似如下将任何东西等分的经典协议:(1)Peggy将东西切成两半。(2)Victor给自己选择一半。(3)Peggy拿走剩下的一半。Peggy最关心的是第(1)步中的等分,因为Victor可以在第(2)步选择他想要的那一半。91.2交互证明系统和零知识证明协议零知识证明协议是交互证明系统的一个实例,这里一个证明者和一个验证者交互多轮。证明者的目标是让认证者相信声称的正确性,例如,声称掌握一个秘密。验证者要么接受证明要么拒绝证明。这与传统的数学概念的证明有所不同,交互游戏的证明是随机而不是绝对的。由于这个原因,一个交互证明常常被称为协议证明。101.2交互证明系统和零知识证明协议(续)用于鉴别的交互证明可以被形式化为知识证明。证明者A掌握某个秘密s,并通过正确的回答验证者B所提出的问题(涉及的是公开已知的输入和协商一致的函数)使其相信确实掌握秘密s,当然,回答这些问题需要秘密s。注意证明掌握秘密s不同于证明s存在。一个交互证明是知识证明如果证明满足完备性和正确性属性。111.2交互证明系统和零知识证明协议(续)
定义1(完备属性)一个交互证明(协议)是完备的,如果给定一个诚实的证明者和认证者,协议就能以压倒的概率获得成功(也就是,验证者接受证明者的宣称)。
评论.完备性可以看作是协议在诚实的参与者执行的情况下的一般要求。对压倒的概率的定义依赖具体应用,但通常隐含失败的概率无实际意义。121.2交互证明系统和零知识证明协议(续)
定义2(正确属性)一个交互证明(协议)是正确的,如果存在一个平均多项式时间算法M满足如下性质:如果一个不诚实的证明者(A)可以以不可忽略的概率成功的与B执行协议,M则可以用来得到这个证明者的知识(本质上等于A的秘密),这将使得后续的协议执行以压倒概率获得成功。131.2交互证明系统和零知识证明协议(续)由于任何有能力冒充A的一方都等同于知道A的秘密知识(M可以在多项式时间内来计算它),正确属性保证了协议确实提供了对知识的证明–知识等价于询问的正确应答。正确属性因此阻止了不诚实的证明者使诚实的验证者相信知识的可能。141.2交互证明系统和零知识证明协议(续)
定义3(零知识属性)一个知识证明的协议有零知识属性,如果协议可模拟如下功能:存在一个平均多项式算法(模拟器),它可以不和真实的证明者交互就可以产生一些证明必要的交互消息。这些消息副本与同真实的证明者交互产生的结果不可区分。151.2交互证明系统和零知识证明协议(续)
评述.
(1)零知识属性表明一个证明者执行协议(即使与恶意验证者交互)不会透露任何信息(即除了特定的声称正确以外的关于他的秘密知识),这无异于在多项式时间从公开信息中计算。因此,参与者不会增加后续冒充成功的机会。161.2交互证明系统和零知识证明协议(续)
(2)考虑一个观查者C观测证明者A与验证者B(B
C)一个零知识证明协议交互过程,且B确定了A掌握某个知识。向B证明的过程并不能给C任何担保。(事实上,A和B可能事先串通应答内容来欺骗C。)相似情况,记录零知识证明协议的交互也不能进行回放。这就是零知识属性的基本思想,即证明过程可以由验证者单独模拟完成。171.2交互证明系统和零知识证明协议(续)(3)零知识属性(定义3)不能保证协议是安全的(也就是,获得秘密知识的可能性可以忽略)。同样,正确属性(定义2)也不能保证协议安全。这两个属性只有在攻击者面临计算困难问题的时候才有意义。181.3零知识证明协议的一般结构191.3零知识证明协议的一般结构(续)201.4零知识协议VS.非对称协议(1)使用不退化:协议具有零知识属性因此不会因为重复使用而降低安全性并可阻止选择消息攻击。这可能是零知识技术在实践中最吸引人之处。(2)无需加密:许多零知识技术都不需要使用加密算法。(3)效率:虽然一些零知识基技术非常有效,但是具有零知识属性的协议通常比没有零知识属性的非对称协议需要更多通信和计算开销。更为有效的实用零知识基方案通常源于交互证明的特性,而不是它的零知识特性。211.4零知识协议VS.非对称协议(续)(4)没有证明的假设:许多零知识协议(“证明知识”)本身依赖于和非对称技术一样的未经证明的假设(例如,分解的困难)。(5)零知识基与零知识:虽然有着严谨的理论支持,许多基于零知识概念的技术在实践中缺少形式化的零知识和/或正确属性的支撑,导致这一切的是出于效率或其它原因的参数选择问题。事实上,许多这类概念是渐进的,并不能直接应用到实用协议中来。222Fiat-Shamir鉴别协议232Fiat-Shamir鉴别协议(续)24BA2Fiat-Shamir鉴别协议(续)252Fiat-Shamir鉴别协议(续)262Fiat-Shamir鉴别协议(续)273Feige-Fiat-Shamir鉴别协议283Feige-Fiat-Shamir鉴别协议(续)293Feige-Fiat-Shamir鉴别协议(续)AB303Feige-Fiat-Shamir鉴别协议(续)313Feige-Fiat-Shamir鉴别协议(续)323Feige-Fiat-Shamir鉴别协议(续)333Feige-Fiat-Shamir鉴别协议(续)343Feige-Fiat-Shamir鉴别协议(续)353Feige-Fiat-Shamir鉴别协议(续)364GQ鉴别协议374GQ鉴别协议(续)384GQ鉴别协议(续)394GQ鉴别协议(续)BA404GQ鉴别协议(续)414GQ鉴别协议(
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 举重器具产品营销计划书
- 液晶显示器用保护膜项目创业计划书
- LCD显示器细分市场深度研究报告
- 人事行政部述职报告
- 垃圾处理机项目成效分析报告
- 财务报表分析心得
- 期末模拟练习(试题)-2023-2024学年六年级上册数学北师大版
- (小升初高频常考应用题)专题二十二 鸽巢问题(考点精讲+典例分析+高频实战)-2023-2024学年六年级下册数学高频常考易错考点讲义
- 5.6 函数y=Asin(ωx+ψ)(教学设计)-高一数学同步备课系列(人教A版2019必修第一册)
- 2024年广西柳州市第十二中学九年级中考二模数学试题
- 2024年交管12123学法减分考试试题库及答案
- 欧洲文化智慧树知到期末考试答案章节答案2024年宁波大学
- 期末模拟测试冲刺卷(试题)-2023-2024学年三年级下册数学 人教版
- 2024年高考试题-文综历史(新课标卷)解析版
- 社会主义发展简史智慧树知到课后章节答案2023年下北方工业大学
- 公安院校及专业招生政审表
- SF_T 0111-2021 法医临床检验规范_(高清版)
- 铸铁管理论重量表
- 文件袋、档案袋密封条模板 (2)
- 队列会操评分标准.xls
- 小额贷款尽职调查清单
评论
0/150
提交评论