> Are there any extant proof-of-stake blockchains that achieve the security guarantees necessary to make a currency viable?

Cardano, Solana, and Polkadot seem to be doing quite alright.