Possible Ether Destruction Scenario

1_possible_ether_destruction.md

Scenario

1. Contract A (0x41275dcfcf2a8c3edc94f87da477d38a2ca56390) is created in Block #5470416 and has a balance of 0 Ether.

2. Contract B (0x32fc1ad1de149a3c9e0bf4aff2989f699eaae30f) is created by Contract A in Block #5470419 and within the same transaction the following occurs:

   • Contract A calls Contract B with 0.1 Ether.
   • Contract B calls itself with 0.1 Ether and in a sub call transfers 0.000000000001193046 Ether to a third address (0x30bc5920a76b483080523482d7fc2b64c9d5bd80)/
   • Contract B self destructs, refunding its balance of 0.099999999998806954 Ether to Contract A.
   • Contract A calls the now destroyed Contract B with 0.099999999998806954 Ether.

3. Contract A holds a balance of 0 Ether.

Expectation

The final call from Contract A to Contract B, after Contract B had self destructed, should have failed with the balance of 0.099999999998806954 Ether remaining with Contract A.

Outcome

It would appear the Ether in the final call from Contract A to Contract B has been 'destroyed', as it was neither assigned to Contract A nor Contract B.

Supporting evidence

Within this gist you will find some traces taken from Parity and a screenshot of the the scenario described taken from Etherscan.

etherscan_5470419_0x92a79cd94fb5b5efa216e893eab84accaf88217ab9ccbfcf880aa64ad7194156.png

parity_trace_5470416_0x13511f027bd3efaea40e4c8fcb37d1c14b58d249bf7592d2d9a128a01c3bda1e.json

