Definition A protocol is a pair of Probabilistic, Interactive Turing Machine (P,V) P is denoted as the prover V is denoted as the verifier