as.bitvm