No, MP4/gif file compression using a tool like ezgif or Handbrake 🤙

You still end up with an MP4 or a gif, just smaller (maybe lower quality depending how much smaller)