13 citations · 35 across the 16 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
Formal Verification of the Ethereum 2.0 Beacon Chain
Franck Cassez, Joanne Fuller, Aditya Asgaonkar
We report our experience in the formal verification of the reference implementation of the Beacon Chain. The Beacon Chain is the backbone component of the new Proof-of-Stake Ethere…
cs.LO2021
Verification of the Incremental Merkle Tree Algorithm with Dafny
Franck Cassez
The Deposit Smart Contract (DSC) is an instrumental component of the Ethereum 2.0 Phase 0 infrastructure. We have developed the first machine-checkable version of the incremental M…