アーギュメント(argument)
対話Turing機械(P, V)がアーギュメント(argument)とは、証明者Pの能力が多項式時間に限定されている時にのみ健全性が成立するような証明系をいう
『現代暗号』岡本龍明 山本博資 p147
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".
proofと対比してargumentが使われる?
Minimum Disclosure Proofs of Knowledge
Gilles Brassard ∗ a, David Chaum b, Claude Crépeau