CasperLabs Ethereum proof of stake just went live. CasperLabs, an Ethereum development firm, has launched ‘Highway,’ the company’s first-ever PoS (Proof of Stake) implementation that is correct-by-construction. It is provably safe and live as well. As per the official press release, the firm states that consistency in operation depicts that a protocol is safe to use. At the same time, if a decision is guaranteed, it shows it is live as well. Highway has both these characteristic feature, and hence, it is provable and lives. The studies were backed by a comprehensive research paper that underlined various other features of
