[mannykannot]

I don't think you have ever read the entire thread here. It was drdeca who first introduced gas into the discussion, apparently suggesting that it somehow either solved, or at least mitigated, the verification problem (he was vague about exactly how he thought it helped), and it was I who responded that it made no fundamental difference. The whole point of the example was to demonstrate that gas does not materially simplify the verification problem.

You appear to have replied to the wrong person in your first post in this thread. Did you mean to say that @drdeca, not @mannykannot, misunderstands the purpose of gas?