&gt; 1. Gas mechanism has nothing to do with tamper-proofing transactions, thats what blockchain (or more correctly hashchain) is for.<p>I am not sure why you are mentioning this here, but if this is what you think I am misunderstanding about gas, perhaps you could point out where you think I made this mistake.<p>&gt;2. There are Turing-complete languages which only allow loops with known number of iterations.<p>You did not originally write &quot;loops with known number of iterations&quot;, you wrote &quot;disallowing jumps backwards &#x2F; loops&quot;.<p>&gt; 3. Check my presentation, If you want to understand Ethereum programming model.<p>Based on your contributions to this thread so far, I am not very confident that I will find my specific question addressed, but if you give me a specific slide number to start at, I will give it a look.<p>BTW, do you have an answer to the question I posed in the second paragraph of my previous post?