CasperLabs proclaims “Freeway,” reportedly the primary correct-by-construction Casper proof of stake implementation that's provably stay and secure.
Ethereum improvement agency CasperLabs introduced “Freeway,” allegedly the primary correct-by-construction Casper Proof of Stake (PoS) implementation that's provably stay and secure.
Provably secure and stay
In response to a press launch shared with Cointelegraph on Nov. 1, a protocol is secure whether it is constant in its resolution and stay if it ensures a choice. CasperLabs claims that each these options are a part of Freeway and that their presence is provable. The agency additionally launched a full research paper regarding the challenge.
Casper is the identify given to Ethereum’s PoS implementation and Freeway — this specific model — has been launched as open-source software program. The primary model of the protocol got here out in Might 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 corporate famous:
“By releasing CasperLabs Freeway to the general public by way of an open supply license, we hope to encourage additional innovation for the good thing about all.”
In the course of the occasion, CasperLabs lead software program developer Michael Birch additionally reportedly led a developer’s workshop illustrating write good contracts in Rust (a programming language) to be used with CasperLabs.
As Cointelegraph reported in September, CasperLabs raised $14.5 million in a Sequence A funding spherical led by Terren Piezer, a global financier and chairman of Los Angeles-based funding firm Acuitas Group Holdings.