Etherum 2.0 is said to be released soon according to news that was published on the bitcoinist
ETHERUM 2.0 HAS MADE CRITICAL PROGRESS
RICARDO MARTINEZ | FEB 06, 2020 | 03:00
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.
Check the full story:https://bitcoinist.com/ethereum-2-0-has-made-some-critical-advances/