bitml-compiler

Compiles BitML smart contracts to Bitcoin transactions.

BitML is a high-level language used to specify Bitcoin smart contracts, abstracting from transactions. More at https://eprint.iacr.org/2018/122.pdf

Installation

git clone https://github.com/bitml-lang/bitml-compiler.git
cd bitml-compiler
./install.sh

After the installation, you have to logout and login again.