1980年、MITの若き教授シルヴィオ・ミカリは、非公式な会話の中で奇妙な質問を投げかけました：

「何かを知っていることを証明できるのに、その内容を一切明かさずに証明することはできるのか？」

これに答えるために、彼はインタラクティブ・proof systemを設計しました。これは、多回のchallenge-responseを通じて、verifierが高い確率で納得するが、実際のsecretを一度も見せることのないプロトコルです。

これは、静的で伝統的なproof systemから脱却した、確率的検証モデルでした。