https://bitsday.com/bitvm-transforming-bitcoin-contracts