For flash, the obvious choice is flv format, and from what I've read here it now seems you can use animated GIF's as a alturl on iOS.
If you don't use the flash based video plugin, are other video formats supported on iOS devices?
Do you need to use a java based "box" to bypass any limits?
cheers,
Robert