Trong năm 1980, một giáo sư trẻ tại MIT tên là Silvio Micali @silviomicali đã đặt ra một câu hỏi kỳ lạ trong một cuộc trò chuyện phi chính thức:

"Liệu tôi có thể chứng minh rằng tôi biết một điều gì đó — mà không tiết lộ bất cứ điều gì về nó không?"

Để trả lời câu hỏi này, ông đã thiết kế một hệ thống chứng minh tương tác: một giao thức thử thách-phản hồi nhiều vòng, trong đó người xác minh trở nên thuyết phục với xác suất cao, mà không bao giờ thấy được bí mật thực sự.

Đây là một mô hình xác minh xác suất ngẫu nhiên, đã thoát khỏi các hệ thống chứng minh tĩnh, truyền thống.