Side question: What tool are they using to get "resolution independent" zoom on the video? I noticed the UI stayed crisp on zoom and had me wondering. (I don't

Side question: What tool are they using to get "resolution independent" zoom on the video? I noticed the UI stayed crisp on zoom and had me wondering. (I don't do video work so maybe it's common in AE)