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