@keep-network/tbtc-v2 1.8.0 → 1.8.2

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

@@ -250,69 +250,69 @@
     },
     "deployedBytecode": {
       "functionDebugData": {
-        "@SATOSHI_MULTIPLIER_42942": {
+        "@SATOSHI_MULTIPLIER_43001": {
           "entryPoint": null,
-          "id": 42942,
+          "id": 43001,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@__AbstractBTCDepositor_initialize_43018": {
+        "@__AbstractBTCDepositor_initialize_43077": {
           "entryPoint": 1524,
-          "id": 43018,
+          "id": 43077,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@_calculateBitcoinTxHash_43247": {
+        "@_calculateBitcoinTxHash_43306": {
           "entryPoint": 2487,
-          "id": 43247,
+          "id": 43306,
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@_calculateDepositKey_43223": {
+        "@_calculateDepositKey_43282": {
           "entryPoint": 2551,
-          "id": 43223,
+          "id": 43282,
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "@_calculateTbtcAmount_43201": {
+        "@_calculateTbtcAmount_43260": {
           "entryPoint": 569,
-          "id": 43201,
+          "id": 43260,
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "@_finalizeDeposit_43145": {
+        "@_finalizeDeposit_43204": {
           "entryPoint": 956,
-          "id": 43145,
+          "id": 43204,
           "parameterSlots": 1,
           "returnSlots": 3
         },
-        "@_initializeDeposit_43074": {
+        "@_initializeDeposit_43133": {
           "entryPoint": 2087,
-          "id": 43074,
+          "id": 43133,
           "parameterSlots": 3,
           "returnSlots": 2
         },
-        "@_minDepositAmount_43264": {
+        "@_minDepositAmount_43323": {
           "entryPoint": 1914,
-          "id": 43264,
+          "id": 43323,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@bridge_42946": {
+        "@bridge_43005": {
           "entryPoint": null,
-          "id": 42946,
+          "id": 43005,
           "parameterSlots": 0,
           "returnSlots": 0
         },
-        "@calculateTbtcAmountPublic_47476": {
+        "@calculateTbtcAmountPublic_47664": {
           "entryPoint": 320,
-          "id": 47476,
+          "id": 47664,
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "@finalizeDepositPublic_47461": {
+        "@finalizeDepositPublic_47649": {
           "entryPoint": 341,
-          "id": 47461,
+          "id": 47649,
           "parameterSlots": 1,
           "returnSlots": 0
         },
@@ -322,27 +322,27 @@
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "@initializeDepositPublic_47439": {
+        "@initializeDepositPublic_47627": {
           "entryPoint": 463,
-          "id": 47439,
+          "id": 47627,
           "parameterSlots": 3,
           "returnSlots": 0
         },
-        "@initialize_47412": {
+        "@initialize_47600": {
           "entryPoint": 434,
-          "id": 47412,
+          "id": 47600,
           "parameterSlots": 2,
           "returnSlots": 0
         },
-        "@minDepositAmountPublic_47485": {
+        "@minDepositAmountPublic_47673": {
           "entryPoint": 448,
-          "id": 47485,
+          "id": 47673,
           "parameterSlots": 0,
           "returnSlots": 1
         },
-        "@tbtcVault_42950": {
+        "@tbtcVault_43009": {
           "entryPoint": null,
-          "id": 42950,
+          "id": 43009,
           "parameterSlots": 0,
           "returnSlots": 0
         },
@@ -370,19 +370,19 @@
           "parameterSlots": 2,
           "returnSlots": 2
         },
-        "abi_decode_tuple_t_struct$_BitcoinTxInfo_$43277_calldata_ptrt_struct$_DepositRevealInfo_$43290_calldata_ptrt_bytes32": {
+        "abi_decode_tuple_t_struct$_BitcoinTxInfo_$43336_calldata_ptrt_struct$_DepositRevealInfo_$43349_calldata_ptrt_bytes32": {
           "entryPoint": 2838,
           "id": null,
           "parameterSlots": 2,
           "returnSlots": 3
         },
-        "abi_decode_tuple_t_struct$_DepositRequest_$43305_memory_ptr_fromMemory": {
+        "abi_decode_tuple_t_struct$_DepositRequest_$43364_memory_ptr_fromMemory": {
           "entryPoint": 3843,
           "id": null,
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "abi_decode_tuple_t_struct$_DepositRevealInfo_$43290_memory_ptr": {
+        "abi_decode_tuple_t_struct$_DepositRevealInfo_$43349_memory_ptr": {
           "entryPoint": 3350,
           "id": null,
           "parameterSlots": 2,
@@ -448,13 +448,13 @@
           "parameterSlots": 5,
           "returnSlots": 1
         },
-        "abi_encode_tuple_t_contract$_IBridge_$43341__to_t_address__fromStack_reversed": {
+        "abi_encode_tuple_t_contract$_IBridge_$43400__to_t_address__fromStack_reversed": {
           "entryPoint": null,
           "id": null,
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "abi_encode_tuple_t_contract$_ITBTCVault_$43367__to_t_address__fromStack_reversed": {
+        "abi_encode_tuple_t_contract$_ITBTCVault_$43426__to_t_address__fromStack_reversed": {
           "entryPoint": null,
           "id": null,
           "parameterSlots": 2,
@@ -496,7 +496,7 @@
           "parameterSlots": 1,
           "returnSlots": 1
         },
-        "abi_encode_tuple_t_struct$_BitcoinTxInfo_$43277_memory_ptr_t_struct$_DepositRevealInfo_$43290_memory_ptr_t_bytes32__to_t_struct$_BitcoinTxInfo_$43277_memory_ptr_t_struct$_DepositRevealInfo_$43290_memory_ptr_t_bytes32__fromStack_reversed": {
+        "abi_encode_tuple_t_struct$_BitcoinTxInfo_$43336_memory_ptr_t_struct$_DepositRevealInfo_$43349_memory_ptr_t_bytes32__to_t_struct$_BitcoinTxInfo_$43336_memory_ptr_t_struct$_DepositRevealInfo_$43349_memory_ptr_t_bytes32__fromStack_reversed": {
           "entryPoint": 4150,
           "id": null,
           "parameterSlots": 4,
@@ -544,7 +544,7 @@
           "parameterSlots": 2,
           "returnSlots": 1
         },
-        "convert_t_struct$_BitcoinTxInfo_$43277_calldata_ptr_to_t_struct$_BitcoinTxInfo_$43277_memory_ptr": {
+        "convert_t_struct$_BitcoinTxInfo_$43336_calldata_ptr_to_t_struct$_BitcoinTxInfo_$43336_memory_ptr": {
           "entryPoint": 3135,
           "id": null,
           "parameterSlots": 1,
@@ -682,7 +682,7 @@
                     }
                   ]
                 },
-                "name": "abi_encode_tuple_t_contract$_ITBTCVault_$43367__to_t_address__fromStack_reversed",
+                "name": "abi_encode_tuple_t_contract$_ITBTCVault_$43426__to_t_address__fromStack_reversed",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -2169,7 +2169,7 @@
                     }
                   ]
                 },
-                "name": "abi_decode_tuple_t_struct$_BitcoinTxInfo_$43277_calldata_ptrt_struct$_DepositRevealInfo_$43290_calldata_ptrt_bytes32",
+                "name": "abi_decode_tuple_t_struct$_BitcoinTxInfo_$43336_calldata_ptrt_struct$_DepositRevealInfo_$43349_calldata_ptrt_bytes32",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -2291,7 +2291,7 @@
                     }
                   ]
                 },
-                "name": "abi_encode_tuple_t_contract$_IBridge_$43341__to_t_address__fromStack_reversed",
+                "name": "abi_encode_tuple_t_contract$_IBridge_$43400__to_t_address__fromStack_reversed",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -4263,7 +4263,7 @@
                     }
                   ]
                 },
-                "name": "convert_t_struct$_BitcoinTxInfo_$43277_calldata_ptr_to_t_struct$_BitcoinTxInfo_$43277_memory_ptr",
+                "name": "convert_t_struct$_BitcoinTxInfo_$43336_calldata_ptr_to_t_struct$_BitcoinTxInfo_$43336_memory_ptr",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -5393,7 +5393,7 @@
                     }
                   ]
                 },
-                "name": "abi_decode_tuple_t_struct$_DepositRevealInfo_$43290_memory_ptr",
+                "name": "abi_decode_tuple_t_struct$_DepositRevealInfo_$43349_memory_ptr",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -7921,7 +7921,7 @@
                     }
                   ]
                 },
-                "name": "abi_decode_tuple_t_struct$_DepositRequest_$43305_memory_ptr_fromMemory",
+                "name": "abi_decode_tuple_t_struct$_DepositRequest_$43364_memory_ptr_fromMemory",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -11019,7 +11019,7 @@
                     }
                   ]
                 },
-                "name": "abi_encode_tuple_t_struct$_BitcoinTxInfo_$43277_memory_ptr_t_struct$_DepositRevealInfo_$43290_memory_ptr_t_bytes32__to_t_struct$_BitcoinTxInfo_$43277_memory_ptr_t_struct$_DepositRevealInfo_$43290_memory_ptr_t_bytes32__fromStack_reversed",
+                "name": "abi_encode_tuple_t_struct$_BitcoinTxInfo_$43336_memory_ptr_t_struct$_DepositRevealInfo_$43349_memory_ptr_t_bytes32__to_t_struct$_BitcoinTxInfo_$43336_memory_ptr_t_struct$_DepositRevealInfo_$43349_memory_ptr_t_bytes32__fromStack_reversed",
                 "nodeType": "YulFunctionDefinition",
                 "parameters": [
                   {
@@ -11694,7 +11694,7 @@
               }
             ]
           },
-          "contents": "{\n    { }\n    function abi_encode_tuple_t_contract$_ITBTCVault_$43367__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function validator_revert_uint64(value)\n    {\n        if iszero(eq(value, and(value, 0xffffffffffffffff))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_uint64t_uint64(headStart, dataEnd) -> value0, value1\n    {\n        if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_uint64(value)\n        value0 := value\n        let value_1 := calldataload(add(headStart, 32))\n        validator_revert_uint64(value_1)\n        value1 := value_1\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_uint256(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        value0 := calldataload(headStart)\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_addresst_address(headStart, dataEnd) -> value0, value1\n    {\n        if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_address(value)\n        value0 := value\n        let value_1 := calldataload(add(headStart, 32))\n        validator_revert_address(value_1)\n        value1 := value_1\n    }\n    function abi_decode_tuple_t_struct$_BitcoinTxInfo_$43277_calldata_ptrt_struct$_DepositRevealInfo_$43290_calldata_ptrt_bytes32(headStart, dataEnd) -> value0, value1, value2\n    {\n        let _1 := sub(dataEnd, headStart)\n        if slt(_1, 256) { revert(0, 0) }\n        let offset := calldataload(headStart)\n        if gt(offset, 0xffffffffffffffff) { revert(0, 0) }\n        let _2 := add(headStart, offset)\n        if slt(sub(dataEnd, _2), 128) { revert(0, 0) }\n        value0 := _2\n        if slt(add(_1, not(31)), 192) { revert(0, 0) }\n        value1 := add(headStart, 32)\n        value2 := calldataload(add(headStart, 224))\n    }\n    function abi_encode_tuple_t_contract$_IBridge_$43341__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_uint256_t_uint256_t_bytes32__to_t_uint256_t_uint256_t_bytes32__fromStack_reversed(headStart, value2, value1, value0) -> tail\n    {\n        tail := add(headStart, 96)\n        mstore(headStart, value0)\n        mstore(add(headStart, 32), value1)\n        mstore(add(headStart, 64), value2)\n    }\n    function panic_error_0x41()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x41)\n        revert(0, 0x24)\n    }\n    function abi_decode_bytes4(offset) -> value\n    {\n        value := calldataload(offset)\n        if iszero(eq(value, and(value, 0xffffffff00000000000000000000000000000000000000000000000000000000))) { revert(0, 0) }\n    }\n    function abi_decode_bytes(offset, end) -> array\n    {\n        if iszero(slt(add(offset, 0x1f), end)) { revert(0, 0) }\n        let _1 := calldataload(offset)\n        let _2 := 0xffffffffffffffff\n        if gt(_1, _2) { panic_error_0x41() }\n        let _3 := not(31)\n        let memPtr := mload(64)\n        let newFreePtr := add(memPtr, and(add(and(add(_1, 0x1f), _3), 63), _3))\n        if or(gt(newFreePtr, _2), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n        mstore(64, newFreePtr)\n        mstore(memPtr, _1)\n        if gt(add(add(offset, _1), 0x20), end) { revert(0, 0) }\n        calldatacopy(add(memPtr, 0x20), add(offset, 0x20), _1)\n        mstore(add(add(memPtr, _1), 0x20), 0)\n        array := memPtr\n    }\n    function convert_t_struct$_BitcoinTxInfo_$43277_calldata_ptr_to_t_struct$_BitcoinTxInfo_$43277_memory_ptr(value) -> converted\n    {\n        if slt(sub(calldatasize(), value), 0x80) { revert(0, 0) }\n        let memPtr := mload(64)\n        let newFreePtr := add(memPtr, 0x80)\n        let _1 := 0xffffffffffffffff\n        if or(gt(newFreePtr, _1), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n        mstore(64, newFreePtr)\n        mstore(memPtr, abi_decode_bytes4(value))\n        let offset := calldataload(add(value, 32))\n        if gt(offset, _1) { revert(0, 0) }\n        mstore(add(memPtr, 32), abi_decode_bytes(add(value, offset), calldatasize()))\n        let offset_1 := calldataload(add(value, 64))\n        if gt(offset_1, _1) { revert(0, 0) }\n        mstore(add(memPtr, 64), abi_decode_bytes(add(value, offset_1), calldatasize()))\n        mstore(add(memPtr, 96), abi_decode_bytes4(add(value, 96)))\n        converted := memPtr\n    }\n    function validator_revert_uint32(value)\n    {\n        if iszero(eq(value, and(value, 0xffffffff))) { revert(0, 0) }\n    }\n    function abi_decode_bytes20(offset) -> value\n    {\n        value := calldataload(offset)\n        if iszero(eq(value, and(value, not(0xffffffffffffffffffffffff)))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_struct$_DepositRevealInfo_$43290_memory_ptr(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 192) { revert(0, 0) }\n        let memPtr := mload(64)\n        let newFreePtr := add(memPtr, 192)\n        if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n        mstore(64, newFreePtr)\n        let value := calldataload(headStart)\n        validator_revert_uint32(value)\n        mstore(memPtr, value)\n        let value_1 := calldataload(add(headStart, 32))\n        if iszero(eq(value_1, and(value_1, 0xffffffffffffffff000000000000000000000000000000000000000000000000))) { revert(0, 0) }\n        mstore(add(memPtr, 32), value_1)\n        mstore(add(memPtr, 64), abi_decode_bytes20(add(headStart, 64)))\n        mstore(add(memPtr, 96), abi_decode_bytes20(add(headStart, 96)))\n        mstore(add(memPtr, 128), abi_decode_bytes4(add(headStart, 128)))\n        let value_2 := calldataload(add(headStart, 160))\n        validator_revert_address(value_2)\n        mstore(add(memPtr, 160), value_2)\n        value0 := memPtr\n    }\n    function abi_encode_tuple_t_uint256_t_uint256__to_t_uint256_t_uint256__fromStack_reversed(headStart, value1, value0) -> tail\n    {\n        tail := add(headStart, 64)\n        mstore(headStart, value0)\n        mstore(add(headStart, 32), value1)\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_uint64(x, y) -> diff\n    {\n        let _1 := 0xffffffffffffffff\n        diff := sub(and(x, _1), and(y, _1))\n        if gt(diff, _1) { panic_error_0x11() }\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_decode_uint32_fromMemory(offset) -> value\n    {\n        value := mload(offset)\n        validator_revert_uint32(value)\n    }\n    function abi_decode_tuple_t_uint32_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := mload(headStart)\n        validator_revert_uint32(value)\n        value0 := value\n    }\n    function checked_div_t_uint256(x, y) -> r\n    {\n        if iszero(y)\n        {\n            mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n            mstore(4, 0x12)\n            revert(0, 0x24)\n        }\n        r := div(x, y)\n    }\n    function abi_decode_uint64_fromMemory(offset) -> value\n    {\n        value := mload(offset)\n        validator_revert_uint64(value)\n    }\n    function abi_decode_tuple_t_uint64t_uint64t_uint64t_uint32_fromMemory(headStart, dataEnd) -> value0, value1, value2, value3\n    {\n        if slt(sub(dataEnd, headStart), 128) { revert(0, 0) }\n        let value := mload(headStart)\n        validator_revert_uint64(value)\n        value0 := value\n        let value_1 := mload(add(headStart, 32))\n        validator_revert_uint64(value_1)\n        value1 := value_1\n        let value_2 := mload(add(headStart, 64))\n        validator_revert_uint64(value_2)\n        value2 := value_2\n        let value_3 := mload(add(headStart, 96))\n        validator_revert_uint32(value_3)\n        value3 := value_3\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 abi_decode_tuple_t_struct$_DepositRequest_$43305_memory_ptr_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 224) { revert(0, 0) }\n        let memPtr := mload(64)\n        let newFreePtr := add(memPtr, 224)\n        if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n        mstore(64, newFreePtr)\n        let value := mload(headStart)\n        validator_revert_address(value)\n        mstore(memPtr, value)\n        let value_1 := mload(add(headStart, 32))\n        validator_revert_uint64(value_1)\n        mstore(add(memPtr, 32), value_1)\n        let value_2 := mload(add(headStart, 64))\n        validator_revert_uint32(value_2)\n        mstore(add(memPtr, 64), value_2)\n        let value_3 := mload(add(headStart, 96))\n        validator_revert_address(value_3)\n        mstore(add(memPtr, 96), value_3)\n        mstore(add(memPtr, 128), abi_decode_uint64_fromMemory(add(headStart, 128)))\n        mstore(add(memPtr, 160), abi_decode_uint32_fromMemory(add(headStart, 160)))\n        mstore(add(memPtr, 192), mload(add(headStart, 192)))\n        value0 := memPtr\n    }\n    function abi_encode_tuple_t_stringliteral_a22c5492e3bbf62628c3639d146ef6d29404a8ed681d7570aefcb4c9a127dc68__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), \"Deposit not initialized\")\n        tail := add(headStart, 96)\n    }\n    function abi_decode_tuple_t_uint64t_uint64_fromMemory(headStart, dataEnd) -> value0, value1\n    {\n        if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n        let value := mload(headStart)\n        validator_revert_uint64(value)\n        value0 := value\n        let value_1 := mload(add(headStart, 32))\n        validator_revert_uint64(value_1)\n        value1 := value_1\n    }\n    function abi_encode_tuple_t_stringliteral_b141f897042002a7b18c2cb3ee0657fc4f93a1f92d795d1d0e33417fc6d4ecac__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), \"Deposit not finalized by the bri\")\n        mstore(add(headStart, 96), \"dge\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_c27d5f37513c387d1053c609b57d3b00bf86aa3a13d927606aed17922d871afc__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), \"AbstractBTCDepositor already ini\")\n        mstore(add(headStart, 96), \"tialized\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_a5f2df3278bec3ff851d28fa758b66b508d6c4f2d86d45f7673a2e1832345ad4__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), \"Bridge address cannot be zero\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_eae8f1cb8e043fbf871567251d6d99f91d8da87f290d40b67fbb5d9db58dffc4__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), \"TBTCVault address cannot be zero\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_155f2acb252e9cd4e5b6c8544663ca266aba5552dccb43cd5c1473dbc7793b45__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 22)\n        mstore(add(headStart, 64), \"Vault address mismatch\")\n        tail := add(headStart, 96)\n    }\n    function copy_memory_to_memory_with_cleanup(src, dst, length)\n    {\n        let i := 0\n        for { } lt(i, length) { i := add(i, 32) }\n        {\n            mstore(add(dst, i), mload(add(src, i)))\n        }\n        mstore(add(dst, length), 0)\n    }\n    function abi_encode_bytes(value, pos) -> end\n    {\n        let length := mload(value)\n        mstore(pos, length)\n        copy_memory_to_memory_with_cleanup(add(value, 0x20), add(pos, 0x20), length)\n        end := add(add(pos, and(add(length, 31), not(31))), 0x20)\n    }\n    function abi_encode_tuple_t_struct$_BitcoinTxInfo_$43277_memory_ptr_t_struct$_DepositRevealInfo_$43290_memory_ptr_t_bytes32__to_t_struct$_BitcoinTxInfo_$43277_memory_ptr_t_struct$_DepositRevealInfo_$43290_memory_ptr_t_bytes32__fromStack_reversed(headStart, value2, value1, value0) -> tail\n    {\n        let _1 := 256\n        mstore(headStart, _1)\n        let _2 := 0xffffffff00000000000000000000000000000000000000000000000000000000\n        mstore(add(headStart, _1), and(mload(value0), _2))\n        let memberValue0 := mload(add(value0, 0x20))\n        mstore(add(headStart, 288), 0x80)\n        let tail_1 := abi_encode_bytes(memberValue0, add(headStart, 384))\n        let memberValue0_1 := mload(add(value0, 0x40))\n        mstore(add(headStart, 320), add(sub(tail_1, headStart), not(255)))\n        let tail_2 := abi_encode_bytes(memberValue0_1, tail_1)\n        mstore(add(headStart, 352), and(mload(add(value0, 0x60)), _2))\n        tail := tail_2\n        mstore(add(headStart, 0x20), and(mload(value1), 0xffffffff))\n        mstore(add(headStart, 0x40), and(mload(add(value1, 0x20)), 0xffffffffffffffff000000000000000000000000000000000000000000000000))\n        let memberValue0_2 := mload(add(value1, 0x40))\n        let _3 := not(0xffffffffffffffffffffffff)\n        mstore(add(headStart, 0x60), and(memberValue0_2, _3))\n        mstore(add(headStart, 0x80), and(mload(add(value1, 0x60)), _3))\n        mstore(add(headStart, 160), and(mload(add(value1, 0x80)), _2))\n        mstore(add(headStart, 192), and(mload(add(value1, 160)), 0xffffffffffffffffffffffffffffffffffffffff))\n        mstore(add(headStart, 224), value2)\n    }\n    function abi_encode_tuple_packed_t_bytes4_t_bytes_memory_ptr_t_bytes_memory_ptr_t_bytes4__to_t_bytes4_t_bytes_memory_ptr_t_bytes_memory_ptr_t_bytes4__nonPadded_inplace_fromStack_reversed(pos, value3, value2, value1, value0) -> end\n    {\n        let _1 := 0xffffffff00000000000000000000000000000000000000000000000000000000\n        mstore(pos, and(value0, _1))\n        let length := mload(value1)\n        copy_memory_to_memory_with_cleanup(add(value1, 0x20), add(pos, 4), length)\n        let _2 := add(pos, length)\n        let length_1 := mload(value2)\n        copy_memory_to_memory_with_cleanup(add(value2, 0x20), add(_2, 4), length_1)\n        let _3 := add(_2, length_1)\n        mstore(add(_3, 4), and(value3, _1))\n        end := add(_3, 8)\n    }\n    function abi_encode_tuple_packed_t_bytes32_t_uint32__to_t_bytes32_t_uint32__nonPadded_inplace_fromStack_reversed(pos, value1, value0) -> end\n    {\n        mstore(pos, value0)\n        mstore(add(pos, 32), and(shl(224, value1), 0xffffffff00000000000000000000000000000000000000000000000000000000))\n        end := add(pos, 36)\n    }\n}",
+          "contents": "{\n    { }\n    function abi_encode_tuple_t_contract$_ITBTCVault_$43426__to_t_address__fromStack_reversed(headStart, value0) -> tail\n    {\n        tail := add(headStart, 32)\n        mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n    }\n    function validator_revert_uint64(value)\n    {\n        if iszero(eq(value, and(value, 0xffffffffffffffff))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_uint64t_uint64(headStart, dataEnd) -> value0, value1\n    {\n        if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_uint64(value)\n        value0 := value\n        let value_1 := calldataload(add(headStart, 32))\n        validator_revert_uint64(value_1)\n        value1 := value_1\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_uint256(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        value0 := calldataload(headStart)\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_addresst_address(headStart, dataEnd) -> value0, value1\n    {\n        if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n        let value := calldataload(headStart)\n        validator_revert_address(value)\n        value0 := value\n        let value_1 := calldataload(add(headStart, 32))\n        validator_revert_address(value_1)\n        value1 := value_1\n    }\n    function abi_decode_tuple_t_struct$_BitcoinTxInfo_$43336_calldata_ptrt_struct$_DepositRevealInfo_$43349_calldata_ptrt_bytes32(headStart, dataEnd) -> value0, value1, value2\n    {\n        let _1 := sub(dataEnd, headStart)\n        if slt(_1, 256) { revert(0, 0) }\n        let offset := calldataload(headStart)\n        if gt(offset, 0xffffffffffffffff) { revert(0, 0) }\n        let _2 := add(headStart, offset)\n        if slt(sub(dataEnd, _2), 128) { revert(0, 0) }\n        value0 := _2\n        if slt(add(_1, not(31)), 192) { revert(0, 0) }\n        value1 := add(headStart, 32)\n        value2 := calldataload(add(headStart, 224))\n    }\n    function abi_encode_tuple_t_contract$_IBridge_$43400__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_uint256_t_uint256_t_bytes32__to_t_uint256_t_uint256_t_bytes32__fromStack_reversed(headStart, value2, value1, value0) -> tail\n    {\n        tail := add(headStart, 96)\n        mstore(headStart, value0)\n        mstore(add(headStart, 32), value1)\n        mstore(add(headStart, 64), value2)\n    }\n    function panic_error_0x41()\n    {\n        mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n        mstore(4, 0x41)\n        revert(0, 0x24)\n    }\n    function abi_decode_bytes4(offset) -> value\n    {\n        value := calldataload(offset)\n        if iszero(eq(value, and(value, 0xffffffff00000000000000000000000000000000000000000000000000000000))) { revert(0, 0) }\n    }\n    function abi_decode_bytes(offset, end) -> array\n    {\n        if iszero(slt(add(offset, 0x1f), end)) { revert(0, 0) }\n        let _1 := calldataload(offset)\n        let _2 := 0xffffffffffffffff\n        if gt(_1, _2) { panic_error_0x41() }\n        let _3 := not(31)\n        let memPtr := mload(64)\n        let newFreePtr := add(memPtr, and(add(and(add(_1, 0x1f), _3), 63), _3))\n        if or(gt(newFreePtr, _2), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n        mstore(64, newFreePtr)\n        mstore(memPtr, _1)\n        if gt(add(add(offset, _1), 0x20), end) { revert(0, 0) }\n        calldatacopy(add(memPtr, 0x20), add(offset, 0x20), _1)\n        mstore(add(add(memPtr, _1), 0x20), 0)\n        array := memPtr\n    }\n    function convert_t_struct$_BitcoinTxInfo_$43336_calldata_ptr_to_t_struct$_BitcoinTxInfo_$43336_memory_ptr(value) -> converted\n    {\n        if slt(sub(calldatasize(), value), 0x80) { revert(0, 0) }\n        let memPtr := mload(64)\n        let newFreePtr := add(memPtr, 0x80)\n        let _1 := 0xffffffffffffffff\n        if or(gt(newFreePtr, _1), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n        mstore(64, newFreePtr)\n        mstore(memPtr, abi_decode_bytes4(value))\n        let offset := calldataload(add(value, 32))\n        if gt(offset, _1) { revert(0, 0) }\n        mstore(add(memPtr, 32), abi_decode_bytes(add(value, offset), calldatasize()))\n        let offset_1 := calldataload(add(value, 64))\n        if gt(offset_1, _1) { revert(0, 0) }\n        mstore(add(memPtr, 64), abi_decode_bytes(add(value, offset_1), calldatasize()))\n        mstore(add(memPtr, 96), abi_decode_bytes4(add(value, 96)))\n        converted := memPtr\n    }\n    function validator_revert_uint32(value)\n    {\n        if iszero(eq(value, and(value, 0xffffffff))) { revert(0, 0) }\n    }\n    function abi_decode_bytes20(offset) -> value\n    {\n        value := calldataload(offset)\n        if iszero(eq(value, and(value, not(0xffffffffffffffffffffffff)))) { revert(0, 0) }\n    }\n    function abi_decode_tuple_t_struct$_DepositRevealInfo_$43349_memory_ptr(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 192) { revert(0, 0) }\n        let memPtr := mload(64)\n        let newFreePtr := add(memPtr, 192)\n        if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n        mstore(64, newFreePtr)\n        let value := calldataload(headStart)\n        validator_revert_uint32(value)\n        mstore(memPtr, value)\n        let value_1 := calldataload(add(headStart, 32))\n        if iszero(eq(value_1, and(value_1, 0xffffffffffffffff000000000000000000000000000000000000000000000000))) { revert(0, 0) }\n        mstore(add(memPtr, 32), value_1)\n        mstore(add(memPtr, 64), abi_decode_bytes20(add(headStart, 64)))\n        mstore(add(memPtr, 96), abi_decode_bytes20(add(headStart, 96)))\n        mstore(add(memPtr, 128), abi_decode_bytes4(add(headStart, 128)))\n        let value_2 := calldataload(add(headStart, 160))\n        validator_revert_address(value_2)\n        mstore(add(memPtr, 160), value_2)\n        value0 := memPtr\n    }\n    function abi_encode_tuple_t_uint256_t_uint256__to_t_uint256_t_uint256__fromStack_reversed(headStart, value1, value0) -> tail\n    {\n        tail := add(headStart, 64)\n        mstore(headStart, value0)\n        mstore(add(headStart, 32), value1)\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_uint64(x, y) -> diff\n    {\n        let _1 := 0xffffffffffffffff\n        diff := sub(and(x, _1), and(y, _1))\n        if gt(diff, _1) { panic_error_0x11() }\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_decode_uint32_fromMemory(offset) -> value\n    {\n        value := mload(offset)\n        validator_revert_uint32(value)\n    }\n    function abi_decode_tuple_t_uint32_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n        let value := mload(headStart)\n        validator_revert_uint32(value)\n        value0 := value\n    }\n    function checked_div_t_uint256(x, y) -> r\n    {\n        if iszero(y)\n        {\n            mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n            mstore(4, 0x12)\n            revert(0, 0x24)\n        }\n        r := div(x, y)\n    }\n    function abi_decode_uint64_fromMemory(offset) -> value\n    {\n        value := mload(offset)\n        validator_revert_uint64(value)\n    }\n    function abi_decode_tuple_t_uint64t_uint64t_uint64t_uint32_fromMemory(headStart, dataEnd) -> value0, value1, value2, value3\n    {\n        if slt(sub(dataEnd, headStart), 128) { revert(0, 0) }\n        let value := mload(headStart)\n        validator_revert_uint64(value)\n        value0 := value\n        let value_1 := mload(add(headStart, 32))\n        validator_revert_uint64(value_1)\n        value1 := value_1\n        let value_2 := mload(add(headStart, 64))\n        validator_revert_uint64(value_2)\n        value2 := value_2\n        let value_3 := mload(add(headStart, 96))\n        validator_revert_uint32(value_3)\n        value3 := value_3\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 abi_decode_tuple_t_struct$_DepositRequest_$43364_memory_ptr_fromMemory(headStart, dataEnd) -> value0\n    {\n        if slt(sub(dataEnd, headStart), 224) { revert(0, 0) }\n        let memPtr := mload(64)\n        let newFreePtr := add(memPtr, 224)\n        if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n        mstore(64, newFreePtr)\n        let value := mload(headStart)\n        validator_revert_address(value)\n        mstore(memPtr, value)\n        let value_1 := mload(add(headStart, 32))\n        validator_revert_uint64(value_1)\n        mstore(add(memPtr, 32), value_1)\n        let value_2 := mload(add(headStart, 64))\n        validator_revert_uint32(value_2)\n        mstore(add(memPtr, 64), value_2)\n        let value_3 := mload(add(headStart, 96))\n        validator_revert_address(value_3)\n        mstore(add(memPtr, 96), value_3)\n        mstore(add(memPtr, 128), abi_decode_uint64_fromMemory(add(headStart, 128)))\n        mstore(add(memPtr, 160), abi_decode_uint32_fromMemory(add(headStart, 160)))\n        mstore(add(memPtr, 192), mload(add(headStart, 192)))\n        value0 := memPtr\n    }\n    function abi_encode_tuple_t_stringliteral_a22c5492e3bbf62628c3639d146ef6d29404a8ed681d7570aefcb4c9a127dc68__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), \"Deposit not initialized\")\n        tail := add(headStart, 96)\n    }\n    function abi_decode_tuple_t_uint64t_uint64_fromMemory(headStart, dataEnd) -> value0, value1\n    {\n        if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n        let value := mload(headStart)\n        validator_revert_uint64(value)\n        value0 := value\n        let value_1 := mload(add(headStart, 32))\n        validator_revert_uint64(value_1)\n        value1 := value_1\n    }\n    function abi_encode_tuple_t_stringliteral_b141f897042002a7b18c2cb3ee0657fc4f93a1f92d795d1d0e33417fc6d4ecac__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), \"Deposit not finalized by the bri\")\n        mstore(add(headStart, 96), \"dge\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_c27d5f37513c387d1053c609b57d3b00bf86aa3a13d927606aed17922d871afc__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), \"AbstractBTCDepositor already ini\")\n        mstore(add(headStart, 96), \"tialized\")\n        tail := add(headStart, 128)\n    }\n    function abi_encode_tuple_t_stringliteral_a5f2df3278bec3ff851d28fa758b66b508d6c4f2d86d45f7673a2e1832345ad4__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), \"Bridge address cannot be zero\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_eae8f1cb8e043fbf871567251d6d99f91d8da87f290d40b67fbb5d9db58dffc4__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), \"TBTCVault address cannot be zero\")\n        tail := add(headStart, 96)\n    }\n    function abi_encode_tuple_t_stringliteral_155f2acb252e9cd4e5b6c8544663ca266aba5552dccb43cd5c1473dbc7793b45__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n    {\n        mstore(headStart, 32)\n        mstore(add(headStart, 32), 22)\n        mstore(add(headStart, 64), \"Vault address mismatch\")\n        tail := add(headStart, 96)\n    }\n    function copy_memory_to_memory_with_cleanup(src, dst, length)\n    {\n        let i := 0\n        for { } lt(i, length) { i := add(i, 32) }\n        {\n            mstore(add(dst, i), mload(add(src, i)))\n        }\n        mstore(add(dst, length), 0)\n    }\n    function abi_encode_bytes(value, pos) -> end\n    {\n        let length := mload(value)\n        mstore(pos, length)\n        copy_memory_to_memory_with_cleanup(add(value, 0x20), add(pos, 0x20), length)\n        end := add(add(pos, and(add(length, 31), not(31))), 0x20)\n    }\n    function abi_encode_tuple_t_struct$_BitcoinTxInfo_$43336_memory_ptr_t_struct$_DepositRevealInfo_$43349_memory_ptr_t_bytes32__to_t_struct$_BitcoinTxInfo_$43336_memory_ptr_t_struct$_DepositRevealInfo_$43349_memory_ptr_t_bytes32__fromStack_reversed(headStart, value2, value1, value0) -> tail\n    {\n        let _1 := 256\n        mstore(headStart, _1)\n        let _2 := 0xffffffff00000000000000000000000000000000000000000000000000000000\n        mstore(add(headStart, _1), and(mload(value0), _2))\n        let memberValue0 := mload(add(value0, 0x20))\n        mstore(add(headStart, 288), 0x80)\n        let tail_1 := abi_encode_bytes(memberValue0, add(headStart, 384))\n        let memberValue0_1 := mload(add(value0, 0x40))\n        mstore(add(headStart, 320), add(sub(tail_1, headStart), not(255)))\n        let tail_2 := abi_encode_bytes(memberValue0_1, tail_1)\n        mstore(add(headStart, 352), and(mload(add(value0, 0x60)), _2))\n        tail := tail_2\n        mstore(add(headStart, 0x20), and(mload(value1), 0xffffffff))\n        mstore(add(headStart, 0x40), and(mload(add(value1, 0x20)), 0xffffffffffffffff000000000000000000000000000000000000000000000000))\n        let memberValue0_2 := mload(add(value1, 0x40))\n        let _3 := not(0xffffffffffffffffffffffff)\n        mstore(add(headStart, 0x60), and(memberValue0_2, _3))\n        mstore(add(headStart, 0x80), and(mload(add(value1, 0x60)), _3))\n        mstore(add(headStart, 160), and(mload(add(value1, 0x80)), _2))\n        mstore(add(headStart, 192), and(mload(add(value1, 160)), 0xffffffffffffffffffffffffffffffffffffffff))\n        mstore(add(headStart, 224), value2)\n    }\n    function abi_encode_tuple_packed_t_bytes4_t_bytes_memory_ptr_t_bytes_memory_ptr_t_bytes4__to_t_bytes4_t_bytes_memory_ptr_t_bytes_memory_ptr_t_bytes4__nonPadded_inplace_fromStack_reversed(pos, value3, value2, value1, value0) -> end\n    {\n        let _1 := 0xffffffff00000000000000000000000000000000000000000000000000000000\n        mstore(pos, and(value0, _1))\n        let length := mload(value1)\n        copy_memory_to_memory_with_cleanup(add(value1, 0x20), add(pos, 4), length)\n        let _2 := add(pos, length)\n        let length_1 := mload(value2)\n        copy_memory_to_memory_with_cleanup(add(value2, 0x20), add(_2, 4), length_1)\n        let _3 := add(_2, length_1)\n        mstore(add(_3, 4), and(value3, _1))\n        end := add(_3, 8)\n    }\n    function abi_encode_tuple_packed_t_bytes32_t_uint32__to_t_bytes32_t_uint32__nonPadded_inplace_fromStack_reversed(pos, value1, value0) -> end\n    {\n        mstore(pos, value0)\n        mstore(add(pos, 32), and(shl(224, value1), 0xffffffff00000000000000000000000000000000000000000000000000000000))\n        end := add(pos, 36)\n    }\n}",
           "id": 152,
           "language": "Yul",
           "name": "#utility.yul"
@@ -11737,23 +11737,23 @@
   "storageLayout": {
     "storage": [
       {
-        "astId": 42946,
+        "astId": 43005,
         "contract": "contracts/test/TestBTCDepositor.sol:TestBTCDepositor",
         "label": "bridge",
         "offset": 0,
         "slot": "0",
-        "type": "t_contract(IBridge)43341"
+        "type": "t_contract(IBridge)43400"
       },
       {
-        "astId": 42950,
+        "astId": 43009,
         "contract": "contracts/test/TestBTCDepositor.sol:TestBTCDepositor",
         "label": "tbtcVault",
         "offset": 0,
         "slot": "1",
-        "type": "t_contract(ITBTCVault)43367"
+        "type": "t_contract(ITBTCVault)43426"
       },
       {
-        "astId": 42954,
+        "astId": 43013,
         "contract": "contracts/test/TestBTCDepositor.sol:TestBTCDepositor",
         "label": "__gap",
         "offset": 0,
@@ -11768,12 +11768,12 @@
         "label": "uint256[47]",
         "numberOfBytes": "1504"
       },
-      "t_contract(IBridge)43341": {
+      "t_contract(IBridge)43400": {
         "encoding": "inplace",
         "label": "contract IBridge",
         "numberOfBytes": "20"
       },
-      "t_contract(ITBTCVault)43367": {
+      "t_contract(ITBTCVault)43426": {
         "encoding": "inplace",
         "label": "contract ITBTCVault",
         "numberOfBytes": "20"