jq.bitvm