Comment by throw567643u8

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