What format should I use for my video proxy files?

CatDV Pro and Akomi are very flexible. Here's an article on some proxy selection guidelines.