I did some testing with the 3 main AV1 encoders with gifs (avif). They’re pretty good. But not as good as jpeg xl but currently basically only Safari supports it.
For most “normie” use cases, I’d recommend cloudflares image transforms which are available on free tier. I actually wrote a small Jekyll plugin for my site to auto prefix images with their transform. Idk why but shipping optimized images is just one of those things that tickles me!