> But critically, some but not all of the code's actions are rolled back.
This is not true - the actions within the contract are rolled back. You do, however, lose the ether committed to paying the gas cost (cost of execution).
This is not true - the actions within the contract are rolled back. You do, however, lose the ether committed to paying the gas cost (cost of execution).
If a transaction triggers an exception, then:
* The value transfer from sender to recipient still takes place
* The fee transfer from sender to miner still takes place
* The entire STARTGAS is added to gas_used
* All other execution is reverted
Perhaps I am reading that wrong, the 'value transfer' is unclear now that you mention the gas cost. I read it as talking about actual transfers. Can anyone confirm?
THIS DOCUMENT HAS BEEN LAST UPDATED IN MARCH 2015 AND SOME SUBTLETIES HAVE CHANGED SINCE, ESPECIALLY CONCERNING REVERTING ETHER TRANSFERS IN CASE OF OUT-OF-GAS.
Based on my understanding, your bullet points are valid excluding the first one.