Write Bitcoin smart contracts in a modern high-level programming language.