If I had to guess, the AV1 encoding is being done server-side. AFAIK no phone has a hardware AV1 encoder (or decoder for that matter). The bitrate is low enough that a software decoder is likely fast enough.