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

Published at: Nov. 2, 2019

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.

Tags
Related Posts
3 reasons why Ethereum price might not hit $5,000 anytime soon
The price of Ether (ETH) has been in a downward spiral ever since Ethereum co-founder Vitalik Buterin presented at StartmeupHK Festival 2021. In a fireside chat session on May 27, Vitalik stated that several internal team conflicts caused the proof-of-stake migration to delay its launch. As reported by Cointelegraph, "Phase One," which introduces scalability through sharding, has been postponed to 2022. Furthermore, DeFi’s inherently decentralized nature might not be entirely beneficial because the sharding-style processing would need to run transactions through a relay chain. It’s impossible to pinpoint the reason behind Ether’s sharp fall from its all-time high, but the …
Markets / July 31, 2021
Messari CEO: Ethereum 2.0 Proof-of-Stake Transition Not to Happen Until at Least 2021
The Ethereum (ETH) 2.0 proof-of-stake (PoS) transition will not take place until 2021, the CEO of crypto analytics firm Messari predicted at a panel of ConsenSys’ Ethereal Summit on May 10. During the panel titled “The Smart Contract War Is Coming,” Messari’s Ryan Selkis pointed out major risks associated with Ethereum’s migration from a proof-of-work (PoW) to a PoS consensus algorithm, arguing that PoS systems “are not proven to work.” According to Selkis, the currently PoW consensus algorithm of ethereum 1.x, is “probably pretty good, and maybe even good enough.” The expert elaborated that the algorithm is well-established, having proven …
Ethereum / May 10, 2019
3 reasons why Lido DAO Token could be on the verge of breaking its downtrend
Ethereum (ETH) and decentralized finance (DeFi) are undergoing a seismic shift as the transition to Eth2 and a proof-of-stake consensus mechanism is helping to increase the value proposition for the network which has historically has been plagued with scaling issues and high transaction costs. Alongside this transition has been the introduction of liquid staking, which is helping to add utility to DeFi and giving investors the option to do more with their assets than just lock them up indefinitely. Liquid staking could also help investors build more capital efficient portfolios. One protocol that has benefited from the shift toward liquid …
Adoption / Feb. 26, 2022
Altcoin Roundup: Analysts give their take on the impact of the Ethereum Merge delay
The rollout of Ethereum 2.0, or Eth2, includes a transition from proof-of-work to proof-of-stake that will supposedly transform Ether (ETH) into a deflationary asset and revolutionize the entire network. The event has been a trending topic for years and while anticipation for “The Merge” has been building over the past couple of months, this week Ethereum core developer Tim Beiko informed the world that “It won’t be June, but likely in the few months after. No firm date yet.” Delays in Ethereum network upgrades are nothing new and so far, the immediate effect on Ether’s price following the revelation has …
Markets / April 15, 2022
Ethereum’s failure to close above $1.3K prompts analysts to predict more downside
The Ethereum network moved one step closer to completing its transition to proof-of-stake (PoS) this week after the successful completion of its second-to-last major Merge trial on the Sepolia public test network. Data from Cointelegraph Markets Pro and TradingView shows that following the Sepolia Merge on July 6, the price of Ether (ETH) rallied to a high near $1,280 on July 8 but has since trended down to hit a daily low of 1,153 on July 10. With the Ethereum network nearing the home stretch in its shift to PoS, here is what analysts are saying could happen with its …
Markets / July 10, 2022