As a computer scientist you should probably know what Godel's incompleteness theorem is too, the laws of thermodynamics, byzantine fault tolerance, and sybil attacks - which invalidates the idea of proof-of-stake.