First prover message
Returns true if the verifier has accepted the prover's reponse to the challenge.
Challenge created by verifier and sent to prover
Common input known to both prover and verifier.
Second prover message - response to the challenge
Sigma Protocol transcript enough for verification