What consensus algorithm does Casper use?

Proof of stake