@keep-network/tbtc-v2 1.6.0-dev.21 → 1.6.0-dev.22

package/export/artifacts/contracts/relay/LightRelay.sol/LightRelay.json

@@ -582,15 +582,15 @@
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@authorizationRequired_39516": {
+        "@authorizationRequired_39483": {
           "entryPoint": null,
-          "id": 39516,
+          "id": 39483,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@authorize_39729": {
+        "@authorize_39696": {
           "entryPoint": 5305,
-          "id": 39729,
+          "id": 39696,
           "parameterSlots": 1,
           "returnSlots": 0
         },
@@ -600,15 +600,15 @@
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@currentEpoch_39522": {
+        "@currentEpoch_39489": {
           "entryPoint": null,
-          "id": 39522,
+          "id": 39489,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@deauthorize_39748": {
+        "@deauthorize_39715": {
           "entryPoint": 2517,
-          "id": 39748,
+          "id": 39715,
           "parameterSlots": 1,
           "returnSlots": 0
         },
@@ -636,9 +636,9 @@
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@extractTimestampAt_39494": {
+        "@extractTimestampAt_39461": {
           "entryPoint": 5921,
-          "id": 39494,
+          "id": 39461,
           "parameterSlots": 2,
           "returnSlots": 1
         },
@@ -654,51 +654,51 @@
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@genesisEpoch_39520": {
+        "@genesisEpoch_39487": {
           "entryPoint": null,
-          "id": 39520,
+          "id": 39487,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@genesis_39653": {
+        "@genesis_39620": {
           "entryPoint": 2606,
-          "id": 39653,
+          "id": 39620,
           "parameterSlots": 4,
           "returnSlots": 0
         },
-        "@getBlockDifficulty_40224": {
+        "@getBlockDifficulty_40191": {
           "entryPoint": 883,
-          "id": 40224,
+          "id": 40191,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@getCurrentAndPrevEpochDifficulty_40278": {
+        "@getCurrentAndPrevEpochDifficulty_40245": {
           "entryPoint": null,
-          "id": 40278,
+          "id": 40245,
           "parameterSlots": 0,
           "returnSlots": 2
         },
-        "@getCurrentEpochDifficulty_40257": {
+        "@getCurrentEpochDifficulty_40224": {
           "entryPoint": null,
-          "id": 40257,
+          "id": 40224,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@getEpochDifficulty_40309": {
+        "@getEpochDifficulty_40276": {
           "entryPoint": 3575,
-          "id": 40309,
+          "id": 40276,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@getPrevEpochDifficulty_40266": {
+        "@getPrevEpochDifficulty_40233": {
           "entryPoint": null,
-          "id": 40266,
+          "id": 40233,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@getRelayRange_40248": {
+        "@getRelayRange_40215": {
           "entryPoint": 906,
-          "id": 40248,
+          "id": 40215,
           "parameterSlots": 0,
           "returnSlots": 2
         },
@@ -708,9 +708,9 @@
           "parameterSlots": 3,
           "returnSlots": 1
         },
-        "@isAuthorized_39535": {
+        "@isAuthorized_39502": {
           "entryPoint": null,
-          "id": 39535,
+          "id": 39502,
           "parameterSlots": 0,
           "returnSlots": 0
         },
@@ -726,15 +726,15 @@
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@proofLength_39518": {
+        "@proofLength_39485": {
           "entryPoint": null,
-          "id": 39518,
+          "id": 39485,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@ready_39514": {
+        "@ready_39481": {
           "entryPoint": null,
-          "id": 39514,
+          "id": 39481,
           "parameterSlots": 0,
           "returnSlots": 0
         },
@@ -750,9 +750,9 @@
           "parameterSlots": 3,
           "returnSlots": 1
         },
-        "@retarget_39980": {
+        "@retarget_39947": {
           "entryPoint": 3867,
-          "id": 39980,
+          "id": 39947,
           "parameterSlots": 1,
           "returnSlots": 0
         },
@@ -774,15 +774,15 @@
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@setAuthorizationStatus_39710": {
+        "@setAuthorizationStatus_39677": {
           "entryPoint": 5397,
-          "id": 39710,
+          "id": 39677,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@setProofLength_39693": {
+        "@setProofLength_39660": {
           "entryPoint": 2018,
-          "id": 39693,
+          "id": 39660,
           "parameterSlots": 1,
           "returnSlots": 0
         },
@@ -816,9 +816,9 @@
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@validateChain_40209": {
+        "@validateChain_40176": {
           "entryPoint": 1002,
-          "id": 40209,
+          "id": 40176,
           "parameterSlots": 1,
           "returnSlots": 2
         },
@@ -834,9 +834,9 @@
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "@validateHeader_40369": {
+        "@validateHeader_40336": {
           "entryPoint": 5705,
-          "id": 40369,
+          "id": 40336,
           "parameterSlots": 3,
           "returnSlots": 2
         },
@@ -11814,7 +11814,7 @@
         "type": "t_address"
       },
       {
-        "astId": 39514,
+        "astId": 39481,
         "contract": "contracts/relay/LightRelay.sol:LightRelay",
         "label": "ready",
         "offset": 20,
@@ -11822,7 +11822,7 @@
         "type": "t_bool"
       },
       {
-        "astId": 39516,
+        "astId": 39483,
         "contract": "contracts/relay/LightRelay.sol:LightRelay",
         "label": "authorizationRequired",
         "offset": 21,
@@ -11830,7 +11830,7 @@
         "type": "t_bool"
       },
       {
-        "astId": 39518,
+        "astId": 39485,
         "contract": "contracts/relay/LightRelay.sol:LightRelay",
         "label": "proofLength",
         "offset": 22,
@@ -11838,7 +11838,7 @@
         "type": "t_uint64"
       },
       {
-        "astId": 39520,
+        "astId": 39487,
         "contract": "contracts/relay/LightRelay.sol:LightRelay",
         "label": "genesisEpoch",
         "offset": 0,
@@ -11846,7 +11846,7 @@
         "type": "t_uint64"
       },
       {
-        "astId": 39522,
+        "astId": 39489,
         "contract": "contracts/relay/LightRelay.sol:LightRelay",
         "label": "currentEpoch",
         "offset": 8,
@@ -11854,7 +11854,7 @@
         "type": "t_uint64"
       },
       {
-        "astId": 39524,
+        "astId": 39491,
         "contract": "contracts/relay/LightRelay.sol:LightRelay",
         "label": "currentEpochDifficulty",
         "offset": 0,
@@ -11862,7 +11862,7 @@
         "type": "t_uint256"
       },
       {
-        "astId": 39526,
+        "astId": 39493,
         "contract": "contracts/relay/LightRelay.sol:LightRelay",
         "label": "prevEpochDifficulty",
         "offset": 0,
@@ -11870,15 +11870,15 @@
         "type": "t_uint256"
       },
       {
-        "astId": 39531,
+        "astId": 39498,
         "contract": "contracts/relay/LightRelay.sol:LightRelay",
         "label": "epochs",
         "offset": 0,
         "slot": "4",
-        "type": "t_mapping(t_uint256,t_struct(Epoch)39403_storage)"
+        "type": "t_mapping(t_uint256,t_struct(Epoch)39370_storage)"
       },
       {
-        "astId": 39535,
+        "astId": 39502,
         "contract": "contracts/relay/LightRelay.sol:LightRelay",
         "label": "isAuthorized",
         "offset": 0,
@@ -11904,19 +11904,19 @@
         "numberOfBytes": "32",
         "value": "t_bool"
       },
-      "t_mapping(t_uint256,t_struct(Epoch)39403_storage)": {
+      "t_mapping(t_uint256,t_struct(Epoch)39370_storage)": {
         "encoding": "mapping",
         "key": "t_uint256",
         "label": "mapping(uint256 => struct Epoch)",
         "numberOfBytes": "32",
-        "value": "t_struct(Epoch)39403_storage"
+        "value": "t_struct(Epoch)39370_storage"
       },
-      "t_struct(Epoch)39403_storage": {
+      "t_struct(Epoch)39370_storage": {
         "encoding": "inplace",
         "label": "struct Epoch",
         "members": [
           {
-            "astId": 39400,
+            "astId": 39367,
             "contract": "contracts/relay/LightRelay.sol:LightRelay",
             "label": "timestamp",
             "offset": 0,
@@ -11924,7 +11924,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 39402,
+            "astId": 39369,
             "contract": "contracts/relay/LightRelay.sol:LightRelay",
             "label": "target",
             "offset": 4,

package/export/artifacts/contracts/relay/LightRelayMaintainerProxy.sol/LightRelayMaintainerProxy.json

@@ -330,9 +330,9 @@
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@_40482": {
+        "@_40449": {
           "entryPoint": null,
-          "id": 40482,
+          "id": 40449,
           "parameterSlots": 2,
           "returnSlots": 0
         },
@@ -348,7 +348,7 @@
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "abi_decode_tuple_t_contract$_ILightRelay_$39467t_contract$_ReimbursementPool_$8823_fromMemory": {
+        "abi_decode_tuple_t_contract$_ILightRelay_$39434t_contract$_ReimbursementPool_$8823_fromMemory": {
           "entryPoint": 424,
           "id": null,
           "parameterSlots": 2,
@@ -759,7 +759,7 @@
                     }
                   ]
                 },
-                "name": "abi_decode_tuple_t_contract$_ILightRelay_$39467t_contract$_ReimbursementPool_$8823_fromMemory",
+                "name": "abi_decode_tuple_t_contract$_ILightRelay_$39434t_contract$_ReimbursementPool_$8823_fromMemory",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -1243,7 +1243,7 @@
               }
             ]
           },
-          "contents": "{\n    { }\n    function validator_revert_contract_ILightRelay(value)\n    {\n        if iszero(eq(value, and(value, sub(shl(160, 1), 1)))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_contract$_ILightRelay_$39467t_contract$_ReimbursementPool_$8823_fromMemory(headStart, dataEnd) -> value0, value1\n    {\n        if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n        let value := mload(headStart)\n        validator_revert_contract_ILightRelay(value)\n        value0 := value\n        let value_1 := mload(add(headStart, 32))\n        validator_revert_contract_ILightRelay(value_1)\n        value1 := value_1\n    }\n    function abi_encode_tuple_t_stringliteral_9184c42fea4b2180a5ec42de0bb5f85bf68de076879fda7f33562ad2856d51dd__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 36)\n        mstore(add(headStart, 64), \"Light relay must not be zero add\")\n        mstore(add(headStart, 96), \"ress\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_53af2f9d04a51d6f9dac4587984ecc44f9fb05edb8b67bafc213485d10b40e89__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 43)\n        mstore(add(headStart, 64), \"Reimbursement pool must not be z\")\n        mstore(add(headStart, 96), \"ero address\")\n        tail := add(headStart, 128)\n    }\n}",
+          "contents": "{\n    { }\n    function validator_revert_contract_ILightRelay(value)\n    {\n        if iszero(eq(value, and(value, sub(shl(160, 1), 1)))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_contract$_ILightRelay_$39434t_contract$_ReimbursementPool_$8823_fromMemory(headStart, dataEnd) -> value0, value1\n    {\n        if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n        let value := mload(headStart)\n        validator_revert_contract_ILightRelay(value)\n        value0 := value\n        let value_1 := mload(add(headStart, 32))\n        validator_revert_contract_ILightRelay(value_1)\n        value1 := value_1\n    }\n    function abi_encode_tuple_t_stringliteral_9184c42fea4b2180a5ec42de0bb5f85bf68de076879fda7f33562ad2856d51dd__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 36)\n        mstore(add(headStart, 64), \"Light relay must not be zero add\")\n        mstore(add(headStart, 96), \"ress\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_53af2f9d04a51d6f9dac4587984ecc44f9fb05edb8b67bafc213485d10b40e89__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 43)\n        mstore(add(headStart, 64), \"Reimbursement pool must not be z\")\n        mstore(add(headStart, 96), \"ero address\")\n        tail := add(headStart, 128)\n    }\n}",
           "id": 130,
           "language": "Yul",
           "name": "#utility.yul"
@@ -1273,27 +1273,27 @@
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@authorize_40543": {
+        "@authorize_40510": {
           "entryPoint": 1624,
-          "id": 40543,
+          "id": 40510,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@deauthorize_40569": {
+        "@deauthorize_40536": {
           "entryPoint": 529,
-          "id": 40569,
+          "id": 40536,
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@isAuthorized_40389": {
+        "@isAuthorized_40356": {
           "entryPoint": null,
-          "id": 40389,
+          "id": 40356,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@lightRelay_40384": {
+        "@lightRelay_40351": {
           "entryPoint": null,
-          "id": 40384,
+          "id": 40351,
           "parameterSlots": 0,
           "returnSlots": 0
         },
@@ -1315,15 +1315,15 @@
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@retargetGasOffset_40392": {
+        "@retargetGasOffset_40359": {
           "entryPoint": null,
-          "id": 40392,
+          "id": 40359,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@retarget_40620": {
+        "@retarget_40587": {
           "entryPoint": 951,
-          "id": 40620,
+          "id": 40587,
           "parameterSlots": 1,
           "returnSlots": 0
         },
@@ -1333,9 +1333,9 @@
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@updateLightRelay_40516": {
+        "@updateLightRelay_40483": {
           "entryPoint": 1333,
-          "id": 40516,
+          "id": 40483,
           "parameterSlots": 1,
           "returnSlots": 0
         },
@@ -1345,9 +1345,9 @@
           "parameterSlots": 1,
           "returnSlots": 0
         },
-        "@updateRetargetGasOffset_40586": {
+        "@updateRetargetGasOffset_40553": {
           "entryPoint": 1563,
-          "id": 40586,
+          "id": 40553,
           "parameterSlots": 1,
           "returnSlots": 0
         },
@@ -1363,7 +1363,7 @@
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "abi_decode_tuple_t_contract$_ILightRelay_$39467": {
+        "abi_decode_tuple_t_contract$_ILightRelay_$39434": {
           "entryPoint": null,
           "id": null,
           "parameterSlots": 2,
@@ -1399,7 +1399,7 @@
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "abi_encode_tuple_t_contract$_ILightRelay_$39467__to_t_address__fromStack_reversed": {
+        "abi_encode_tuple_t_contract$_ILightRelay_$39434__to_t_address__fromStack_reversed": {
           "entryPoint": null,
           "id": null,
           "parameterSlots": 2,
@@ -3179,7 +3179,7 @@
                     }
                   ]
                 },
-                "name": "abi_encode_tuple_t_contract$_ILightRelay_$39467__to_t_address__fromStack_reversed",
+                "name": "abi_encode_tuple_t_contract$_ILightRelay_$39434__to_t_address__fromStack_reversed",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -3464,7 +3464,7 @@
                     }
                   ]
                 },
-                "name": "abi_decode_tuple_t_contract$_ILightRelay_$39467",
+                "name": "abi_decode_tuple_t_contract$_ILightRelay_$39434",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -6175,7 +6175,7 @@
               }
             ]
           },
-          "contents": "{\n    { }\n    function validator_revert_address(value)\n    {\n        if iszero(eq(value, and(value, 0xffffffffffffffffffffffffffffffffffffffff))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_address(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_address(value)\n        value0 := value\n    }\n    function abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, value0)\n    }\n    function abi_decode_tuple_t_contract$_ReimbursementPool_$8823(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_address(value)\n        value0 := value\n    }\n    function panic_error_0x41()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x41)\n        revert(0, 0x24)\n    }\n    function abi_decode_tuple_t_bytes_memory_ptr(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let offset := calldataload(headStart)\n        let _1 := 0xffffffffffffffff\n        if gt(offset, _1) { revert(0, 0) }\n        let _2 := add(headStart, offset)\n        if iszero(slt(add(_2, 0x1f), dataEnd)) { revert(0, 0) }\n        let _3 := calldataload(_2)\n        if gt(_3, _1) { panic_error_0x41() }\n        let _4 := not(31)\n        let memPtr := mload(64)\n        let newFreePtr := add(memPtr, and(add(and(add(_3, 0x1f), _4), 63), _4))\n        if or(gt(newFreePtr, _1), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n        mstore(64, newFreePtr)\n        mstore(memPtr, _3)\n        if gt(add(add(_2, _3), 32), dataEnd) { revert(0, 0) }\n        calldatacopy(add(memPtr, 32), add(_2, 32), _3)\n        mstore(add(add(memPtr, _3), 32), 0)\n        value0 := memPtr\n    }\n    function abi_encode_tuple_t_contract$_ILightRelay_$39467__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_encode_tuple_t_address__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_decode_tuple_t_contract$_ILightRelay_$39467(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_address(value)\n        value0 := value\n    }\n    function abi_decode_tuple_t_uint256(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        value0 := calldataload(headStart)\n    }\n    function abi_encode_tuple_t_contract$_ReimbursementPool_$8823__to_t_address_payable__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_encode_tuple_t_bool__to_t_bool__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, iszero(iszero(value0)))\n    }\n    function abi_encode_tuple_t_stringliteral_ababe48b3c7981d22b7d0e57c1e3e0c7292bdedcfe9ed7dfa48fd91d5a310e85__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 28)\n        mstore(add(headStart, 64), \"Maintainer is not authorized\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_15ed5034391ed5ef65b8bb8dbcb08f9b6c4034ebcf89f76344a17e1651e92b33__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 23)\n        mstore(add(headStart, 64), \"Caller is not the owner\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_9e5d6ee1ae898a2df1a30570594add9e68ad8b6af4a57d7f5f0cb2842bacfb92__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 24)\n        mstore(add(headStart, 64), \"Caller is not authorized\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_bytes_memory_ptr__to_t_bytes_memory_ptr__fromStack_reversed(headStart, value0) -> tail\n    {\n        let _1 := 32\n        mstore(headStart, _1)\n        let length := mload(value0)\n        mstore(add(headStart, _1), length)\n        let i := 0\n        for { } lt(i, length) { i := add(i, _1) }\n        {\n            mstore(add(add(headStart, i), 64), mload(add(add(value0, i), _1)))\n        }\n        mstore(add(add(headStart, length), 64), 0)\n        tail := add(add(headStart, and(add(length, 31), not(31))), 64)\n    }\n    function panic_error_0x11()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x11)\n        revert(0, 0x24)\n    }\n    function checked_sub_t_uint256(x, y) -> diff\n    {\n        diff := sub(x, y)\n        if gt(diff, x) { panic_error_0x11() }\n    }\n    function checked_add_t_uint256(x, y) -> sum\n    {\n        sum := add(x, y)\n        if gt(x, sum) { panic_error_0x11() }\n    }\n    function abi_encode_tuple_t_uint256_t_address__to_t_uint256_t_address__fromStack_reversed(headStart, value1, value0) -> tail\n    {\n        tail := add(headStart, 64)\n        mstore(headStart, value0)\n        mstore(add(headStart, 32), and(value1, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_encode_tuple_t_stringliteral_3ade6caacac30fae5941348f649bf7a87bba2f33cc22208c125fe4ec3e1dcc41__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 40)\n        mstore(add(headStart, 64), \"New light relay must not be zero\")\n        mstore(add(headStart, 96), \" address\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_6e213384ee0ef17a7783f2f2b1223616d3ebcb958ac7ff3a36699c8d77bd8a6b__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 32)\n        mstore(add(headStart, 64), \"Maintainer is already authorized\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_245f15ff17f551913a7a18385165551503906a406f905ac1c2437281a7cd0cfe__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 38)\n        mstore(add(headStart, 64), \"Ownable: new owner is the zero a\")\n        mstore(add(headStart, 96), \"ddress\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_9924ebdf1add33d25d4ef888e16131f0a5687b0580a36c21b5c301a6c462effe__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 32)\n        mstore(add(headStart, 64), \"Ownable: caller is not the owner\")\n        tail := add(headStart, 96)\n    }\n}",
+          "contents": "{\n    { }\n    function validator_revert_address(value)\n    {\n        if iszero(eq(value, and(value, 0xffffffffffffffffffffffffffffffffffffffff))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_address(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_address(value)\n        value0 := value\n    }\n    function abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, value0)\n    }\n    function abi_decode_tuple_t_contract$_ReimbursementPool_$8823(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_address(value)\n        value0 := value\n    }\n    function panic_error_0x41()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x41)\n        revert(0, 0x24)\n    }\n    function abi_decode_tuple_t_bytes_memory_ptr(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let offset := calldataload(headStart)\n        let _1 := 0xffffffffffffffff\n        if gt(offset, _1) { revert(0, 0) }\n        let _2 := add(headStart, offset)\n        if iszero(slt(add(_2, 0x1f), dataEnd)) { revert(0, 0) }\n        let _3 := calldataload(_2)\n        if gt(_3, _1) { panic_error_0x41() }\n        let _4 := not(31)\n        let memPtr := mload(64)\n        let newFreePtr := add(memPtr, and(add(and(add(_3, 0x1f), _4), 63), _4))\n        if or(gt(newFreePtr, _1), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n        mstore(64, newFreePtr)\n        mstore(memPtr, _3)\n        if gt(add(add(_2, _3), 32), dataEnd) { revert(0, 0) }\n        calldatacopy(add(memPtr, 32), add(_2, 32), _3)\n        mstore(add(add(memPtr, _3), 32), 0)\n        value0 := memPtr\n    }\n    function abi_encode_tuple_t_contract$_ILightRelay_$39434__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_encode_tuple_t_address__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_decode_tuple_t_contract$_ILightRelay_$39434(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_address(value)\n        value0 := value\n    }\n    function abi_decode_tuple_t_uint256(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        value0 := calldataload(headStart)\n    }\n    function abi_encode_tuple_t_contract$_ReimbursementPool_$8823__to_t_address_payable__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_encode_tuple_t_bool__to_t_bool__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, iszero(iszero(value0)))\n    }\n    function abi_encode_tuple_t_stringliteral_ababe48b3c7981d22b7d0e57c1e3e0c7292bdedcfe9ed7dfa48fd91d5a310e85__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 28)\n        mstore(add(headStart, 64), \"Maintainer is not authorized\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_15ed5034391ed5ef65b8bb8dbcb08f9b6c4034ebcf89f76344a17e1651e92b33__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 23)\n        mstore(add(headStart, 64), \"Caller is not the owner\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_9e5d6ee1ae898a2df1a30570594add9e68ad8b6af4a57d7f5f0cb2842bacfb92__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 24)\n        mstore(add(headStart, 64), \"Caller is not authorized\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_bytes_memory_ptr__to_t_bytes_memory_ptr__fromStack_reversed(headStart, value0) -> tail\n    {\n        let _1 := 32\n        mstore(headStart, _1)\n        let length := mload(value0)\n        mstore(add(headStart, _1), length)\n        let i := 0\n        for { } lt(i, length) { i := add(i, _1) }\n        {\n            mstore(add(add(headStart, i), 64), mload(add(add(value0, i), _1)))\n        }\n        mstore(add(add(headStart, length), 64), 0)\n        tail := add(add(headStart, and(add(length, 31), not(31))), 64)\n    }\n    function panic_error_0x11()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x11)\n        revert(0, 0x24)\n    }\n    function checked_sub_t_uint256(x, y) -> diff\n    {\n        diff := sub(x, y)\n        if gt(diff, x) { panic_error_0x11() }\n    }\n    function checked_add_t_uint256(x, y) -> sum\n    {\n        sum := add(x, y)\n        if gt(x, sum) { panic_error_0x11() }\n    }\n    function abi_encode_tuple_t_uint256_t_address__to_t_uint256_t_address__fromStack_reversed(headStart, value1, value0) -> tail\n    {\n        tail := add(headStart, 64)\n        mstore(headStart, value0)\n        mstore(add(headStart, 32), and(value1, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function abi_encode_tuple_t_stringliteral_3ade6caacac30fae5941348f649bf7a87bba2f33cc22208c125fe4ec3e1dcc41__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 40)\n        mstore(add(headStart, 64), \"New light relay must not be zero\")\n        mstore(add(headStart, 96), \" address\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_6e213384ee0ef17a7783f2f2b1223616d3ebcb958ac7ff3a36699c8d77bd8a6b__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 32)\n        mstore(add(headStart, 64), \"Maintainer is already authorized\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_245f15ff17f551913a7a18385165551503906a406f905ac1c2437281a7cd0cfe__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 38)\n        mstore(add(headStart, 64), \"Ownable: new owner is the zero a\")\n        mstore(add(headStart, 96), \"ddress\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_9924ebdf1add33d25d4ef888e16131f0a5687b0580a36c21b5c301a6c462effe__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 32)\n        mstore(add(headStart, 64), \"Ownable: caller is not the owner\")\n        tail := add(headStart, 96)\n    }\n}",
           "id": 130,
           "language": "Yul",
           "name": "#utility.yul"
@@ -6252,15 +6252,15 @@
         "type": "t_array(t_uint256)49_storage"
       },
       {
-        "astId": 40384,
+        "astId": 40351,
         "contract": "contracts/relay/LightRelayMaintainerProxy.sol:LightRelayMaintainerProxy",
         "label": "lightRelay",
         "offset": 0,
         "slot": "51",
-        "type": "t_contract(ILightRelay)39467"
+        "type": "t_contract(ILightRelay)39434"
       },
       {
-        "astId": 40389,
+        "astId": 40356,
         "contract": "contracts/relay/LightRelayMaintainerProxy.sol:LightRelayMaintainerProxy",
         "label": "isAuthorized",
         "offset": 0,
@@ -6268,7 +6268,7 @@
         "type": "t_mapping(t_address,t_bool)"
       },
       {
-        "astId": 40392,
+        "astId": 40359,
         "contract": "contracts/relay/LightRelayMaintainerProxy.sol:LightRelayMaintainerProxy",
         "label": "retargetGasOffset",
         "offset": 0,
@@ -6293,7 +6293,7 @@
         "label": "bool",
         "numberOfBytes": "1"
       },
-      "t_contract(ILightRelay)39467": {
+      "t_contract(ILightRelay)39434": {
         "encoding": "inplace",
         "label": "contract ILightRelay",
         "numberOfBytes": "20"

package/export/artifacts/contracts/test/BankStub.sol/BankStub.json

@@ -1218,9 +1218,9 @@
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@setBalance_40640": {
+        "@setBalance_40607": {
           "entryPoint": null,
-          "id": 40640,
+          "id": 40607,
           "parameterSlots": 2,
           "returnSlots": 0
         },