没有合适的资源?快使用搜索试试~ 我知道了~
09 Non-BB ZK (Barak's protocol).pptx【非黑盒零知识】
需积分: 10 0 下载量 82 浏览量
2021-03-23
13:19:16
上传
评论
收藏 3.41MB PPTX 举报
温馨提示
试读
35页
Barak’s协议
资源详情
资源评论
资源推荐
Non-Black-Box ZK(Barak’s protocol)
Speaker : xyi
2020.2.2
V 抛硬币,结果是随
机的
不受先验的限制
Argument 和 Proof 有一些区
别:
soundnes
s
soundne
ss
对于 NP 问题的非黑盒 ZK 论证
为什么对于 NP 问题需要 Non-BB 论证的?
•
没有 L∈BPP 会有一个黑盒协议满足:常
数轮、有可忽略的可靠性【即保证验证者
不会被不诚实的证明者欺骗】, public-
coin
•
所以我们需要一个非黑盒的模拟器,
•
一方面:∀ V*∃S 比∃ S ∀V* 更容易【大
概的意思是说:去证明每一个验证者都存
在一个模拟器比证明存在一个模拟器对于
所有验证者成立要简单;因为在后者的 S
是一个通用的模拟器;】
•
视频原话: Because proving that for
every veri"er there exists a should
be easier than trivial and universal
simulator that works for all very
fast.
•
另一方面:我们从哪里开始? 1 、 V* 的
逆转是很难得; 2 、给出关键的点:我
们不需要去进行 V* 的逆向工程; 3 、只
需要证明对于 S 来说拥有 V* 的代码就可
以了
想法:使用一个验证者的代码作为
一个“假的” witness 。
•
在真实的证明中,这个代码是验
证者 V 中随机的消息。
•
在模拟器中,这个代码是 V* 的
“下一次消息的函数”。
•
因为在真正的交互中 P 不能访问
到 V 的随机消息。所以这不会伤
害可靠性。
•
在模拟器 S 中,则总是能使得验
证者接受,因为 S 以 V* 的代码
作为输入。
剩余34页未读,继续阅读
吃芒果干的熊孩子
- 粉丝: 100
- 资源: 6
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 基于Java的mortnon高质量快速开发框架设计源码
- 基于Typescript的react-native-iconfont-cli图标转换工具设计源码
- 基于Android的日记本设计源码
- 基于Python的金融资讯数据展示Web项目设计源码
- 基于Vue的太一·学术前端设计源码
- 基于Vue的湘南科创产业园大屏遥控端设计源码
- 基于Javascript的P03150114 BisLstm_water水产量预测设计源码
- Ai变声工具:实时语音变换器Supertone Shift 可将实时变化直播说话声音
- 基于Python的Struts2全漏洞扫描利用工具设计源码
- 基于Javascript的React Native Helloword设计源码
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0