Results for BitVM-style contracts