Nicola Atzei

Developing secure bitcoin contracts with BitML

2019

We present a toolchain for developing and verifying smart contracts that can be executed on Bitcoin. The toolchain is based on BitML, a recent domain-specific language for smart contracts with a computationally sound embedding into …