Ethereum growth agency CasperLabs introduced “Highway,” allegedly the primary correct-by-construction Casper Proof of Stake (PoS) implementation that’s demonstrably reside and secure.
Provably secure and reside
According to a press launch shared with Cointelegraph on Nov. 1, a communications protocol is secure whether it is constant in its choice and reside if it ensures a call. CasperLabs claims that each these options are a part of Highway and that their presence is provable. The agency in addition launched a full analysis paper regarding the mission.
Casper is the identify given to Ethereum’s PoS implementation and Highway – this explicit model – has been launched as open-source software program. The first model of the communications protocol got here call at May of final 12 months.
Open supply Casper implementation
Per the announcement, the agency introduced the event on the San Francisco Blockchain Week on Oct. 31. The firm famous:
“By cathartic CasperLabs Highway to the public via an open source license, we hope to inspire further innovation for the benefit of all.”
During the occasion, CasperLabs lead software program developer Michael Birch in addition reportablely led a developer’s shop illustrating learn how to write good contracts in Rust (a programming language) to be used with CasperLabs.
As Cointelegraph reportable in September, CasperLabs raised $14.5 million in a Series A funding spherical led by Terren Piezer, a world financier and chairman of Los Angeles-based funding firm Acuitas Group Holdings.