1980 yılında, Silvio Micali @silviomicali adlı genç MIT profesörü, gayri resmi bir sohbet sırasında garip bir soru sordu:

"Bir şey bildiğimi kanıtlayabilir miyim — hiçbir şey açıklamadan?"

Bu soruya cevap olarak, etkileşimli bir kanıt sistemi tasarladı: çok turdan oluşan bir challenge-response protokolü. Bu protokolde, doğrulayıcı, gerçek sırrı hiç görmeden yüksek olasılıkla ikna olur.

Bu, statik, geleneksel kanıt sistemlerinden kopmuş, olasılıksal bir doğrulama modeliydi.