Comment by bravura

Question: Is the computational cost of verifying the proof significantly less than the computational cost of creating the proof?