With the size of the proof object, a potential buffer overflow comes to mind.