This release contains the Dafny verified code for a large subset of the Eth2.0 specs' functions.
This project was started by ConsenSys R&D and was also supported by the Ethereum Foundation under grant FY20-285, Q4-2020.
See the README in the master branch for more details.