[ecocentrik]

Not only can you verify the code, you can verify that the code and the output wasn't modified during execution by some external actor.