$265.24 3.10%
ETH · 1w

Danny Ryan: Eth 2 quick update no. 8

Keep it coming


Runtime Verification audit and verification of deposit contract

Runtime Verification recently completed their audit and formal verification of the eth2 deposit contract bytecode. This is a significant milestone bringing us closer to the eth2 Phase 0 mainnet. Now that this work is complete, I ask for review and comment by the community. If there are gaps or errors in the formal specification, please post an issue on the eth2 specs repo.

The formal semantics specified in the K Framework define the precise behaviors the EVM bytecode should exibit and proves that these behaviors hold. These include input validations, updates to the iterative merkle tree, logs, and more. Take a look here for a (semi)high-level discussion of what is specified, and dig in deeper here for the full formal K specification.

I want to thank Daejun Park (Runtime Verification) for leading the effort, and Martin Lundfall and Carl Beekhuizen for much feedback and review along the way.

Again, if this stuff is your cup of tea, now is the time to provide input and feedback on the formal verification – please take a look.

The word of the month is “optimization”

The past month has been all about optimizations.

Although a 10x optimization here and a 100x optimization there doesn’t feel so tangible to the Ethereum community today, this phase of development is just as important as any other in getting us to the finish line.

Beacon chain optimizations are critical

(why can’t we just max out our machines with the beacon chain)

The beacon chain – the core of eth2 – is a requisite component for the rest of the sharded system. To sync any shard – whether it be a single shard or many, a client must sync the beacon chain. Thus, to be able to run the beacon chain and a handful of shards on a consumer machine, it is paramount that the beacon chain is relatively low in resource consumption even when high validator participa...

Continue on
Recent news
ETH +3.10% · · Now

Zaki Manian, Cosmos number two resigns

“The best way to get the work done was for me to leave,” said Manian. His departure comes after months of bitter infighting at Tendermint, developer of the $900m Cosmos blockchain. 
ETH +3.10% · · 2h

UEFA embraces blockchain ticketing system

UEFA, the umbrella body for 55 European nations football association, says it will unveil its new blockchain ticketing system in the forthcoming competition.
ETH +3.10% · · 3h

ETHDenver DeFi project highlights

Thousands of developers flocked to Denver, Colorado this weekend to participate in ETHDenver, one of the largest Ethereum hackathon and conference in the U.S. While there was a wide variety of teams b...
ETH +3.10% · · 12h

Crypto games: Forging a new market trend in 2020

The blockchain technology has witnessed an increase in the growing number of invented crypto games. The blockchain games have increased the awareness and popularity of cryptocurrencies around the worl...