En 1980, un joven profesor del MIT llamado Silvio Micali @silviomicali hizo una pregunta extraña durante una conversación informal:

"¿Puedo demostrar que sé algo — sin revelar nada sobre ello?"

Para responder a esto, diseñó un sistema de proof system interactivo: un protocolo de challenge-response de múltiples rondas en el que el verificador queda convencido con alta probabilidad, sin llegar a ver el secreto real.

Fue un modelo probabilístico de verificación que rompió con los sistemas de proof tradicionales y estáticos.