Skip to content

runtimeverification/deposit-contract-verification

Repository files navigation

2020-06-10

End-to-End Formal Verification of Ethereum 2.0 Deposit Contract

This provides the artifact of our end-to-end formal verification of the Ethereum 2.0 deposit contract written in Solidity.

[NOTE: The deposit contract had initially been written in Vyper, but later it was reimplemented in Solidity. The formal verification of the initial Vyper implementation can be found at here].

Documents:

Verification artifacts:

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published