I suspect that hardware encoding is involved. Maybe upcoming pixel phones will feature a previously unknown hardware encoder? It would make lots of sense, especially for storing videos made with the camera.