An example of protocol-violating behavior is lying about the validity of a block (each validator “votes” for a block and is expected to vote for a block if it has evidence the block includes valid transactions). This is why PoS protocols like Ethereum’s Gasper are designed to use ...