Non-interactive zero-knowledge proof

密码学中，零知識證明（英語：zero-knowledge proof）或零知識協議（zero-knowledge protocol）是一方（證明者）向另一方（檢驗者）證明某命題的方法，特點是過程中除「該命題為真」之事外，不泄露任何資訊。因此，可理解成「零洩密證明」。例如，欲向人證明自己擁有某情報，則

IND-CCA（英语：IND-CCA）—安全的密鑰封裝（英语：Key encapsulation）方案 完美零知識的非交互零知識證明（英语：Non-interactive zero-knowledge proof）和簡賅的非交互論證（即證明方計算能力有限（英语：Computationally bounded adversary）的證明）

denotational semantics. Its purest form is useful for mathematical reasoning and proof. …… Its expressiveness. Lisp has proved itself concerned more with expressiveness