第八章 交互式证明 什么是一个好的证明系统天生必须具备的性质？ 所有正确的能被证明； 所有错误的不能被证明； 证明者的证明过程和计算量可以很大，但是验证者所需的工作量不应该太大。 —— Goldwasser, Micali, Rackoff 1985 什么是交互式证明？可以先假定它指的是一个证明系统