探讨交互式证明与零知识证明的认识论问题

在 2001 年的时候,已经有学者(Goldreich等)作出大胆的预言,认为这种零知识/交互式的证明,会极大改变人类对于“证明”(这一人类文明最基本概念)的认识。