proof和argument of knowledge的区别
区分具有统计可靠性的零知识证明和具有计算可靠性的零知识论证是很有用的。一般来说,证明只能有计算零知识,而论证可能有完美的零知识。
In a proof, the soundness holds against a computationally unbounded prover and in an argument, the soundness only holds against a polynomially bounded prover. Arguments are thus often called “computationally sound proofs”.
在证明中,稳健性对计算上无界的证明者成立,而在论证中,稳健性仅对多项式有界的证明者成立。因此,论点通常被称为“计算可靠的证明”。
参考:
[1]https://crypto.stackexchange.com/questions/34757/what-is-the-difference-between-proofs-and-arguments-of-knowledge