Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
weaker privacy notion known as honest verifier zero-knowledge. In this model, the verifier follows the protocol execution blindly and does not deviate from the above protocol specification. Under this simplification the simulator no more needs to anticipate arbitrary and thus hard-to-predict