Yes, bitcoinos like other recent rollups, uses bitVM to emulate the multiplication and transaction introspection opcodes, it becomes a lot more efficient when we have this natively in Bitcoin.