Trying to study ZKPs, I have seen that proofs qualify players (a part from -of course- simulator and extractor): so honest prover, honest verifier.
Is it needed because usually examples deal with interactive schemas which require players to act in specific ways (so it's not needed when Fiat-Shamir heuristic is used on sigma-protocols to get non-interactive flavours)? Or are there more technical, subtle reasons?
Thanks!