AV1 files are roughly 1/30th of the size of equivalent GIFs! https://www.singhkays.com/blog/its-time-replace-gifs-with-av1-video/
miniblog.
Related Posts
Great introduction to the AV1 video codec, inter/intra frame compression, and exploiting correlations to save bytes: https://people.xiph.org/~xiphmont/demo/av1/demo1.shtml
The Xiph posts are always good with great explanatory diagrams/sample pictures.