Casperlabs released the code of “Highway,” an allegedly provably safe and live Casper implementation
Source: https://cointelegraph.com/news/casperlabs-shows-first-provably-safe-ethereum-pos-protocol-highway
CasperLabs Shows First ‘Provably Safe’ Ethereum PoS Protocol ‘Highway’
November 2, 2019
CoinTelegraph