@keep-network/tbtc-v2 1.7.0 → 1.7.1

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

@@ -106,9 +106,9 @@
   "evm": {
     "bytecode": {
       "functionDebugData": {
-        "@_45132": {
+        "@_45153": {
           "entryPoint": null,
-          "id": 45132,
+          "id": 45153,
           "parameterSlots": 1,
           "returnSlots": 0
         },
@@ -460,9 +460,9 @@
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "@evaluateProofDifficulty_25195": {
+        "@evaluateProofDifficulty_25168": {
           "entryPoint": 1806,
-          "id": 25195,
+          "id": 25168,
           "parameterSlots": 2,
           "returnSlots": 0
         },
@@ -622,15 +622,15 @@
           "parameterSlots": 3,
           "returnSlots": 1
         },
-        "@validateProof_25089": {
+        "@validateProof_25062": {
           "entryPoint": 135,
-          "id": 25089,
+          "id": 25062,
           "parameterSlots": 3,
           "returnSlots": 1
         },
-        "@validateProof_45151": {
+        "@validateProof_45172": {
           "entryPoint": 69,
-          "id": 45151,
+          "id": 45172,
           "parameterSlots": 2,
           "returnSlots": 0
         },
@@ -664,7 +664,7 @@
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "abi_decode_tuple_t_struct$_Info_$24946_calldata_ptrt_struct$_Proof_$24962_calldata_ptr": {
+        "abi_decode_tuple_t_struct$_Info_$24919_calldata_ptrt_struct$_Proof_$24935_calldata_ptr": {
           "entryPoint": 4619,
           "id": null,
           "parameterSlots": 2,
@@ -1408,7 +1408,7 @@
                     }
                   ]
                 },
-                "name": "abi_decode_tuple_t_struct$_Info_$24946_calldata_ptrt_struct$_Proof_$24962_calldata_ptr",
+                "name": "abi_decode_tuple_t_struct$_Info_$24919_calldata_ptrt_struct$_Proof_$24935_calldata_ptr",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -7564,7 +7564,7 @@
               }
             ]
           },
-          "contents": "{\n    { }\n    function abi_decode_tuple_t_struct$_Info_$24946_calldata_ptrt_struct$_Proof_$24962_calldata_ptr(headStart, dataEnd) -> value0, value1\n    {\n        if slt(sub(dataEnd, headStart), 64) { 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 slt(sub(dataEnd, _2), 128) { revert(0, 0) }\n        value0 := _2\n        let offset_1 := calldataload(add(headStart, 32))\n        if gt(offset_1, _1) { revert(0, 0) }\n        let _3 := add(headStart, offset_1)\n        if slt(sub(dataEnd, _3), 160) { revert(0, 0) }\n        value1 := _3\n    }\n    function abi_encode_tuple_t_bytes32__to_t_bytes32__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, value0)\n    }\n    function access_calldata_tail_t_bytes_calldata_ptr(base_ref, ptr_to_tail) -> addr, length\n    {\n        let rel_offset_of_tail := calldataload(ptr_to_tail)\n        if iszero(slt(rel_offset_of_tail, add(sub(calldatasize(), base_ref), not(30)))) { revert(0, 0) }\n        let addr_1 := add(base_ref, rel_offset_of_tail)\n        length := calldataload(addr_1)\n        if gt(length, 0xffffffffffffffff) { revert(0, 0) }\n        addr := add(addr_1, 0x20)\n        if sgt(addr, sub(calldatasize(), length)) { revert(0, 0) }\n    }\n    function abi_encode_tuple_t_stringliteral_81c08c8e2d7c21547c4bed90170b9e16eeb2a3aacfa343ab101969ebeb1e6351__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 29)\n        mstore(add(headStart, 64), \"Invalid input vector provided\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_b3d16879df223a9f9a961258257642c617d77f69e5955700bf02fedc1a87f73f__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 30)\n        mstore(add(headStart, 64), \"Invalid output vector provided\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_aaec45817286f1f887b5ed23ebed86915e72be86d8b09a6030de2197722ed0aa__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 47)\n        mstore(add(headStart, 64), \"Tx not on same level of merkle t\")\n        mstore(add(headStart, 96), \"ree as coinbase\")\n        tail := add(headStart, 128)\n    }\n    function abi_decode_tuple_t_bytes4(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := calldataload(headStart)\n        if iszero(eq(value, and(value, 0xffffffff00000000000000000000000000000000000000000000000000000000))) { revert(0, 0) }\n        value0 := value\n    }\n    function abi_encode_tuple_packed_t_bytes4_t_bytes_calldata_ptr_t_bytes_calldata_ptr_t_bytes4__to_t_bytes4_t_bytes_memory_ptr_t_bytes_memory_ptr_t_bytes4__nonPadded_inplace_fromStack_reversed(pos, value5, value4, value3, value2, value1, value0) -> end\n    {\n        let _1 := 0xffffffff00000000000000000000000000000000000000000000000000000000\n        mstore(pos, and(value0, _1))\n        calldatacopy(add(pos, 4), value1, value2)\n        let _2 := add(pos, value2)\n        let _3 := add(_2, 4)\n        mstore(_3, 0)\n        calldatacopy(_3, value3, value4)\n        let _4 := add(_2, value4)\n        mstore(add(_4, 4), and(value5, _1))\n        end := add(_4, 8)\n    }\n    function abi_encode_tuple_t_stringliteral_a06ae51c71eb530f3be7271820349cdc3c1354af79f8555ff9d95e771751af98__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 60)\n        mstore(add(headStart, 64), \"Tx merkle proof is not valid for\")\n        mstore(add(headStart, 96), \" provided header and tx hash\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_packed_t_bytes32__to_t_bytes32__nonPadded_inplace_fromStack_reversed(pos, value0) -> end\n    {\n        mstore(pos, value0)\n        end := add(pos, 32)\n    }\n    function abi_encode_tuple_packed_t_bytes_memory_ptr__to_t_bytes_memory_ptr__nonPadded_inplace_fromStack_reversed(pos, value0) -> end\n    {\n        let length := mload(value0)\n        let i := 0\n        for { } lt(i, length) { i := add(i, 0x20) }\n        {\n            mstore(add(pos, i), mload(add(add(value0, i), 0x20)))\n        }\n        let _1 := add(pos, length)\n        mstore(_1, 0)\n        end := _1\n    }\n    function abi_decode_tuple_t_bytes32_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        value0 := mload(headStart)\n    }\n    function abi_encode_tuple_t_stringliteral_f81cd03f1a0835c86eb7c9bc3fa3d1389a1f2e657daffb447708f79731bc6533__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 63)\n        mstore(add(headStart, 64), \"Coinbase merkle proof is not val\")\n        mstore(add(headStart, 96), \"id for provided header and hash\")\n        tail := add(headStart, 128)\n    }\n    function panic_error_0x11()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x11)\n        revert(0, 0x24)\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 increment_t_uint256(value) -> ret\n    {\n        if eq(value, not(0)) { panic_error_0x11() }\n        ret := add(value, 1)\n    }\n    function abi_decode_tuple_t_uint256_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        value0 := mload(headStart)\n    }\n    function abi_encode_tuple_t_stringliteral_2ebcf872b7f86d587caffa25f5f3e96962044232b1b663351fbbea74e2c80331__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 37)\n        mstore(add(headStart, 64), \"Not at current or previous diffi\")\n        mstore(add(headStart, 96), \"culty\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_92a0405652d516383f1545f4343c46ea0a68cf55d9e795cb647f2b3320f6ea40__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 35)\n        mstore(add(headStart, 64), \"Invalid length of the headers ch\")\n        mstore(add(headStart, 96), \"ain\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_2c2dfd181269a4c1ce4f235dbe6726e9e20ead12388274c8b22fe08e78db7336__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 21)\n        mstore(add(headStart, 64), \"Invalid headers chain\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_6765317ac58a0bde6edd9b0a77da031b1983fd67bbdbda13051ed89ff1a508c9__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 29)\n        mstore(add(headStart, 64), \"Insufficient work in a header\")\n        tail := add(headStart, 96)\n    }\n    function checked_mul_t_uint256(x, y) -> product\n    {\n        product := mul(x, y)\n        if iszero(or(iszero(x), eq(y, div(product, x)))) { panic_error_0x11() }\n    }\n    function abi_encode_tuple_t_stringliteral_783c1ec375fff1301ad34ffc02be448b47c08a18ace7140b3cc0f461b18129c2__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 51)\n        mstore(add(headStart, 64), \"Insufficient accumulated difficu\")\n        mstore(add(headStart, 96), \"lty in header chain\")\n        tail := add(headStart, 128)\n    }\n    function panic_error_0x12()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x12)\n        revert(0, 0x24)\n    }\n    function mod_t_uint256(x, y) -> r\n    {\n        if iszero(y) { panic_error_0x12() }\n        r := mod(x, y)\n    }\n    function panic_error_0x32()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x32)\n        revert(0, 0x24)\n    }\n    function checked_add_t_uint8(x, y) -> sum\n    {\n        sum := add(and(x, 0xff), and(y, 0xff))\n        if gt(sum, 0xff) { panic_error_0x11() }\n    }\n    function checked_sub_t_uint8(x, y) -> diff\n    {\n        diff := sub(and(x, 0xff), and(y, 0xff))\n        if gt(diff, 0xff) { panic_error_0x11() }\n    }\n    function checked_exp_helper(_base, exponent) -> power, base\n    {\n        let power_1 := 1\n        power := power_1\n        base := _base\n        for { } gt(exponent, power_1) { }\n        {\n            if gt(base, div(not(0), base)) { panic_error_0x11() }\n            if and(exponent, power_1) { power := mul(power, base) }\n            base := mul(base, base)\n            exponent := shr(power_1, exponent)\n        }\n    }\n    function checked_exp_unsigned(base, exponent) -> power\n    {\n        if iszero(exponent)\n        {\n            power := 1\n            leave\n        }\n        if iszero(base)\n        {\n            power := 0\n            leave\n        }\n        switch base\n        case 1 {\n            power := 1\n            leave\n        }\n        case 2 {\n            if gt(exponent, 255) { panic_error_0x11() }\n            power := shl(exponent, 1)\n            leave\n        }\n        if or(and(lt(base, 11), lt(exponent, 78)), and(lt(base, 307), lt(exponent, 32)))\n        {\n            power := exp(base, exponent)\n            leave\n        }\n        let power_1, base_1 := checked_exp_helper(base, exponent)\n        if gt(power_1, div(not(0), base_1)) { panic_error_0x11() }\n        power := mul(power_1, base_1)\n    }\n    function checked_exp_t_uint256_t_uint256(base, exponent) -> power\n    {\n        power := checked_exp_unsigned(base, exponent)\n    }\n    function checked_div_t_uint256(x, y) -> r\n    {\n        if iszero(y) { panic_error_0x12() }\n        r := div(x, y)\n    }\n}",
+          "contents": "{\n    { }\n    function abi_decode_tuple_t_struct$_Info_$24919_calldata_ptrt_struct$_Proof_$24935_calldata_ptr(headStart, dataEnd) -> value0, value1\n    {\n        if slt(sub(dataEnd, headStart), 64) { 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 slt(sub(dataEnd, _2), 128) { revert(0, 0) }\n        value0 := _2\n        let offset_1 := calldataload(add(headStart, 32))\n        if gt(offset_1, _1) { revert(0, 0) }\n        let _3 := add(headStart, offset_1)\n        if slt(sub(dataEnd, _3), 160) { revert(0, 0) }\n        value1 := _3\n    }\n    function abi_encode_tuple_t_bytes32__to_t_bytes32__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, value0)\n    }\n    function access_calldata_tail_t_bytes_calldata_ptr(base_ref, ptr_to_tail) -> addr, length\n    {\n        let rel_offset_of_tail := calldataload(ptr_to_tail)\n        if iszero(slt(rel_offset_of_tail, add(sub(calldatasize(), base_ref), not(30)))) { revert(0, 0) }\n        let addr_1 := add(base_ref, rel_offset_of_tail)\n        length := calldataload(addr_1)\n        if gt(length, 0xffffffffffffffff) { revert(0, 0) }\n        addr := add(addr_1, 0x20)\n        if sgt(addr, sub(calldatasize(), length)) { revert(0, 0) }\n    }\n    function abi_encode_tuple_t_stringliteral_81c08c8e2d7c21547c4bed90170b9e16eeb2a3aacfa343ab101969ebeb1e6351__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 29)\n        mstore(add(headStart, 64), \"Invalid input vector provided\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_b3d16879df223a9f9a961258257642c617d77f69e5955700bf02fedc1a87f73f__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 30)\n        mstore(add(headStart, 64), \"Invalid output vector provided\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_aaec45817286f1f887b5ed23ebed86915e72be86d8b09a6030de2197722ed0aa__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 47)\n        mstore(add(headStart, 64), \"Tx not on same level of merkle t\")\n        mstore(add(headStart, 96), \"ree as coinbase\")\n        tail := add(headStart, 128)\n    }\n    function abi_decode_tuple_t_bytes4(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := calldataload(headStart)\n        if iszero(eq(value, and(value, 0xffffffff00000000000000000000000000000000000000000000000000000000))) { revert(0, 0) }\n        value0 := value\n    }\n    function abi_encode_tuple_packed_t_bytes4_t_bytes_calldata_ptr_t_bytes_calldata_ptr_t_bytes4__to_t_bytes4_t_bytes_memory_ptr_t_bytes_memory_ptr_t_bytes4__nonPadded_inplace_fromStack_reversed(pos, value5, value4, value3, value2, value1, value0) -> end\n    {\n        let _1 := 0xffffffff00000000000000000000000000000000000000000000000000000000\n        mstore(pos, and(value0, _1))\n        calldatacopy(add(pos, 4), value1, value2)\n        let _2 := add(pos, value2)\n        let _3 := add(_2, 4)\n        mstore(_3, 0)\n        calldatacopy(_3, value3, value4)\n        let _4 := add(_2, value4)\n        mstore(add(_4, 4), and(value5, _1))\n        end := add(_4, 8)\n    }\n    function abi_encode_tuple_t_stringliteral_a06ae51c71eb530f3be7271820349cdc3c1354af79f8555ff9d95e771751af98__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 60)\n        mstore(add(headStart, 64), \"Tx merkle proof is not valid for\")\n        mstore(add(headStart, 96), \" provided header and tx hash\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_packed_t_bytes32__to_t_bytes32__nonPadded_inplace_fromStack_reversed(pos, value0) -> end\n    {\n        mstore(pos, value0)\n        end := add(pos, 32)\n    }\n    function abi_encode_tuple_packed_t_bytes_memory_ptr__to_t_bytes_memory_ptr__nonPadded_inplace_fromStack_reversed(pos, value0) -> end\n    {\n        let length := mload(value0)\n        let i := 0\n        for { } lt(i, length) { i := add(i, 0x20) }\n        {\n            mstore(add(pos, i), mload(add(add(value0, i), 0x20)))\n        }\n        let _1 := add(pos, length)\n        mstore(_1, 0)\n        end := _1\n    }\n    function abi_decode_tuple_t_bytes32_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        value0 := mload(headStart)\n    }\n    function abi_encode_tuple_t_stringliteral_f81cd03f1a0835c86eb7c9bc3fa3d1389a1f2e657daffb447708f79731bc6533__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 63)\n        mstore(add(headStart, 64), \"Coinbase merkle proof is not val\")\n        mstore(add(headStart, 96), \"id for provided header and hash\")\n        tail := add(headStart, 128)\n    }\n    function panic_error_0x11()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x11)\n        revert(0, 0x24)\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 increment_t_uint256(value) -> ret\n    {\n        if eq(value, not(0)) { panic_error_0x11() }\n        ret := add(value, 1)\n    }\n    function abi_decode_tuple_t_uint256_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        value0 := mload(headStart)\n    }\n    function abi_encode_tuple_t_stringliteral_2ebcf872b7f86d587caffa25f5f3e96962044232b1b663351fbbea74e2c80331__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 37)\n        mstore(add(headStart, 64), \"Not at current or previous diffi\")\n        mstore(add(headStart, 96), \"culty\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_92a0405652d516383f1545f4343c46ea0a68cf55d9e795cb647f2b3320f6ea40__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 35)\n        mstore(add(headStart, 64), \"Invalid length of the headers ch\")\n        mstore(add(headStart, 96), \"ain\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_2c2dfd181269a4c1ce4f235dbe6726e9e20ead12388274c8b22fe08e78db7336__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 21)\n        mstore(add(headStart, 64), \"Invalid headers chain\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_6765317ac58a0bde6edd9b0a77da031b1983fd67bbdbda13051ed89ff1a508c9__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 29)\n        mstore(add(headStart, 64), \"Insufficient work in a header\")\n        tail := add(headStart, 96)\n    }\n    function checked_mul_t_uint256(x, y) -> product\n    {\n        product := mul(x, y)\n        if iszero(or(iszero(x), eq(y, div(product, x)))) { panic_error_0x11() }\n    }\n    function abi_encode_tuple_t_stringliteral_783c1ec375fff1301ad34ffc02be448b47c08a18ace7140b3cc0f461b18129c2__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 51)\n        mstore(add(headStart, 64), \"Insufficient accumulated difficu\")\n        mstore(add(headStart, 96), \"lty in header chain\")\n        tail := add(headStart, 128)\n    }\n    function panic_error_0x12()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x12)\n        revert(0, 0x24)\n    }\n    function mod_t_uint256(x, y) -> r\n    {\n        if iszero(y) { panic_error_0x12() }\n        r := mod(x, y)\n    }\n    function panic_error_0x32()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x32)\n        revert(0, 0x24)\n    }\n    function checked_add_t_uint8(x, y) -> sum\n    {\n        sum := add(and(x, 0xff), and(y, 0xff))\n        if gt(sum, 0xff) { panic_error_0x11() }\n    }\n    function checked_sub_t_uint8(x, y) -> diff\n    {\n        diff := sub(and(x, 0xff), and(y, 0xff))\n        if gt(diff, 0xff) { panic_error_0x11() }\n    }\n    function checked_exp_helper(_base, exponent) -> power, base\n    {\n        let power_1 := 1\n        power := power_1\n        base := _base\n        for { } gt(exponent, power_1) { }\n        {\n            if gt(base, div(not(0), base)) { panic_error_0x11() }\n            if and(exponent, power_1) { power := mul(power, base) }\n            base := mul(base, base)\n            exponent := shr(power_1, exponent)\n        }\n    }\n    function checked_exp_unsigned(base, exponent) -> power\n    {\n        if iszero(exponent)\n        {\n            power := 1\n            leave\n        }\n        if iszero(base)\n        {\n            power := 0\n            leave\n        }\n        switch base\n        case 1 {\n            power := 1\n            leave\n        }\n        case 2 {\n            if gt(exponent, 255) { panic_error_0x11() }\n            power := shl(exponent, 1)\n            leave\n        }\n        if or(and(lt(base, 11), lt(exponent, 78)), and(lt(base, 307), lt(exponent, 32)))\n        {\n            power := exp(base, exponent)\n            leave\n        }\n        let power_1, base_1 := checked_exp_helper(base, exponent)\n        if gt(power_1, div(not(0), base_1)) { panic_error_0x11() }\n        power := mul(power_1, base_1)\n    }\n    function checked_exp_t_uint256_t_uint256(base, exponent) -> power\n    {\n        power := checked_exp_unsigned(base, exponent)\n    }\n    function checked_div_t_uint256(x, y) -> r\n    {\n        if iszero(y) { panic_error_0x12() }\n        r := div(x, y)\n    }\n}",
           "id": 139,
           "language": "Yul",
           "name": "#utility.yul"
@@ -7593,12 +7593,12 @@
   "storageLayout": {
     "storage": [
       {
-        "astId": 45114,
+        "astId": 45135,
         "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
         "label": "self",
         "offset": 0,
         "slot": "0",
-        "type": "t_struct(Storage)29955_storage"
+        "type": "t_struct(Storage)29928_storage"
       }
     ],
     "types": {
@@ -7628,32 +7628,32 @@
         "label": "bytes32",
         "numberOfBytes": "32"
       },
-      "t_contract(Bank)24894": {
+      "t_contract(Bank)24867": {
         "encoding": "inplace",
         "label": "contract Bank",
         "numberOfBytes": "20"
       },
-      "t_contract(IRelay)32772": {
+      "t_contract(IRelay)32745": {
         "encoding": "inplace",
         "label": "contract IRelay",
         "numberOfBytes": "20"
       },
-      "t_contract(IWalletRegistry)5849": {
+      "t_contract(IWalletRegistry)5858": {
         "encoding": "inplace",
         "label": "contract IWalletRegistry",
         "numberOfBytes": "20"
       },
-      "t_contract(ReimbursementPool)8814": {
+      "t_contract(ReimbursementPool)8823": {
         "encoding": "inplace",
         "label": "contract ReimbursementPool",
         "numberOfBytes": "20"
       },
-      "t_enum(MovedFundsSweepRequestState)32811": {
+      "t_enum(MovedFundsSweepRequestState)32784": {
         "encoding": "inplace",
         "label": "enum MovingFunds.MovedFundsSweepRequestState",
         "numberOfBytes": "1"
       },
-      "t_enum(WalletState)38526": {
+      "t_enum(WalletState)38499": {
         "encoding": "inplace",
         "label": "enum Wallets.WalletState",
         "numberOfBytes": "1"
@@ -7665,12 +7665,12 @@
         "numberOfBytes": "32",
         "value": "t_bool"
       },
-      "t_mapping(t_bytes20,t_struct(Wallet)38546_storage)": {
+      "t_mapping(t_bytes20,t_struct(Wallet)38519_storage)": {
         "encoding": "mapping",
         "key": "t_bytes20",
         "label": "mapping(bytes20 => struct Wallets.Wallet)",
         "numberOfBytes": "32",
-        "value": "t_struct(Wallet)38546_storage"
+        "value": "t_struct(Wallet)38519_storage"
       },
       "t_mapping(t_uint256,t_bool)": {
         "encoding": "mapping",
@@ -7679,40 +7679,40 @@
         "numberOfBytes": "32",
         "value": "t_bool"
       },
-      "t_mapping(t_uint256,t_struct(DepositRequest)30667_storage)": {
+      "t_mapping(t_uint256,t_struct(DepositRequest)30640_storage)": {
         "encoding": "mapping",
         "key": "t_uint256",
         "label": "mapping(uint256 => struct Deposit.DepositRequest)",
         "numberOfBytes": "32",
-        "value": "t_struct(DepositRequest)30667_storage"
+        "value": "t_struct(DepositRequest)30640_storage"
       },
-      "t_mapping(t_uint256,t_struct(FraudChallenge)32000_storage)": {
+      "t_mapping(t_uint256,t_struct(FraudChallenge)31973_storage)": {
         "encoding": "mapping",
         "key": "t_uint256",
         "label": "mapping(uint256 => struct Fraud.FraudChallenge)",
         "numberOfBytes": "32",
-        "value": "t_struct(FraudChallenge)32000_storage"
+        "value": "t_struct(FraudChallenge)31973_storage"
       },
-      "t_mapping(t_uint256,t_struct(MovedFundsSweepRequest)32821_storage)": {
+      "t_mapping(t_uint256,t_struct(MovedFundsSweepRequest)32794_storage)": {
         "encoding": "mapping",
         "key": "t_uint256",
         "label": "mapping(uint256 => struct MovingFunds.MovedFundsSweepRequest)",
         "numberOfBytes": "32",
-        "value": "t_struct(MovedFundsSweepRequest)32821_storage"
+        "value": "t_struct(MovedFundsSweepRequest)32794_storage"
       },
-      "t_mapping(t_uint256,t_struct(RedemptionRequest)34263_storage)": {
+      "t_mapping(t_uint256,t_struct(RedemptionRequest)34236_storage)": {
         "encoding": "mapping",
         "key": "t_uint256",
         "label": "mapping(uint256 => struct Redemption.RedemptionRequest)",
         "numberOfBytes": "32",
-        "value": "t_struct(RedemptionRequest)34263_storage"
+        "value": "t_struct(RedemptionRequest)34236_storage"
       },
-      "t_struct(DepositRequest)30667_storage": {
+      "t_struct(DepositRequest)30640_storage": {
         "encoding": "inplace",
         "label": "struct Deposit.DepositRequest",
         "members": [
           {
-            "astId": 30654,
+            "astId": 30627,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "depositor",
             "offset": 0,
@@ -7720,7 +7720,7 @@
             "type": "t_address"
           },
           {
-            "astId": 30656,
+            "astId": 30629,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "amount",
             "offset": 20,
@@ -7728,7 +7728,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 30658,
+            "astId": 30631,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "revealedAt",
             "offset": 28,
@@ -7736,7 +7736,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 30660,
+            "astId": 30633,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "vault",
             "offset": 0,
@@ -7744,7 +7744,7 @@
             "type": "t_address"
           },
           {
-            "astId": 30662,
+            "astId": 30635,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "treasuryFee",
             "offset": 20,
@@ -7752,7 +7752,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 30664,
+            "astId": 30637,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "sweptAt",
             "offset": 28,
@@ -7760,7 +7760,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 30666,
+            "astId": 30639,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "extraData",
             "offset": 0,
@@ -7770,12 +7770,12 @@
         ],
         "numberOfBytes": "96"
       },
-      "t_struct(FraudChallenge)32000_storage": {
+      "t_struct(FraudChallenge)31973_storage": {
         "encoding": "inplace",
         "label": "struct Fraud.FraudChallenge",
         "members": [
           {
-            "astId": 31993,
+            "astId": 31966,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "challenger",
             "offset": 0,
@@ -7783,7 +7783,7 @@
             "type": "t_address"
           },
           {
-            "astId": 31995,
+            "astId": 31968,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "depositAmount",
             "offset": 0,
@@ -7791,7 +7791,7 @@
             "type": "t_uint256"
           },
           {
-            "astId": 31997,
+            "astId": 31970,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "reportedAt",
             "offset": 0,
@@ -7799,7 +7799,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 31999,
+            "astId": 31972,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "resolved",
             "offset": 4,
@@ -7809,12 +7809,12 @@
         ],
         "numberOfBytes": "96"
       },
-      "t_struct(MovedFundsSweepRequest)32821_storage": {
+      "t_struct(MovedFundsSweepRequest)32794_storage": {
         "encoding": "inplace",
         "label": "struct MovingFunds.MovedFundsSweepRequest",
         "members": [
           {
-            "astId": 32813,
+            "astId": 32786,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "walletPubKeyHash",
             "offset": 0,
@@ -7822,7 +7822,7 @@
             "type": "t_bytes20"
           },
           {
-            "astId": 32815,
+            "astId": 32788,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "value",
             "offset": 20,
@@ -7830,7 +7830,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 32817,
+            "astId": 32790,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "createdAt",
             "offset": 28,
@@ -7838,22 +7838,22 @@
             "type": "t_uint32"
           },
           {
-            "astId": 32820,
+            "astId": 32793,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "state",
             "offset": 0,
             "slot": "1",
-            "type": "t_enum(MovedFundsSweepRequestState)32811"
+            "type": "t_enum(MovedFundsSweepRequestState)32784"
           }
         ],
         "numberOfBytes": "64"
       },
-      "t_struct(RedemptionRequest)34263_storage": {
+      "t_struct(RedemptionRequest)34236_storage": {
         "encoding": "inplace",
         "label": "struct Redemption.RedemptionRequest",
         "members": [
           {
-            "astId": 34254,
+            "astId": 34227,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "redeemer",
             "offset": 0,
@@ -7861,7 +7861,7 @@
             "type": "t_address"
           },
           {
-            "astId": 34256,
+            "astId": 34229,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "requestedAmount",
             "offset": 20,
@@ -7869,7 +7869,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 34258,
+            "astId": 34231,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "treasuryFee",
             "offset": 0,
@@ -7877,7 +7877,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 34260,
+            "astId": 34233,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "txMaxFee",
             "offset": 8,
@@ -7885,7 +7885,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 34262,
+            "astId": 34235,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "requestedAt",
             "offset": 16,
@@ -7895,28 +7895,28 @@
         ],
         "numberOfBytes": "64"
       },
-      "t_struct(Storage)29955_storage": {
+      "t_struct(Storage)29928_storage": {
         "encoding": "inplace",
         "label": "struct BridgeState.Storage",
         "members": [
           {
-            "astId": 29815,
+            "astId": 29788,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "bank",
             "offset": 0,
             "slot": "0",
-            "type": "t_contract(Bank)24894"
+            "type": "t_contract(Bank)24867"
           },
           {
-            "astId": 29818,
+            "astId": 29791,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "relay",
             "offset": 0,
             "slot": "1",
-            "type": "t_contract(IRelay)32772"
+            "type": "t_contract(IRelay)32745"
           },
           {
-            "astId": 29820,
+            "astId": 29793,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "txProofDifficultyFactor",
             "offset": 20,
@@ -7924,23 +7924,23 @@
             "type": "t_uint96"
           },
           {
-            "astId": 29823,
+            "astId": 29796,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "ecdsaWalletRegistry",
             "offset": 0,
             "slot": "2",
-            "type": "t_contract(IWalletRegistry)5849"
+            "type": "t_contract(IWalletRegistry)5858"
           },
           {
-            "astId": 29826,
+            "astId": 29799,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "reimbursementPool",
             "offset": 0,
             "slot": "3",
-            "type": "t_contract(ReimbursementPool)8814"
+            "type": "t_contract(ReimbursementPool)8823"
           },
           {
-            "astId": 29828,
+            "astId": 29801,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "treasury",
             "offset": 0,
@@ -7948,7 +7948,7 @@
             "type": "t_address"
           },
           {
-            "astId": 29830,
+            "astId": 29803,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "__treasuryAlignmentGap",
             "offset": 0,
@@ -7956,7 +7956,7 @@
             "type": "t_bytes32"
           },
           {
-            "astId": 29832,
+            "astId": 29805,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "depositDustThreshold",
             "offset": 0,
@@ -7964,7 +7964,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 29834,
+            "astId": 29807,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "depositTreasuryFeeDivisor",
             "offset": 8,
@@ -7972,7 +7972,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 29836,
+            "astId": 29809,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "depositTxMaxFee",
             "offset": 16,
@@ -7980,7 +7980,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 29838,
+            "astId": 29811,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "depositRevealAheadPeriod",
             "offset": 24,
@@ -7988,7 +7988,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 29840,
+            "astId": 29813,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "__depositAlignmentGap",
             "offset": 0,
@@ -7996,7 +7996,7 @@
             "type": "t_bytes32"
           },
           {
-            "astId": 29842,
+            "astId": 29815,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "movingFundsTxMaxTotalFee",
             "offset": 0,
@@ -8004,7 +8004,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 29844,
+            "astId": 29817,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "movingFundsDustThreshold",
             "offset": 8,
@@ -8012,7 +8012,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 29846,
+            "astId": 29819,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "movingFundsTimeoutResetDelay",
             "offset": 16,
@@ -8020,7 +8020,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 29848,
+            "astId": 29821,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "movingFundsTimeout",
             "offset": 20,
@@ -8028,7 +8028,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 29850,
+            "astId": 29823,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "movingFundsTimeoutSlashingAmount",
             "offset": 0,
@@ -8036,7 +8036,7 @@
             "type": "t_uint96"
           },
           {
-            "astId": 29852,
+            "astId": 29825,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "movingFundsTimeoutNotifierRewardMultiplier",
             "offset": 12,
@@ -8044,7 +8044,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 29854,
+            "astId": 29827,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "movingFundsCommitmentGasOffset",
             "offset": 16,
@@ -8052,7 +8052,7 @@
             "type": "t_uint16"
           },
           {
-            "astId": 29856,
+            "astId": 29829,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "__movingFundsAlignmentGap",
             "offset": 0,
@@ -8060,7 +8060,7 @@
             "type": "t_bytes32"
           },
           {
-            "astId": 29858,
+            "astId": 29831,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "movedFundsSweepTxMaxTotalFee",
             "offset": 0,
@@ -8068,7 +8068,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 29860,
+            "astId": 29833,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "movedFundsSweepTimeout",
             "offset": 8,
@@ -8076,7 +8076,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 29862,
+            "astId": 29835,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "movedFundsSweepTimeoutSlashingAmount",
             "offset": 12,
@@ -8084,7 +8084,7 @@
             "type": "t_uint96"
           },
           {
-            "astId": 29864,
+            "astId": 29837,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "movedFundsSweepTimeoutNotifierRewardMultiplier",
             "offset": 24,
@@ -8092,7 +8092,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 29866,
+            "astId": 29839,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "redemptionDustThreshold",
             "offset": 0,
@@ -8100,7 +8100,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 29868,
+            "astId": 29841,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "redemptionTreasuryFeeDivisor",
             "offset": 8,
@@ -8108,7 +8108,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 29870,
+            "astId": 29843,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "redemptionTxMaxFee",
             "offset": 16,
@@ -8116,7 +8116,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 29872,
+            "astId": 29845,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "redemptionTxMaxTotalFee",
             "offset": 24,
@@ -8124,7 +8124,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 29874,
+            "astId": 29847,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "__redemptionAlignmentGap",
             "offset": 0,
@@ -8132,7 +8132,7 @@
             "type": "t_bytes32"
           },
           {
-            "astId": 29876,
+            "astId": 29849,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "redemptionTimeout",
             "offset": 0,
@@ -8140,7 +8140,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 29878,
+            "astId": 29851,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "redemptionTimeoutSlashingAmount",
             "offset": 4,
@@ -8148,7 +8148,7 @@
             "type": "t_uint96"
           },
           {
-            "astId": 29880,
+            "astId": 29853,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "redemptionTimeoutNotifierRewardMultiplier",
             "offset": 16,
@@ -8156,7 +8156,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 29882,
+            "astId": 29855,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "fraudChallengeDepositAmount",
             "offset": 20,
@@ -8164,7 +8164,7 @@
             "type": "t_uint96"
           },
           {
-            "astId": 29884,
+            "astId": 29857,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "fraudChallengeDefeatTimeout",
             "offset": 0,
@@ -8172,7 +8172,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 29886,
+            "astId": 29859,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "fraudSlashingAmount",
             "offset": 4,
@@ -8180,7 +8180,7 @@
             "type": "t_uint96"
           },
           {
-            "astId": 29888,
+            "astId": 29861,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "fraudNotifierRewardMultiplier",
             "offset": 16,
@@ -8188,7 +8188,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 29890,
+            "astId": 29863,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "walletCreationPeriod",
             "offset": 20,
@@ -8196,7 +8196,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 29892,
+            "astId": 29865,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "walletCreationMinBtcBalance",
             "offset": 24,
@@ -8204,7 +8204,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 29894,
+            "astId": 29867,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "walletCreationMaxBtcBalance",
             "offset": 0,
@@ -8212,7 +8212,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 29896,
+            "astId": 29869,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "walletClosureMinBtcBalance",
             "offset": 8,
@@ -8220,7 +8220,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 29898,
+            "astId": 29871,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "walletMaxAge",
             "offset": 16,
@@ -8228,7 +8228,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 29900,
+            "astId": 29873,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "activeWalletPubKeyHash",
             "offset": 0,
@@ -8236,7 +8236,7 @@
             "type": "t_bytes20"
           },
           {
-            "astId": 29902,
+            "astId": 29875,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "liveWalletsCount",
             "offset": 20,
@@ -8244,7 +8244,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 29904,
+            "astId": 29877,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "walletMaxBtcTransfer",
             "offset": 24,
@@ -8252,7 +8252,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 29906,
+            "astId": 29879,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "walletClosingPeriod",
             "offset": 0,
@@ -8260,15 +8260,15 @@
             "type": "t_uint32"
           },
           {
-            "astId": 29911,
+            "astId": 29884,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "deposits",
             "offset": 0,
             "slot": "19",
-            "type": "t_mapping(t_uint256,t_struct(DepositRequest)30667_storage)"
+            "type": "t_mapping(t_uint256,t_struct(DepositRequest)30640_storage)"
           },
           {
-            "astId": 29915,
+            "astId": 29888,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "isVaultTrusted",
             "offset": 0,
@@ -8276,7 +8276,7 @@
             "type": "t_mapping(t_address,t_bool)"
           },
           {
-            "astId": 29919,
+            "astId": 29892,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "isSpvMaintainer",
             "offset": 0,
@@ -8284,39 +8284,39 @@
             "type": "t_mapping(t_address,t_bool)"
           },
           {
-            "astId": 29924,
+            "astId": 29897,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "movedFundsSweepRequests",
             "offset": 0,
             "slot": "22",
-            "type": "t_mapping(t_uint256,t_struct(MovedFundsSweepRequest)32821_storage)"
+            "type": "t_mapping(t_uint256,t_struct(MovedFundsSweepRequest)32794_storage)"
           },
           {
-            "astId": 29929,
+            "astId": 29902,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "pendingRedemptions",
             "offset": 0,
             "slot": "23",
-            "type": "t_mapping(t_uint256,t_struct(RedemptionRequest)34263_storage)"
+            "type": "t_mapping(t_uint256,t_struct(RedemptionRequest)34236_storage)"
           },
           {
-            "astId": 29934,
+            "astId": 29907,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "timedOutRedemptions",
             "offset": 0,
             "slot": "24",
-            "type": "t_mapping(t_uint256,t_struct(RedemptionRequest)34263_storage)"
+            "type": "t_mapping(t_uint256,t_struct(RedemptionRequest)34236_storage)"
           },
           {
-            "astId": 29939,
+            "astId": 29912,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "fraudChallenges",
             "offset": 0,
             "slot": "25",
-            "type": "t_mapping(t_uint256,t_struct(FraudChallenge)32000_storage)"
+            "type": "t_mapping(t_uint256,t_struct(FraudChallenge)31973_storage)"
           },
           {
-            "astId": 29943,
+            "astId": 29916,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "spentMainUTXOs",
             "offset": 0,
@@ -8324,15 +8324,15 @@
             "type": "t_mapping(t_uint256,t_bool)"
           },
           {
-            "astId": 29948,
+            "astId": 29921,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "registeredWallets",
             "offset": 0,
             "slot": "27",
-            "type": "t_mapping(t_bytes20,t_struct(Wallet)38546_storage)"
+            "type": "t_mapping(t_bytes20,t_struct(Wallet)38519_storage)"
           },
           {
-            "astId": 29950,
+            "astId": 29923,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "redemptionWatchtower",
             "offset": 0,
@@ -8340,7 +8340,7 @@
             "type": "t_address"
           },
           {
-            "astId": 29954,
+            "astId": 29927,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "__gap",
             "offset": 0,
@@ -8350,12 +8350,12 @@
         ],
         "numberOfBytes": "2496"
       },
-      "t_struct(Wallet)38546_storage": {
+      "t_struct(Wallet)38519_storage": {
         "encoding": "inplace",
         "label": "struct Wallets.Wallet",
         "members": [
           {
-            "astId": 38528,
+            "astId": 38501,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "ecdsaWalletID",
             "offset": 0,
@@ -8363,7 +8363,7 @@
             "type": "t_bytes32"
           },
           {
-            "astId": 38530,
+            "astId": 38503,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "mainUtxoHash",
             "offset": 0,
@@ -8371,7 +8371,7 @@
             "type": "t_bytes32"
           },
           {
-            "astId": 38532,
+            "astId": 38505,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "pendingRedemptionsValue",
             "offset": 0,
@@ -8379,7 +8379,7 @@
             "type": "t_uint64"
           },
           {
-            "astId": 38534,
+            "astId": 38507,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "createdAt",
             "offset": 8,
@@ -8387,7 +8387,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 38536,
+            "astId": 38509,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "movingFundsRequestedAt",
             "offset": 12,
@@ -8395,7 +8395,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 38538,
+            "astId": 38511,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "closingStartedAt",
             "offset": 16,
@@ -8403,7 +8403,7 @@
             "type": "t_uint32"
           },
           {
-            "astId": 38540,
+            "astId": 38513,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "pendingMovedFundsSweepRequestsCount",
             "offset": 20,
@@ -8411,15 +8411,15 @@
             "type": "t_uint32"
           },
           {
-            "astId": 38543,
+            "astId": 38516,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "state",
             "offset": 24,
             "slot": "2",
-            "type": "t_enum(WalletState)38526"
+            "type": "t_enum(WalletState)38499"
           },
           {
-            "astId": 38545,
+            "astId": 38518,
             "contract": "contracts/test/TestBitcoinTx.sol:TestBitcoinTx",
             "label": "movingFundsTargetWalletsCommitmentHash",
             "offset": 0,