Comment by dusted

I don't understand how the "proof" part works, like, what part of the input to the "proof generation" algorithm is so inherently tied to the real world that one cannot feed it "fake" data ?