Upcoming paper: SoK: unraveling Bitcoin smart contracts