CasperLabs Shows First ‘Provably Safe’ Ethereum PoS Protocol ‘Highway’

Casperlabs released the code of “Highway,” an allegedly provably safe and live Casper implementation