collaborators

1 paper

cs.LO2023

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny

Franck Cassez, Joanne Fuller, Milad K. Ghale +2

The Ethereum protocol implements a replicated state machine. The network participants keep track of the system state by: 1) agreeing on the sequence of transactions to be processed…