# Ethereum eth2 Quick Update No. 8: Deposit Contract Verification and Beacon Chain Optimization

DevFeed: [Ethereum eth2 Quick Update No. 8: Deposit Contract Verification and Beacon Chain Optimization](<https://devfeed.tech/articles/eth2-quick-update-no-8-16887.md>)

Original publisher: [Read original article](<https://blog.ethereum.org/en/2020/02/04/eth2-quick-update-no-8>)

Author: Danny Ryan

Published: 2020-02-04T00:00:00Z

Content type: news

Language: en

Sources: [Ethereum Foundation Blog](<https://devfeed.tech/sources/ethereum-foundation-blog.md>)

Topics: [Ethereum](<https://devfeed.tech/topics/ethereum.md>), [Formal verification](<https://devfeed.tech/topics/formal-verification.md>), [Optimization](<https://devfeed.tech/topics/optimization.md>), [Testing](<https://devfeed.tech/topics/testing.md>)

Tags: [bytecode](<https://devfeed.tech/tags/bytecode.md>), [ethereum](<https://devfeed.tech/tags/ethereum.md>), [formal-verification](<https://devfeed.tech/tags/formal-verification.md>), [optimization](<https://devfeed.tech/tags/optimization.md>), [research-development](<https://devfeed.tech/tags/research-development.md>), [testing](<https://devfeed.tech/tags/testing.md>), [verification](<https://devfeed.tech/tags/verification.md>)

## AI overview

This Ethereum update reports the completion of an audit and formal verification of the eth2 deposit contract bytecode by Runtime Verification. It also discusses ongoing optimization work to reduce beacon-chain resource requirements, Phase 2 research involving Quilt and eWASM, and gossipsub testing results from Whiteblock.

## Source excerpt

Keep it coming tldr; Audit and formal verification of deposit contract bytecode completed by Runtime Verification The word of the month is "optimization" Ongoing Phase 2 research driven by Quilt and eWASM. Welcome TXRX to the table Whiteblock releases [gossipsub testing results](https://github.com/wh...