В 1980 году молодой профессор MIT по имени Silvio Micali @silviomicali задался странным вопросом во время неформальной беседы:

«Могу ли я доказать, что знаю что-то — не раскрывая при этом ничего о самом знании?»

Чтобы найти ответ, он разработал интерактивную систему доказательств: многораундовый протокол вызова-ответа, при котором проверяющий с высокой вероятностью убеждается в истинности, не увидев сам секрет.

Это была вероятностная модель проверки, которая отошла от статичных, традиционных систем доказательств.