Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
verifier is honest. The point, however, is that protocols with this weaker property can often be used as building blocks in constructions that are indeed secure against actively cheating, as we shall see. Protocols which have the same three-move structure (commitment, challenge, response) such as