Comment by xyzsparetimexyz

Yeah but how am I meant to verify that the proof is proving what it says it is?