Smart contracts are often described as self-executing programs on a blockchain, but in production they…