Ethereum, the second-largest cryptocurrency valued at a peak of
$138 billion in 2018, is a decentralized, Turing-complete computing
platform. Although the stability and security of Ethereum—and
blockchain systems in general—have been widely-studied, most
analysis has focused on application level features of these systems
such as cryptographic mining challenges, smart contract semantics,
or block mining operators.
