Eth2 Deposit Contract:Verification of the Incremental Merkle Tree Alg with Dafny

Online · 26 May 2021

Hosted by Ethereum Engineering Group.

0 talks