# Eth2 Update: Solidity Deposit Contract Formally Verified Amid Vyper Compiler Security Concerns

DevFeed: [Eth2 Update: Solidity Deposit Contract Formally Verified Amid Vyper Compiler Security Concerns](<https://devfeed.tech/articles/eth2-quick-update-no-12-16910.md>)

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

Author: Danny Ryan

Published: 2020-06-23T00:00:00Z

Content type: news

Language: en

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

Topics: [Security](<https://devfeed.tech/topics/security.md>), [Solidity](<https://devfeed.tech/topics/solidity.md>), [Formal verification](<https://devfeed.tech/topics/formal-verification.md>), [Compiler](<https://devfeed.tech/topics/compiler.md>), [Development](<https://devfeed.tech/topics/development.md>)

Tags: [bytecode](<https://devfeed.tech/tags/bytecode.md>), [compiler](<https://devfeed.tech/tags/compiler.md>), [formal-verification](<https://devfeed.tech/tags/formal-verification.md>), [news](<https://devfeed.tech/tags/news.md>), [research-development](<https://devfeed.tech/tags/research-development.md>), [security](<https://devfeed.tech/tags/security.md>)

## AI overview

This eth2 update announces a new Solidity deposit contract that preserves the existing public interface, adds EIP-165 support, and has undergone review and formal verification. It also discusses security concerns and compiler bugs affecting Vyper, while noting ongoing work on the language and alternative compilers.

## Source excerpt

As always, a lot continues to happen on the eth2 front. Aside from written updates (check out the State of Eth2 post below) and other public summaries, client teams, contributors, and community members/prospective-validators have been busy! Today, we'll cover some significant deposit contract news, and big steps toward implementation...