编辑“零知识证明（ZKP）”（章节）

== 零知识条件的变式 ==
“零知识”的定义有若干变形，分别在于如何严谨定义模拟结果“看似”真实的交互记录：

; 完美零知识（perfect zero-knowledge）
: 模拟器与真正交互产生的概率分布完全相等。离散对数示例即属此类。
; 统计零知识（statistical zero-knowledge）
: 两个分布并非完全相等，但统计上接近，即有某个可忽略函数，使该两列分布在任意集合取值的概率差，皆小于该函数。
; 计算零知识（computational zero-knowledge）
: 无高效算法分辨两个分布。