Ethereum development firm CasperLabs announced “Highway,” allegedly the first correct-by-construction Casper Proof of Stake (PoS) implementation that is provably live and safe.
According to a press release shared with Cointelegraph on Nov. 1, a protocol is safe if it is consistent in its decision and live if it guarantees a decision. CasperLabs claims that both those features are part of Highway and that their presence is provable. The firm also released a full research paper concerning the project.