I heard Charles saying that Ouroboros “solved [the problems encountered in] proof-of-stake”. Also, researchers claim that Ouroboros is elegant because the papers are finished, and each protocol (Ouroboros, O. Praos, O. Genesis) is self-contained.
But as far as I’ve found, none of the papers talk about how malicious/evil/byzantine/misbehaving or faulty validators are punished/reprimanded. There’s no talk about validators getting slashed (=they lose their deposit) in certain conditions.
How could such a proof-of-stake protocol even work? What is it that I’m missing here?