Blockchain technology relies on smart contracts in the developing field of decentralized systems to manage state transitions, automate enforceable agreements, and facilitate multi-party interactions with low assumptions of trust. Smart contract development has developed into a rigorous field that combines formal methods, economic modeling, and runtime protections for blockchain protocol...