Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
Messages are sent between the verifier and prover until the verifier can validate or falsify a statement. All interactive proof systems have two key properties: Completeness: if the statement is true, the honest verifier (that is, one following the protocol properly) can be convinced of this fact