{
  "jsonrpc": "2.0",
  "result": [
    {
      "action": {
        "from": "0x30bc5920a76b483080523482d7fc2b64c9d5bd80",
        "gas": "0x84e83",
        "init": "0x608060405234801561001057600080fd5b50604051610a0d380380610a0d8339810180604052604081101561003357600080fd5b81516020830180519193928301929164010000000081111561005457600080fd5b8201602081018481111561006757600080fd5b815164010000000081118282018710171561008157600080fd5b5050600080546001600160a01b0319166001600160a01b03871617905580519093506100b692506001915060208401906100be565b505050610159565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106100ff57805160ff191683800117855561012c565b8280016001018555821561012c579182015b8281111561012c578251825591602001919060010190610111565b5061013892915061013c565b5090565b61015691905b808211156101385760008155600101610142565b90565b6108a5806101686000396000f3fe6080604052600436106100555760003560e01c806309c5eabe1461005a57806394198df114610102578063984d024d1461018c578063b594fd46146101d2578063d9290af914610205578063f695c2e11461021a575b600080fd5b6101006004803603602081101561007057600080fd5b81019060208101813564010000000081111561008b57600080fd5b82018360208201111561009d57600080fd5b803590602001918460018302840111640100000000831117156100bf57600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295506102c7945050505050565b005b34801561010e57600080fd5b506101176102fd565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610151578181015183820152602001610139565b50505050905090810190601f16801561017e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561019857600080fd5b506101b6600480360360208110156101af57600080fd5b5035610391565b604080516001600160a01b039092168252519081900360200190f35b3480156101de57600080fd5b506101b6600480360360208110156101f557600080fd5b50356001600160a01b03166103a2565b34801561021157600080fd5b506101176103e8565b6101006004803603604081101561023057600080fd5b8135919081019060408101602082013564010000000081111561025257600080fd5b82018360208201111561026457600080fd5b8035906020019184600183028401116401000000008311171561028657600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295506103ed945050505050565b604080513360601b60208083019190915282518083036014018152603490920190925280519101206102fa90829061050c565b50565b60028054604080516020601f60001961010060018716150201909416859004938401819004810282018101909252828152606093909290918301828280156103865780601f1061035b57610100808354040283529160200191610386565b820191906000526020600020905b81548152906001019060200180831161036957829003601f168201915b505050505090505b90565b600061039c82610717565b92915050565b600061039c8260405160200180826001600160a01b03166001600160a01b031660601b815260140191505060405160208183030381529060405280519060200120610717565b606090565b6000805460408051600160e01b630178b8bf0281526004810186905290516001600160a01b0390921691630178b8bf91602480820192602092909190829003018186803b15801561043d57600080fd5b505afa158015610451573d6000803e3d6000fd5b505050506040513d602081101561046757600080fd5b505160408051600160e11b631d9dabef0281526004810186905290519192506000916001600160a01b03841691633b3b57de916024808301926020929190829003018186803b1580156104b957600080fd5b505afa1580156104cd573d6000803e3d6000fd5b505050506040513d60208110156104e357600080fd5b505190506001600160a01b03811633146104fc57600080fd5b610506838561050c565b50505050565b600054600160a01b900460ff161561052357600080fd5b60008054600160a01b60ff021916600160a01b179055815161054c9060029060208501906107e1565b5060018054604080516020601f600260001961010087891615020190951694909404938401819004810282018101909252828152606093909290918301828280156105d85780601f106105ad576101008083540402835291602001916105d8565b820191906000526020600020905b8154815290600101906020018083116105bb57829003601f168201915b5050505050905060003490506000806000858551602087016000f5604080516001600160a01b038316815260016020820152823b81830181905291519295509093507f540bcec33387745b2ced30977dcfe4a623a245511eb0a133989c27c8bb95b4a9919081900360600190a16000806001600087875af1604080516001600160a01b038616815260208101839052853b81830181905291519194509192507f540bcec33387745b2ced30977dcfe4a623a245511eb0a133989c27c8bb95b4a99181900360600190a1600080600260003031875af1604080516001600160a01b038616815260208101839052853b81830181905291519194509192507f540bcec33387745b2ced30977dcfe4a623a245511eb0a133989c27c8bb95b4a99181900360600190a1505060008054600160a01b60ff02191690555050505050565b60008060ff90506000600160405160200180828054600181600116156101000203166002900480156107805780601f1061075e576101008083540402835291820191610780565b820191906000526020600020905b81548152906001019060200180831161076c575b505060408051808303601f19018152828252805160209182012060ff9790971660f81b818401523060601b60218401526035830198909852605580830196909652805180830390960186526075909101905250508151919093012092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061082257805160ff191683800117855561084f565b8280016001018555821561084f579182015b8281111561084f578251825591602001919060010190610834565b5061085b92915061085f565b5090565b61038e91905b8082111561085b576000815560010161086556fea165627a7a723058207ba3c01d60197c81b337795c2fbbeb16ad8023d7e4a29d1538acc63c4505ea9f0029000000000000000000000000112234455c3a32fd11230c42e7bccd4a84e02010000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000476394198df16000526103ff60206004601c335afa60236040510160236024603d39603df36000361460225760023614601c57600060006000600034305af133ff5b60006000f35b00000000000000000000000000000000000000000000000000",
        "value": "0x0"
      },
      "blockHash": "0x94bb8689925d4b5aa214abd572f33be31fc7f6f1d6efbde20e6fab6f15962370",
      "blockNumber": 5470416,
      "result": {
        "address": "0x41275dcfcf2a8c3edc94f87da477d38a2ca56390",
        "code": "0x6080604052600436106100555760003560e01c806309c5eabe1461005a57806394198df114610102578063984d024d1461018c578063b594fd46146101d2578063d9290af914610205578063f695c2e11461021a575b600080fd5b6101006004803603602081101561007057600080fd5b81019060208101813564010000000081111561008b57600080fd5b82018360208201111561009d57600080fd5b803590602001918460018302840111640100000000831117156100bf57600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295506102c7945050505050565b005b34801561010e57600080fd5b506101176102fd565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610151578181015183820152602001610139565b50505050905090810190601f16801561017e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561019857600080fd5b506101b6600480360360208110156101af57600080fd5b5035610391565b604080516001600160a01b039092168252519081900360200190f35b3480156101de57600080fd5b506101b6600480360360208110156101f557600080fd5b50356001600160a01b03166103a2565b34801561021157600080fd5b506101176103e8565b6101006004803603604081101561023057600080fd5b8135919081019060408101602082013564010000000081111561025257600080fd5b82018360208201111561026457600080fd5b8035906020019184600183028401116401000000008311171561028657600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295506103ed945050505050565b604080513360601b60208083019190915282518083036014018152603490920190925280519101206102fa90829061050c565b50565b60028054604080516020601f60001961010060018716150201909416859004938401819004810282018101909252828152606093909290918301828280156103865780601f1061035b57610100808354040283529160200191610386565b820191906000526020600020905b81548152906001019060200180831161036957829003601f168201915b505050505090505b90565b600061039c82610717565b92915050565b600061039c8260405160200180826001600160a01b03166001600160a01b031660601b815260140191505060405160208183030381529060405280519060200120610717565b606090565b6000805460408051600160e01b630178b8bf0281526004810186905290516001600160a01b0390921691630178b8bf91602480820192602092909190829003018186803b15801561043d57600080fd5b505afa158015610451573d6000803e3d6000fd5b505050506040513d602081101561046757600080fd5b505160408051600160e11b631d9dabef0281526004810186905290519192506000916001600160a01b03841691633b3b57de916024808301926020929190829003018186803b1580156104b957600080fd5b505afa1580156104cd573d6000803e3d6000fd5b505050506040513d60208110156104e357600080fd5b505190506001600160a01b03811633146104fc57600080fd5b610506838561050c565b50505050565b600054600160a01b900460ff161561052357600080fd5b60008054600160a01b60ff021916600160a01b179055815161054c9060029060208501906107e1565b5060018054604080516020601f600260001961010087891615020190951694909404938401819004810282018101909252828152606093909290918301828280156105d85780601f106105ad576101008083540402835291602001916105d8565b820191906000526020600020905b8154815290600101906020018083116105bb57829003601f168201915b5050505050905060003490506000806000858551602087016000f5604080516001600160a01b038316815260016020820152823b81830181905291519295509093507f540bcec33387745b2ced30977dcfe4a623a245511eb0a133989c27c8bb95b4a9919081900360600190a16000806001600087875af1604080516001600160a01b038616815260208101839052853b81830181905291519194509192507f540bcec33387745b2ced30977dcfe4a623a245511eb0a133989c27c8bb95b4a99181900360600190a1600080600260003031875af1604080516001600160a01b038616815260208101839052853b81830181905291519194509192507f540bcec33387745b2ced30977dcfe4a623a245511eb0a133989c27c8bb95b4a99181900360600190a1505060008054600160a01b60ff02191690555050505050565b60008060ff90506000600160405160200180828054600181600116156101000203166002900480156107805780601f1061075e576101008083540402835291820191610780565b820191906000526020600020905b81548152906001019060200180831161076c575b505060408051808303601f19018152828252805160209182012060ff9790971660f81b818401523060601b60218401526035830198909852605580830196909652805180830390960186526075909101905250508151919093012092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061082257805160ff191683800117855561084f565b8280016001018555821561084f579182015b8281111561084f578251825591602001919060010190610834565b5061085b92915061085f565b5090565b61038e91905b8082111561085b576000815560010161086556fea165627a7a723058207ba3c01d60197c81b337795c2fbbeb16ad8023d7e4a29d1538acc63c4505ea9f0029",
        "gasUsed": "0x84e83"
      },
      "subtraces": 0,
      "traceAddress": [],
      "transactionHash": "0x13511f027bd3efaea40e4c8fcb37d1c14b58d249bf7592d2d9a128a01c3bda1e",
      "transactionPosition": 31,
      "type": "create"
    }
  ],
  "id": 1
}

