I wonder if one could use aggregate signatures like this
instead of SNARKS/STARKS. You could theoretically split the file into many small pieces, sign each piece to get lots of signatures, and then aggregate all signatures into one.
BTW in the proposal above one needs to to something about chunk ordering, it looks like one can reorder chunks without changing D …