my first thought for pixel animation would be to just hand-animate it in 1080p how I usually do, without any anti-aliasing, then downscale it to whatever the sprite size is supposed to be

though ive never worked with pixel art animation so idk the exact details