Page "Interactive proof system" Paragraph 3
from
Wikipedia
* Soundness: if the statement is false, no prover, even if it doesn't follow the protocol, can convince the honest verifier that it is true, except with some small probability.
Page 1 of 1.
1.891 seconds.