CasperLabs Shows First ‘Provably Safe’ Ethereum PoS Protocol ‘Highway’

Ethereum

Ethereum development firm CasperLabs announced “Highway,” allegedly the first correct-by-construction Casper Proof of Stake (PoS) implementation that is provably live and safe.

Provably safe and live

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.

Casper is the name given to Ethereum’s PoS implementation and Highway — this particular version — has been released as open-source software. The first version of the protocol came out in May of last year.

Open source Casper implementation

Per the announcement, the firm announced the development at the San Francisco Blockchain Week on Oct. 31. The company noted:

“By releasing CasperLabs Highway to the public via an open source license, we hope to inspire further innovation for the benefit of all.”

During the event, CasperLabs lead software developer Michael Birch also reportedly led a developer’s workshop illustrating how to write smart contracts in Rust (a programming language) for use with CasperLabs.

As Cointelegraph reported in September, CasperLabs raised $14.5 million in a Series A funding round led by Terren Piezer, an international financier and chairman of Los Angeles-based investment company Acuitas Group Holdings.

Products You May Like

Articles You May Like

Trump Media stock closes down 8.6% after posting $327.6 million loss in first quarter
Palm Beach housekeepers are making $150,000 a year due to massive demand from the wealthy
TJX jumps 4% to a new high after earnings — here’s what investors love about the report
The 10 books the rich will be reading this summer
We’re in a ‘vibecession,’ experts say. Here’s how to invest accordingly

Leave a Reply

Your email address will not be published. Required fields are marked *