Right now we write only 800 bytes of the proof per record to be safe, but we could derive the maximal size instead