在1980年,一位年轻的MIT教授Silvio Micali @silviomicali在一次非正式的交谈中提出了一个奇怪的问题:“我能证明我知道某件事——而不透露任何关于它的内容吗?”为了回答这个问题,他设计了一个交互式证明系统:一种多轮挑战-应答协议,验证者可以在几率上确信对方知道秘密,而从未看到实际的秘密内容。这是一种基于概率的验证模型,打破了传统静态的证明系统的局限。