CasperLabs Shows First ‘Provably Safe’ Ethereum PoS Protocol ‘Highway’ Casperlabs released the code of “Highway,” an allegedly provably safe and live Casper implementation Posted in News