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
(Since version ) see corresponding Javadoc for more information.
Sigma Protocol transcript enough for verification