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