Em 1980, um jovem professor do MIT chamado Silvio Micali @silviomicali fez uma pergunta estranha durante uma conversa informal:

"Posso provar que sei algo — sem revelar nada sobre isso?"

Para responder a essa questão, ele criou um sistema de prova interativa: um protocolo de desafio-resposta de várias rodadas, no qual o verificador fica convencido com alta probabilidade, sem jamais ver o segredo real.

Foi um modelo probabilístico de verificação que rompeu com os sistemas de prova estáticos e tradicionais.