Ethereum
$322.69 -6.71%
ETH · 33w

Ethereum 2.0 Has Made Some Critical Advances

The deposit smart contract for Ethereum 2.0 has completed formal verification and audit of the bytecode. Continued optimizations to ETH 2.0’s beacon chain are also underway. 

Ethereum 2.0 is Getting Closer to Reality

Formal Verification (FV) is essential to production software development. FV is a method of analyzing the code semantics to make sure they adhere to certain properties. Many of the vulnerabilities in smart contracts are semantic errors in the code that allow undesired outcomes of code execution. This means glitches like the DAO hack can happen, contrary to the intentions of the creator of the smart contract.

Ethereum just finished its FV analysis of the Ethereum 2 deposit smart contract bytecode. Bytecode is a low-level code that runs in the Ethereum Virtual Machine (VM). The Ethereum VM takes code written in Solidity and then translates and runs it in the VM as bytecode. Having an audit of this code for ETH 2.0’s deposit contract is a big step forward.

Continued work on Ethereum 2’s beacon chain optimizations is also taking place. The beacon chain is the main reference chain that ETH 2’s shards will sync too. To allow for better scaling, the ETH 2 blockchain will be broken into pieces called shards, each like a mini-blockchain, which handles a subgroup of the total amount of transactions. Each shard will need to sync to this main beacon chain to stay in sync with every other shard.

Ethereum 2.0’s Lighthouse testnet recently patched a bug and was able to run 100K validator nodes, without any issues. Prysm test net, another implementation has successfully run with 35,000 validator nodes.

Core Spec Also on the Path to Mainnet

Ethereum’s core spec is like a rough draft of the entire codebase, it describes how the code should properly function. At critical junctures in the code, ETH devs have been adding various different implementation choices, and the tradeoffs involved. This allows them to carefully wei...

Continue on bitcoinist.com
Recent news
ETH -6.71% · medium.com · 5h

How To Find The Best Cryptocurrency To Invest?

The recent cryptocurrency boom has made many millionaires and a few billionaires. Some of these billionaires known as Whales have started to pump up the price and then dump the assets. Twitter in…