在 1980 年，一位年輕的 MIT 教授 Silvio Micali @silviomicali 在一次非正式的談話中提出了一個奇怪的問題：

「我能否證明我知道某件事——卻不透露任何關於它的資訊？」

為了回答這個問題，他設計了一個互動式證明系統：一個多輪的 challenge-response 協議，讓 verifier 在幾乎確信的情況下相信，卻從未看到真正的秘密。

這是一個基於概率的 verification 模型，打破了傳統的靜態證明系統。