parity_trace_5470419_0x92a79cd94fb5b5efa216e893eab84accaf88217ab9ccbfcf880aa64ad7194156.json

{
  "jsonrpc": "2.0",
  "result": [
    {
      "action": {
        "callType": "call",
        "from": "0x30bc5920a76b483080523482d7fc2b64c9d5bd80",
        "gas": "0xee568",
        "input": "0x09c5eabe000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000236a48656c6c6f20576f726c6460005260206000a0600060006000600062123456325af10000000000000000000000000000000000000000000000000000000000",
        "to": "0x41275dcfcf2a8c3edc94f87da477d38a2ca56390",
        "value": "0x16345785d8a0000"
      },
      "blockHash": "0x2e3e24f827cfab50bef160a257d97dac4c7f352d5640c97e282278c148ccbb09",
      "blockNumber": 5470419,
      "result": {
        "gasUsed": "0x28399",
        "output": "0x"
      },
      "subtraces": 3,
      "traceAddress": [],
      "transactionHash": "0x92a79cd94fb5b5efa216e893eab84accaf88217ab9ccbfcf880aa64ad7194156",
      "transactionPosition": 41,
      "type": "call"
    },
    {
      "action": {
        "from": "0x41275dcfcf2a8c3edc94f87da477d38a2ca56390",
        "gas": "0xd28bc",
        "init": "0x6394198df16000526103ff60206004601c335afa60236040510160236024603d39603df36000361460225760023614601c57600060006000600034305af133ff5b60006000f35b",
        "value": "0x0"
      },
      "blockHash": "0x2e3e24f827cfab50bef160a257d97dac4c7f352d5640c97e282278c148ccbb09",
      "blockNumber": 5470419,
      "result": {
        "address": "0x32fc1ad1de149a3c9e0bf4aff2989f699eaae30f",
        "code": "0x6000361460225760023614601c57600060006000600034305af133ff5b60006000f35b6a48656c6c6f20576f726c6460005260206000a0600060006000600062123456325af1",
        "gasUsed": "0x4061"
      },
      "subtraces": 1,
      "traceAddress": [
        0
      ],
      "transactionHash": "0x92a79cd94fb5b5efa216e893eab84accaf88217ab9ccbfcf880aa64ad7194156",
      "transactionPosition": 41,
      "type": "create"
    },
    {
      "action": {
        "callType": "staticcall",
        "from": "0x32fc1ad1de149a3c9e0bf4aff2989f699eaae30f",
        "gas": "0xcf0ec",
        "input": "0x94198df1",
        "to": "0x41275dcfcf2a8c3edc94f87da477d38a2ca56390",
        "value": "0x0"
      },
      "blockHash": "0x2e3e24f827cfab50bef160a257d97dac4c7f352d5640c97e282278c148ccbb09",
      "blockNumber": 5470419,
      "result": {
        "gasUsed": "0x656",
        "output": "0x000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000236a48656c6c6f20576f726c6460005260206000a0600060006000600062123456325af10000000000000000000000000000000000000000000000000000000000"
      },
      "subtraces": 0,
      "traceAddress": [
        0,
        0
      ],
      "transactionHash": "0x92a79cd94fb5b5efa216e893eab84accaf88217ab9ccbfcf880aa64ad7194156",
      "transactionPosition": 41,
      "type": "call"
    },
    {
      "action": {
        "callType": "call",
        "from": "0x41275dcfcf2a8c3edc94f87da477d38a2ca56390",
        "gas": "0xcc3f1",
        "input": "0x00",
        "to": "0x32fc1ad1de149a3c9e0bf4aff2989f699eaae30f",
        "value": "0x16345785d8a0000"
      },
      "blockHash": "0x2e3e24f827cfab50bef160a257d97dac4c7f352d5640c97e282278c148ccbb09",
      "blockNumber": 5470419,
      "result": {
        "gasUsed": "0x5048",
        "output": "0x"
      },
      "subtraces": 2,
      "traceAddress": [
        1
      ],
      "transactionHash": "0x92a79cd94fb5b5efa216e893eab84accaf88217ab9ccbfcf880aa64ad7194156",
      "transactionPosition": 41,
      "type": "call"
    },
    {
      "action": {
        "callType": "call",
        "from": "0x32fc1ad1de149a3c9e0bf4aff2989f699eaae30f",
        "gas": "0xc7456",
        "input": "0x",
        "to": "0x32fc1ad1de149a3c9e0bf4aff2989f699eaae30f",
        "value": "0x16345785d8a0000"
      },
      "blockHash": "0x2e3e24f827cfab50bef160a257d97dac4c7f352d5640c97e282278c148ccbb09",
      "blockNumber": 5470419,
      "result": {
        "gasUsed": "0x1f9a",
        "output": "0x"
      },
      "subtraces": 1,
      "traceAddress": [
        1,
        0
      ],
      "transactionHash": "0x92a79cd94fb5b5efa216e893eab84accaf88217ab9ccbfcf880aa64ad7194156",
      "transactionPosition": 41,
      "type": "call"
    },
    {
      "action": {
        "callType": "call",
        "from": "0x32fc1ad1de149a3c9e0bf4aff2989f699eaae30f",
        "gas": "0xc238d",
        "input": "0x",
        "to": "0x30bc5920a76b483080523482d7fc2b64c9d5bd80",
        "value": "0x123456"
      },
      "blockHash": "0x2e3e24f827cfab50bef160a257d97dac4c7f352d5640c97e282278c148ccbb09",
      "blockNumber": 5470419,
      "result": {
        "gasUsed": "0x0",
        "output": "0x"
      },
      "subtraces": 0,
      "traceAddress": [
        1,
        0,
        0
      ],
      "transactionHash": "0x92a79cd94fb5b5efa216e893eab84accaf88217ab9ccbfcf880aa64ad7194156",
      "transactionPosition": 41,
      "type": "call"
    },
    {
      "action": {
        "address": "0x32fc1ad1de149a3c9e0bf4aff2989f699eaae30f",
        "balance": "0x16345785d77cbaa",
        "refundAddress": "0x41275dcfcf2a8c3edc94f87da477d38a2ca56390"
      },
      "blockHash": "0x2e3e24f827cfab50bef160a257d97dac4c7f352d5640c97e282278c148ccbb09",
      "blockNumber": 5470419,
      "result": null,
      "subtraces": 0,
      "traceAddress": [
        1,
        1
      ],
      "transactionHash": "0x92a79cd94fb5b5efa216e893eab84accaf88217ab9ccbfcf880aa64ad7194156",
      "transactionPosition": 41,
      "type": "suicide"
    },
    {
      "action": {
        "callType": "call",
        "from": "0x41275dcfcf2a8c3edc94f87da477d38a2ca56390",
        "gas": "0xc4ddb",
        "input": "0x0000",
        "to": "0x32fc1ad1de149a3c9e0bf4aff2989f699eaae30f",
        "value": "0x16345785d77cbaa"
      },
      "blockHash": "0x2e3e24f827cfab50bef160a257d97dac4c7f352d5640c97e282278c148ccbb09",
      "blockNumber": 5470419,
      "result": {
        "gasUsed": "0x31",
        "output": "0x"
      },
      "subtraces": 0,
      "traceAddress": [
        2
      ],
      "transactionHash": "0x92a79cd94fb5b5efa216e893eab84accaf88217ab9ccbfcf880aa64ad7194156",
      "transactionPosition": 41,
      "type": "call"
    }
  ],
  "id": 1
}