Eu tenho um PNG animado que tem cerca de 150 KB. São 24 quadros. Se eu executá-lo através de um otimizador PNG típico como ImageOptim ou Squash, ele se transforma em um PNG não animado de 3 KB e um quadro.
Tenho certeza de que o PNG animado pode/deve ser muito menor que 150KB, mas não conheço nenhuma ferramenta que possa otimizar um PNG animado. Você?
A ferramenta deve funcionar em um Mac ou online, para meus propósitos.
Pessoalmente eu recomendo TinyPNG , estou satisfeito com os resultados e recentemente eles adicionaram suporte para aPNGs.