Ethereum Completes Formal Verification and Audit Bytecode


The smart deposit contract for the Ethereum 2.0 Update has completed the formal verification and audit bytecode. The continuous optimizations of the ETH 2.0 beacon chain are also underway. Consensys and The Ethereum Foundation (EF) both are working on phase two of the Ethereum 2.0 update.

05 February, 2020 | AtoZ Markets – Ethereum 2.0 has made some critical progress. The Ethereum 2.0 Lighthouse testnet recently patched a bug and was able to run 100K validation nodes without problems. Prysm test net, another implementation has been successfully performed with 35,000 validator nodes.

Ethereum Formal Verification and Audit Bytecode

Ethereum 2.0 has completed the formal verification (FV) and audit of the bytecode. FV is a method of analyzing semantic code to make sure it adheres to certain properties. Bytecode runs in the Ethereum Virtual Machine (VM). The Ethereum VM also takes the code written in Solidity and translates it and executes it in the VM as a bytecode. Having an audit of this code for the ETH 2.0 smart deposit contract is a big step forward.

The basic specification of Ethereum is like a draft of the whole code. It describes how the code should work properly. At the critical points of the code, the developers of ETH have added several implementation choices and the compromises that derive from them. It allows them to carefully evaluate and consider each design choice implemented in the ETH 2 code.

The code in the specification is not optimized for performance. But it allows developers to consider how their customers should be designed to achieve the performance goals set in the specification. After the final design decisions, the developers can also implement a sophisticated algorithm. It allows the customer to optimize efficiency.

The continuous optimizations of the ETH 2.0 beacon chain are also underway. Moreover, the beacon chain is the primary reference chain that the ETH 2 shard will also synchronize. The ETH 2 blockchain will be broken into pieces called shards, each as a mini blockchain to allow for better scalability. It also manages a subset of the total amount of transactions. Moreover, each shard will need to be synchronized to this main chain to stay in sync with every other shard.

Read More: Things You Should Know About Zero-Knowledge Proofs

Phase Two Development of Ethereum 2.0

Consensys and The Ethereum Foundation (EF) both worked on phase two of the development of Ethereum 2.0. Phase two is the addition of state and execution to the shards of Ethereum. It is about developing methods and standards for communication between shard, using tools such as Merkle proofs and cross-links.

Consensys Quilt team and EF’s eWASM team conducted Phase two research. Now another Consensys team TXRX has entered the fray. TXRX is working on model development to understand the complexity of cross-shards.

Think we missed something? Let us know in the comments section below.

    Share Your Opinion, Write a Comment