changed from equal to equals in the Prover and MainVerifier