“We present a provably-secure blockchain protocol based on “proof of stake.” As far as we are aware, this is the first proof of stake blockchain protocol which provides rigorous security guarantees.”

more in this paper: https://eprint.iacr.org/2016/889.pdf