Bitvm doesn't outsource ZK into some opcode. Also catvm requires soft work while bitvm merely benefit from it.