这一期我们仍然请到了清华大学密码学在读博士生 @sputnik-meng 来分享零知识的基本性质。引用1990年发布在美密会的文章《how to explain zero-knowledge protocols to your children》一文中的有趣的例子来诠释零知识证明算法的原理以及重要的组件。这也是我们播客名字“零知识洞穴”的来源。
- 零知识证明的性质
- 完备性
- 可靠性
- 零知识性
- 故事的方式去解释零知识证明
- 阿里巴巴的咒语
- 阿里巴巴的后代的真人秀与冒牌货
- 如何通过构造模拟证明零知识性
- 模拟的作用：证明协议的零知识性
- 安全的定义：完美安全 V.S. 计算安全
- 不可区分性：完美不可区分 V.S. 统计不可区分 V.S. 计算不可区分
- 模拟拥有的“超能力”是无限的吗？
- 并行模拟
- Prior agreement
- 密码学的 Nature/Science 美密会
本期出场：@末末哈 @Sputnik
本期编辑：@末末哈
录制时间：2022年2月4日
相关资料
