Blockchain, Dsls, Game Theory, Safety, Correctness.
for each command. For (Ethereum-style) smart contracts, an obvious context argument is the sender of a message; this allows the contract to make decisions about the validity of a command and also to ensure that the sender’s account pays the transaction fees. We are now ready to look at the next