In a quick update to the community, Ethereum 2.0 developer Danny Ryan provided an outline of the progress made toward eth2 development and the optimization improvements made over the last few weeks. Advertisements He spoke about the recently completed audit and formal verification of the eth2 deposit contract bytecode by Runtime Verification, and how it […]