A few people asked me about Tendermint (http://tendermint.com/docs/tendermint.pdf)
The paper describes a proof-of-stake system. Details are different from existing implementations, but underlying principle and its problems are the same.