Abstract: Blockchains increasingly enable decentralized and trustworthy service execution. Smart contracts, i.e., self-executing programs on the blockchain, are essential for automating services. Yet, ...