Dwight Guth
YOU?
Author Swipe
IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics Open
Most languages are given an informal semantics until they are implemented, so the formal semantics comes later. Consequently, there are usually inconsistencies among the informal semantics, the implementation, and the formal semantics. IEL…
KEVM: A Complete Semantics of the Ethereum Virtual Machine Open
A developing field of interest for the distributed systems and applied cryptography community is that of smart contracts: self-executing financial instruments that synchronize their state, often through a blockchain. One such smart contrac…