Video file sizes are actually getting smaller all the time, but when filming we don’t save a neatly compressed video file. On-the-fly compression and encoding would help a ton in reducing camera video files, but is very expensive at the moment CPU-wise.