Casper and LMD GHOST (which is what Eth2 uses) is one of the most mature proof of stake consensus algorithms out there. The other is Tendermint, but that's a practical BFT algorithm, so limited to 100-300 validating nodes, whereas ETH2 has hundreds of thousands of validators.