https://github.com/ethereum/research/blob/master/casper4/pap...
It aims for more economically secure public blockchains with shorter confirmation times and less cost (electricity/hardware/inflation). I haven't delved deep enough into it to be fully convinced, but what I've gotten through so far is promising. AFAIK its the only proof of stake algorithm thats been formally documented.