Jude has a great piece on Proof of Stake chains. He claims there is a mathematical impossibility to it.