登录后可观看高清视频
ZK白板系列S2 - M1：什么是零知识（实际上是怎样的）？
9次播放
14小时前
视频的核心内容是关于零知识证明（ZKP）的理论和实践，特别是如何理解和实现零知识属性。主持人Nico和嘉宾David讨论了零知识的基本概念、相关的数学原理以及在现代加密协议中的应用，尤其是PLONK协议。
关键论据和信息包括：
- 零知识的定义：零知识证明允许一方（证明者）向另一方（验证者）证明某个陈述的真实性，而无需透露任何额外信息。David强调，零知识的核心在于“隐藏”输入或输出信息。
- ZKP的两大特性：零知识和简洁性（succinctness）是两个独立的属性，简洁性指的是验证者验证证明的效率。并非所有的ZKP都是零知识的，许多现代方案（如zk-Rollups）并不具备零知识特性。
- 模拟器的概念：在零知识证明中，模拟器的作用是生成与真实证明者相似的证明，而不需要知道实际的见证（witness）。如果模拟器能够生成与真实证明者相同的输出，验证者就无法区分两者，从而实现零知识。
- 不同类型的零知识：视频中提到三种零知识的类型：完美零知识、统计零知识和计算零知识。完美零知识是最理想的状态，但在实际应用中，统计零知识通常是可接受的。
- PLONK协议的零知识性：PLONK协议最初被认为不具备统计零知识特性，后来经过修正，确认其具备统计零知识。修正的关键在于对某些多项式的掩蔽处理，确保没有信息泄露。
总结来说，视频深入探讨了零知识证明的理论基础、实现方法及其在现代加密协议中的应用，强调了理解零知识的重要性以及在设计加密方案时需要注意的细节。
