While reading through the Nothing at Stake section of the Proof of Stake FAQs it is described how dishonest validators will be punished for voting on two chains. This requires a proof of misbehavior which will have to be inserted in the chain by another honest validator.
This makes me wonder:
- what is the incentive for validators to submit this proof, given that it takes resources to monitor for these kinds of misbehavior?
- if there is an incentive, why would a validator include anyone's proof if they can simply replace it with their own proof to get this incentive?
with sharding this problem seems even worse, with a larger number of chains/shards to monitor.