After hosting their AMA forum on Reddit, the Ethereum developers have released the eighth short report on the development of Ethereum 2.0 as the launch starts to become a reality. The report released by the Ethereum Foundation offers a number of developments in the journey to launch ETH 2.0 including verification of the deposit contract, beacon chain optimizations, and implementations by a number of projects on the sharding feature of the blockchain.
Ethereum completes the first formal verification of its bytecode
According to the report, Runtime Verification (RV), verified and validated ETH 2.0 deposit bytecode contract, which is an important step to the launch of the upgrade. Some of the successful tests of the verification process include input validations, updates to the iterative merkle tree, logs, and more.
Furthermore, an attestation gossip relay loop caused their nodes to DOS themselves bringing down Lighthouse’s 16k validator testnest. However, after the bug was fixed as they set out to achieve a 100k validator testnet dedicated to improve the scalability. Notably Prysm Testnet a different implementation has hit 35k validators.
Ethereum 2.0 in the optimization era
Optimization of the Ethereum 2’s beacon chain is also ongoing. The beacon chain which is core of eth2 which uses a sharded system. Eth2 Blockchain will get split into shards, a small version of Blockchain handles small portions of the all the transactions to sync with any given shard(s) will require the user to sync with the whole beacon chain.
To finally decide what to be implemented on the ETH2 codebase, developers have had to add the various implementation choices and consider the opportunity costs in play with each of the design. The code itself hasn’t been built for performance but rather enable them collect user requirements from which the developers could then come up with a more complex algorithm suited for client optimization.
Phase 2 research for cross-shard complexity, which both Consensys Quilt team and The Ethereum Foundation (EF) eWASM team have been working on, is essentially coming up with protocols for cross-shard communication via tools such as cross links and Merkle proofs.