Самая распространенная - покадровая.
Просто как в мультфильмах.
Форматы с поддержкой анимации - не нужны.
Так как если анимация связана с определенными действиями - он кадры должны сменяться не как попало, а по определенной логики.
Если же кадры должны просто сменяться подряд - вполне достаточно и зацикленного видео.
Но чаще всего используют просто один большой файл, в который вкраплены кадры.