【算法分析与设计】第45篇:交互式证明系统与零知识证明在第41篇和第42篇中,我们讨论了NP与NP完全性。NP的“证书验证”视角给出了一个经典证明模型:证明者提供一份静态证书,验证者在多项式时间内检查其正确性。这个模型隐含了两个假设——验证者是被动的(只能阅读证书,不能提问),证书是可以被完全阅读和分析的。交互式证明系统同时打破这两个假设:验证者可以主动向证明者发送随机挑战,证明者根据挑战动态地做出回应。这一交互赋予验证者远超静态证书的判别力,也将可验证的语言类从NP一路推至PSPACE。而零知识证明则进一步引入了一个密码学上近乎悖论的概念——证明者可以说服