@keep-network/tbtc-v2 1.6.0 → 1.7.0-dev.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/artifacts/.chainId +1 -1
- package/artifacts/BLS.json +223 -0
- package/artifacts/Bank.json +50 -40
- package/artifacts/BeaconAuthorization.json +273 -0
- package/artifacts/BeaconDkg.json +241 -0
- package/artifacts/BeaconDkgValidator.json +501 -0
- package/artifacts/BeaconInactivity.json +151 -0
- package/artifacts/BeaconSortitionPool.json +1187 -0
- package/artifacts/Bridge.json +449 -32
- package/artifacts/BridgeGovernance.json +22 -22
- package/artifacts/BridgeGovernanceParameters.json +10 -10
- package/artifacts/Deposit.json +12 -12
- package/artifacts/DepositSweep.json +12 -12
- package/artifacts/DonationVault.json +17 -17
- package/artifacts/EcdsaDkgValidator.json +517 -0
- package/artifacts/EcdsaInactivity.json +156 -0
- package/artifacts/EcdsaSortitionPool.json +1187 -0
- package/artifacts/Fraud.json +12 -12
- package/artifacts/LightRelay.json +38 -38
- package/artifacts/LightRelayMaintainerProxy.json +31 -31
- package/artifacts/MaintainerProxy.json +43 -43
- package/artifacts/MovingFunds.json +12 -12
- package/artifacts/NuCypherToken.json +711 -0
- package/artifacts/RandomBeacon.json +3271 -0
- package/artifacts/RandomBeaconChaosnet.json +252 -0
- package/artifacts/RandomBeaconGovernance.json +3499 -0
- package/artifacts/Redemption.json +12 -12
- package/artifacts/RedemptionWatchtower.json +39 -39
- package/artifacts/ReimbursementPool.json +509 -0
- package/artifacts/T.json +1148 -0
- package/artifacts/TBTC.json +37 -36
- package/artifacts/TBTCToken.json +738 -0
- package/artifacts/TBTCVault.json +47 -47
- package/artifacts/TokenStaking.json +2117 -0
- package/artifacts/TokenholderGovernor.json +1795 -0
- package/artifacts/TokenholderTimelock.json +1058 -0
- package/artifacts/VendingMachine.json +35 -34
- package/artifacts/VendingMachineNuCypher.json +400 -0
- package/artifacts/VendingMachineV2.json +21 -21
- package/artifacts/VendingMachineV3.json +21 -21
- package/artifacts/WalletProposalValidator.json +12 -12
- package/artifacts/WalletRegistry.json +1962 -0
- package/artifacts/WalletRegistryGovernance.json +2863 -0
- package/artifacts/Wallets.json +12 -12
- package/artifacts/solcInputs/{be146ce112252bdda3a03de3614fbbf1.json → c151efc9521638a56d4195bcc684d7ff.json} +2 -2
- package/build/contracts/GovernanceUtils.sol/GovernanceUtils.dbg.json +1 -1
- package/build/contracts/bank/Bank.sol/Bank.dbg.json +1 -1
- package/build/contracts/bank/IReceiveBalanceApproval.sol/IReceiveBalanceApproval.dbg.json +1 -1
- package/build/contracts/bridge/BitcoinTx.sol/BitcoinTx.dbg.json +1 -1
- package/build/contracts/bridge/Bridge.sol/Bridge.dbg.json +1 -1
- package/build/contracts/bridge/BridgeGovernanceParameters.sol/BridgeGovernanceParameters.dbg.json +1 -1
- package/build/contracts/bridge/BridgeState.sol/BridgeState.dbg.json +1 -1
- package/build/contracts/bridge/Deposit.sol/Deposit.dbg.json +1 -1
- package/build/contracts/bridge/DepositSweep.sol/DepositSweep.dbg.json +1 -1
- package/build/contracts/bridge/EcdsaLib.sol/EcdsaLib.dbg.json +1 -1
- package/build/contracts/bridge/Fraud.sol/Fraud.dbg.json +1 -1
- package/build/contracts/bridge/Heartbeat.sol/Heartbeat.dbg.json +1 -1
- package/build/contracts/bridge/IRelay.sol/IRelay.dbg.json +1 -1
- package/build/contracts/bridge/MovingFunds.sol/MovingFunds.dbg.json +1 -1
- package/build/contracts/bridge/Redemption.sol/IRedemptionWatchtower.dbg.json +1 -1
- package/build/contracts/bridge/Redemption.sol/OutboundTx.dbg.json +1 -1
- package/build/contracts/bridge/Redemption.sol/Redemption.dbg.json +1 -1
- package/build/contracts/bridge/RedemptionWatchtower.sol/RedemptionWatchtower.dbg.json +1 -1
- package/build/contracts/bridge/VendingMachine.sol/VendingMachine.dbg.json +1 -1
- package/build/contracts/bridge/VendingMachineV2.sol/VendingMachineV2.dbg.json +1 -1
- package/build/contracts/bridge/VendingMachineV3.sol/VendingMachineV3.dbg.json +1 -1
- package/build/contracts/bridge/WalletProposalValidator.sol/WalletProposalValidator.dbg.json +1 -1
- package/build/contracts/bridge/Wallets.sol/Wallets.dbg.json +1 -1
- package/build/contracts/integrator/AbstractTBTCDepositor.sol/AbstractTBTCDepositor.dbg.json +1 -1
- package/build/contracts/integrator/IBridge.sol/IBridge.dbg.json +1 -1
- package/build/contracts/integrator/IBridge.sol/IBridgeTypes.dbg.json +1 -1
- package/build/contracts/integrator/ITBTCVault.sol/ITBTCVault.dbg.json +1 -1
- package/build/contracts/l2/L2TBTC.sol/L2TBTC.dbg.json +1 -1
- package/build/contracts/l2/L2WormholeGateway.sol/IWormholeTokenBridge.dbg.json +1 -1
- package/build/contracts/l2/L2WormholeGateway.sol/L2WormholeGateway.dbg.json +1 -1
- package/build/contracts/maintainer/MaintainerProxy.sol/MaintainerProxy.dbg.json +1 -1
- package/build/contracts/relay/LightRelay.sol/ILightRelay.dbg.json +1 -1
- package/build/contracts/relay/LightRelay.sol/LightRelay.dbg.json +1 -1
- package/build/contracts/relay/LightRelay.sol/RelayUtils.dbg.json +1 -1
- package/build/contracts/relay/LightRelayMaintainerProxy.sol/LightRelayMaintainerProxy.dbg.json +1 -1
- package/build/contracts/test/BankStub.sol/BankStub.dbg.json +1 -1
- package/build/contracts/test/BridgeStub.sol/BridgeStub.dbg.json +1 -1
- package/build/contracts/test/HeartbeatStub.sol/HeartbeatStub.dbg.json +1 -1
- package/build/contracts/test/LightRelayStub.sol/LightRelayStub.dbg.json +1 -1
- package/build/contracts/test/ReceiveApprovalStub.sol/ReceiveApprovalStub.dbg.json +1 -1
- package/build/contracts/test/SepoliaLightRelay.sol/SepoliaLightRelay.dbg.json +1 -1
- package/build/contracts/test/SystemTestRelay.sol/SystemTestRelay.dbg.json +1 -1
- package/build/contracts/test/TestBitcoinTx.sol/TestBitcoinTx.dbg.json +1 -1
- package/build/contracts/test/TestERC20.sol/TestERC20.dbg.json +1 -1
- package/build/contracts/test/TestERC721.sol/TestERC721.dbg.json +1 -1
- package/build/contracts/test/TestEcdsaLib.sol/TestEcdsaLib.dbg.json +1 -1
- package/build/contracts/test/TestTBTCDepositor.sol/MockBridge.dbg.json +1 -1
- package/build/contracts/test/TestTBTCDepositor.sol/MockTBTCVault.dbg.json +1 -1
- package/build/contracts/test/TestTBTCDepositor.sol/TestTBTCDepositor.dbg.json +1 -1
- package/build/contracts/test/WormholeBridgeStub.sol/WormholeBridgeStub.dbg.json +1 -1
- package/build/contracts/token/TBTC.sol/TBTC.dbg.json +1 -1
- package/build/contracts/vault/DonationVault.sol/DonationVault.dbg.json +1 -1
- package/build/contracts/vault/IVault.sol/IVault.dbg.json +1 -1
- package/build/contracts/vault/TBTCOptimisticMinting.sol/TBTCOptimisticMinting.dbg.json +1 -1
- package/build/contracts/vault/TBTCVault.sol/TBTCVault.dbg.json +1 -1
- package/export/artifacts/@keep-network/ecdsa/contracts/WalletRegistry.sol/WalletRegistry.json +13 -13
- package/export/artifacts/contracts/bank/Bank.sol/Bank.json +58 -58
- package/export/artifacts/contracts/bridge/Bridge.sol/Bridge.json +318 -318
- package/export/artifacts/contracts/bridge/RedemptionWatchtower.sol/RedemptionWatchtower.json +103 -103
- package/export/artifacts/contracts/bridge/VendingMachine.sol/VendingMachine.json +71 -71
- package/export/artifacts/contracts/bridge/VendingMachineV2.sol/VendingMachineV2.json +24 -24
- package/export/artifacts/contracts/bridge/VendingMachineV3.sol/VendingMachineV3.json +26 -26
- package/export/artifacts/contracts/bridge/WalletProposalValidator.sol/WalletProposalValidator.json +67 -67
- package/export/artifacts/contracts/l2/L2TBTC.sol/L2TBTC.json +40 -40
- package/export/artifacts/contracts/l2/L2WormholeGateway.sol/L2WormholeGateway.json +47 -47
- package/export/artifacts/contracts/maintainer/MaintainerProxy.sol/MaintainerProxy.json +118 -118
- package/export/artifacts/contracts/relay/LightRelay.sol/LightRelay.json +57 -57
- package/export/artifacts/contracts/relay/LightRelayMaintainerProxy.sol/LightRelayMaintainerProxy.json +31 -31
- package/export/artifacts/contracts/test/BankStub.sol/BankStub.json +60 -60
- package/export/artifacts/contracts/test/BridgeStub.sol/BridgeStub.json +356 -356
- package/export/artifacts/contracts/test/HeartbeatStub.sol/HeartbeatStub.json +4 -4
- package/export/artifacts/contracts/test/LightRelayStub.sol/LightRelayStub.json +59 -59
- package/export/artifacts/contracts/test/ReceiveApprovalStub.sol/ReceiveApprovalStub.json +7 -7
- package/export/artifacts/contracts/test/SepoliaLightRelay.sol/SepoliaLightRelay.json +59 -59
- package/export/artifacts/contracts/test/SystemTestRelay.sol/SystemTestRelay.json +14 -14
- package/export/artifacts/contracts/test/TestBitcoinTx.sol/TestBitcoinTx.json +128 -128
- package/export/artifacts/contracts/test/TestERC20.sol/TestERC20.json +6 -6
- package/export/artifacts/contracts/test/TestERC721.sol/TestERC721.json +8 -8
- package/export/artifacts/contracts/test/TestEcdsaLib.sol/TestEcdsaLib.json +4 -4
- package/export/artifacts/contracts/test/TestTBTCDepositor.sol/MockBridge.json +34 -34
- package/export/artifacts/contracts/test/TestTBTCDepositor.sol/MockTBTCVault.json +18 -18
- package/export/artifacts/contracts/test/TestTBTCDepositor.sol/TestTBTCDepositor.json +48 -48
- package/export/artifacts/contracts/test/WormholeBridgeStub.sol/WormholeBridgeStub.json +37 -37
- package/export/artifacts/contracts/token/TBTC.sol/TBTC.json +2 -2
- package/export/artifacts/contracts/vault/DonationVault.sol/DonationVault.json +19 -19
- package/export/artifacts/contracts/vault/TBTCVault.sol/TBTCVault.json +143 -143
- package/export/typechain/factories/EcdsaAuthorization__factory.js +1 -1
- package/export/typechain/factories/IStaking__factory.js +24 -116
- package/export/typechain/factories/WalletRegistry__factory.js +1 -1
- package/package.json +5 -5
- package/artifacts/solcInputs/7c1f8f1dbded4c787d87a982d1fc8349.json +0 -410
- package/artifacts/solcInputs/7cc3eda3cb3ff2522d18b5e7b31ea228.json +0 -102
- package/artifacts/solcInputs/802132f7da69a8a4226cb9424480847b.json +0 -218
- package/artifacts/solcInputs/887fad6b16575ba42183543c324eeb0e.json +0 -335
- package/artifacts/solcInputs/b0025f1f7efe4824592ac0c9793776c3.json +0 -392
- package/artifacts/solcInputs/b7c5f3550cc22e16e6b6ea9582ccbee3.json +0 -341
- package/artifacts/solcInputs/d71d4b4434e6669852eaf643ebd2a7bc.json +0 -209
- package/artifacts/solcInputs/fccb130292c8c7cc958ab4fa31a3e180.json +0 -187
|
@@ -250,69 +250,69 @@
|
|
|
250
250
|
},
|
|
251
251
|
"deployedBytecode": {
|
|
252
252
|
"functionDebugData": {
|
|
253
|
-
"@
|
|
253
|
+
"@SATOSHI_MULTIPLIER_38215": {
|
|
254
254
|
"entryPoint": null,
|
|
255
|
-
"id":
|
|
255
|
+
"id": 38215,
|
|
256
256
|
"parameterSlots": 0,
|
|
257
257
|
"returnSlots": 0
|
|
258
258
|
},
|
|
259
|
-
"@
|
|
259
|
+
"@__AbstractTBTCDepositor_initialize_38291": {
|
|
260
260
|
"entryPoint": 1502,
|
|
261
|
-
"id":
|
|
261
|
+
"id": 38291,
|
|
262
262
|
"parameterSlots": 2,
|
|
263
263
|
"returnSlots": 0
|
|
264
264
|
},
|
|
265
|
-
"@
|
|
265
|
+
"@_calculateBitcoinTxHash_38520": {
|
|
266
266
|
"entryPoint": 2492,
|
|
267
|
-
"id":
|
|
267
|
+
"id": 38520,
|
|
268
268
|
"parameterSlots": 1,
|
|
269
269
|
"returnSlots": 1
|
|
270
270
|
},
|
|
271
|
-
"@
|
|
271
|
+
"@_calculateDepositKey_38496": {
|
|
272
272
|
"entryPoint": 2593,
|
|
273
|
-
"id":
|
|
273
|
+
"id": 38496,
|
|
274
274
|
"parameterSlots": 2,
|
|
275
275
|
"returnSlots": 1
|
|
276
276
|
},
|
|
277
|
-
"@
|
|
277
|
+
"@_calculateTbtcAmount_38474": {
|
|
278
278
|
"entryPoint": 547,
|
|
279
|
-
"id":
|
|
279
|
+
"id": 38474,
|
|
280
280
|
"parameterSlots": 2,
|
|
281
281
|
"returnSlots": 1
|
|
282
282
|
},
|
|
283
|
-
"@
|
|
283
|
+
"@_finalizeDeposit_38418": {
|
|
284
284
|
"entryPoint": 934,
|
|
285
|
-
"id":
|
|
285
|
+
"id": 38418,
|
|
286
286
|
"parameterSlots": 1,
|
|
287
287
|
"returnSlots": 3
|
|
288
288
|
},
|
|
289
|
-
"@
|
|
289
|
+
"@_initializeDeposit_38347": {
|
|
290
290
|
"entryPoint": 2065,
|
|
291
|
-
"id":
|
|
291
|
+
"id": 38347,
|
|
292
292
|
"parameterSlots": 3,
|
|
293
293
|
"returnSlots": 2
|
|
294
294
|
},
|
|
295
|
-
"@
|
|
295
|
+
"@_minDepositAmount_38537": {
|
|
296
296
|
"entryPoint": 1892,
|
|
297
|
-
"id":
|
|
297
|
+
"id": 38537,
|
|
298
298
|
"parameterSlots": 0,
|
|
299
299
|
"returnSlots": 1
|
|
300
300
|
},
|
|
301
|
-
"@
|
|
301
|
+
"@bridge_38219": {
|
|
302
302
|
"entryPoint": null,
|
|
303
|
-
"id":
|
|
303
|
+
"id": 38219,
|
|
304
304
|
"parameterSlots": 0,
|
|
305
305
|
"returnSlots": 0
|
|
306
306
|
},
|
|
307
|
-
"@
|
|
307
|
+
"@calculateTbtcAmountPublic_42769": {
|
|
308
308
|
"entryPoint": 320,
|
|
309
|
-
"id":
|
|
309
|
+
"id": 42769,
|
|
310
310
|
"parameterSlots": 2,
|
|
311
311
|
"returnSlots": 1
|
|
312
312
|
},
|
|
313
|
-
"@
|
|
313
|
+
"@finalizeDepositPublic_42754": {
|
|
314
314
|
"entryPoint": 341,
|
|
315
|
-
"id":
|
|
315
|
+
"id": 42754,
|
|
316
316
|
"parameterSlots": 1,
|
|
317
317
|
"returnSlots": 0
|
|
318
318
|
},
|
|
@@ -322,27 +322,27 @@
|
|
|
322
322
|
"parameterSlots": 1,
|
|
323
323
|
"returnSlots": 1
|
|
324
324
|
},
|
|
325
|
-
"@
|
|
325
|
+
"@initializeDepositPublic_42732": {
|
|
326
326
|
"entryPoint": 463,
|
|
327
|
-
"id":
|
|
327
|
+
"id": 42732,
|
|
328
328
|
"parameterSlots": 3,
|
|
329
329
|
"returnSlots": 0
|
|
330
330
|
},
|
|
331
|
-
"@
|
|
331
|
+
"@initialize_42705": {
|
|
332
332
|
"entryPoint": 434,
|
|
333
|
-
"id":
|
|
333
|
+
"id": 42705,
|
|
334
334
|
"parameterSlots": 2,
|
|
335
335
|
"returnSlots": 0
|
|
336
336
|
},
|
|
337
|
-
"@
|
|
337
|
+
"@minDepositAmountPublic_42778": {
|
|
338
338
|
"entryPoint": 448,
|
|
339
|
-
"id":
|
|
339
|
+
"id": 42778,
|
|
340
340
|
"parameterSlots": 0,
|
|
341
341
|
"returnSlots": 1
|
|
342
342
|
},
|
|
343
|
-
"@
|
|
343
|
+
"@tbtcVault_38223": {
|
|
344
344
|
"entryPoint": null,
|
|
345
|
-
"id":
|
|
345
|
+
"id": 38223,
|
|
346
346
|
"parameterSlots": 0,
|
|
347
347
|
"returnSlots": 0
|
|
348
348
|
},
|
|
@@ -388,13 +388,13 @@
|
|
|
388
388
|
"parameterSlots": 2,
|
|
389
389
|
"returnSlots": 1
|
|
390
390
|
},
|
|
391
|
-
"abi_decode_tuple_t_struct$_BitcoinTxInfo_$
|
|
391
|
+
"abi_decode_tuple_t_struct$_BitcoinTxInfo_$38550_calldata_ptrt_struct$_DepositRevealInfo_$38563_calldata_ptrt_bytes32": {
|
|
392
392
|
"entryPoint": 2896,
|
|
393
393
|
"id": null,
|
|
394
394
|
"parameterSlots": 2,
|
|
395
395
|
"returnSlots": 3
|
|
396
396
|
},
|
|
397
|
-
"abi_decode_tuple_t_struct$_DepositRequest_$
|
|
397
|
+
"abi_decode_tuple_t_struct$_DepositRequest_$38578_memory_ptr_fromMemory": {
|
|
398
398
|
"entryPoint": 3321,
|
|
399
399
|
"id": null,
|
|
400
400
|
"parameterSlots": 2,
|
|
@@ -484,13 +484,13 @@
|
|
|
484
484
|
"parameterSlots": 7,
|
|
485
485
|
"returnSlots": 1
|
|
486
486
|
},
|
|
487
|
-
"abi_encode_tuple_t_contract$_IBridge_$
|
|
487
|
+
"abi_encode_tuple_t_contract$_IBridge_$38614__to_t_address__fromStack_reversed": {
|
|
488
488
|
"entryPoint": null,
|
|
489
489
|
"id": null,
|
|
490
490
|
"parameterSlots": 2,
|
|
491
491
|
"returnSlots": 1
|
|
492
492
|
},
|
|
493
|
-
"abi_encode_tuple_t_contract$_ITBTCVault_$
|
|
493
|
+
"abi_encode_tuple_t_contract$_ITBTCVault_$38634__to_t_address__fromStack_reversed": {
|
|
494
494
|
"entryPoint": null,
|
|
495
495
|
"id": null,
|
|
496
496
|
"parameterSlots": 2,
|
|
@@ -532,7 +532,7 @@
|
|
|
532
532
|
"parameterSlots": 1,
|
|
533
533
|
"returnSlots": 1
|
|
534
534
|
},
|
|
535
|
-
"abi_encode_tuple_t_struct$_BitcoinTxInfo_$
|
|
535
|
+
"abi_encode_tuple_t_struct$_BitcoinTxInfo_$38550_calldata_ptr_t_struct$_DepositRevealInfo_$38563_calldata_ptr_t_bytes32__to_t_struct$_BitcoinTxInfo_$38550_memory_ptr_t_struct$_DepositRevealInfo_$38563_memory_ptr_t_bytes32__fromStack_reversed": {
|
|
536
536
|
"entryPoint": 3783,
|
|
537
537
|
"id": null,
|
|
538
538
|
"parameterSlots": 4,
|
|
@@ -712,7 +712,7 @@
|
|
|
712
712
|
}
|
|
713
713
|
]
|
|
714
714
|
},
|
|
715
|
-
"name": "abi_encode_tuple_t_contract$_ITBTCVault_$
|
|
715
|
+
"name": "abi_encode_tuple_t_contract$_ITBTCVault_$38634__to_t_address__fromStack_reversed",
|
|
716
716
|
"nodeType": "YulFunctionDefinition",
|
|
717
717
|
"parameters": [
|
|
718
718
|
{
|
|
@@ -2273,7 +2273,7 @@
|
|
|
2273
2273
|
}
|
|
2274
2274
|
]
|
|
2275
2275
|
},
|
|
2276
|
-
"name": "abi_decode_tuple_t_struct$_BitcoinTxInfo_$
|
|
2276
|
+
"name": "abi_decode_tuple_t_struct$_BitcoinTxInfo_$38550_calldata_ptrt_struct$_DepositRevealInfo_$38563_calldata_ptrt_bytes32",
|
|
2277
2277
|
"nodeType": "YulFunctionDefinition",
|
|
2278
2278
|
"parameters": [
|
|
2279
2279
|
{
|
|
@@ -2395,7 +2395,7 @@
|
|
|
2395
2395
|
}
|
|
2396
2396
|
]
|
|
2397
2397
|
},
|
|
2398
|
-
"name": "abi_encode_tuple_t_contract$_IBridge_$
|
|
2398
|
+
"name": "abi_encode_tuple_t_contract$_IBridge_$38614__to_t_address__fromStack_reversed",
|
|
2399
2399
|
"nodeType": "YulFunctionDefinition",
|
|
2400
2400
|
"parameters": [
|
|
2401
2401
|
{
|
|
@@ -5220,7 +5220,7 @@
|
|
|
5220
5220
|
}
|
|
5221
5221
|
]
|
|
5222
5222
|
},
|
|
5223
|
-
"name": "abi_decode_tuple_t_struct$_DepositRequest_$
|
|
5223
|
+
"name": "abi_decode_tuple_t_struct$_DepositRequest_$38578_memory_ptr_fromMemory",
|
|
5224
5224
|
"nodeType": "YulFunctionDefinition",
|
|
5225
5225
|
"parameters": [
|
|
5226
5226
|
{
|
|
@@ -9530,7 +9530,7 @@
|
|
|
9530
9530
|
}
|
|
9531
9531
|
]
|
|
9532
9532
|
},
|
|
9533
|
-
"name": "abi_encode_tuple_t_struct$_BitcoinTxInfo_$
|
|
9533
|
+
"name": "abi_encode_tuple_t_struct$_BitcoinTxInfo_$38550_calldata_ptr_t_struct$_DepositRevealInfo_$38563_calldata_ptr_t_bytes32__to_t_struct$_BitcoinTxInfo_$38550_memory_ptr_t_struct$_DepositRevealInfo_$38563_memory_ptr_t_bytes32__fromStack_reversed",
|
|
9534
9534
|
"nodeType": "YulFunctionDefinition",
|
|
9535
9535
|
"parameters": [
|
|
9536
9536
|
{
|
|
@@ -10732,7 +10732,7 @@
|
|
|
10732
10732
|
}
|
|
10733
10733
|
]
|
|
10734
10734
|
},
|
|
10735
|
-
"contents": "{\n { }\n function abi_encode_tuple_t_contract$_ITBTCVault_$38676__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_address(offset) -> value\n {\n value := calldataload(offset)\n validator_revert_address(value)\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_$38592_calldata_ptrt_struct$_DepositRevealInfo_$38605_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_$38656__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 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 validator_revert_uint32(value)\n {\n if iszero(eq(value, and(value, 0xffffffff))) { revert(0, 0) }\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_address_fromMemory(offset) -> value\n {\n value := mload(offset)\n validator_revert_address(value)\n }\n function abi_decode_tuple_t_struct$_DepositRequest_$38620_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))\n {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x41)\n revert(0, 0x24)\n }\n mstore(64, newFreePtr)\n mstore(memPtr, abi_decode_address_fromMemory(headStart))\n mstore(add(memPtr, 32), abi_decode_uint64_fromMemory(add(headStart, 32)))\n mstore(add(memPtr, 64), abi_decode_uint32_fromMemory(add(headStart, 64)))\n mstore(add(memPtr, 96), abi_decode_address_fromMemory(add(headStart, 96)))\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_45f2cc3b255224882f5d9af05bbaa3771518b0897ed3457c2482ace4f87da506__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n {\n mstore(headStart, 32)\n mstore(add(headStart, 32), 41)\n mstore(add(headStart, 64), \"AbstractTBTCDepositor already in\")\n mstore(add(headStart, 96), \"itialized\")\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_decode_tuple_t_address(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n let value := calldataload(headStart)\n validator_revert_address(value)\n value0 := value\n }\n function abi_encode_tuple_t_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 abi_decode_tuple_t_uint32(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n let value := calldataload(headStart)\n validator_revert_uint32(value)\n value0 := value\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_encode_bytes4(value, pos)\n {\n mstore(pos, and(value, 0xffffffff00000000000000000000000000000000000000000000000000000000))\n }\n function calldata_access_bytes_calldata(base_ref, ptr) -> value, length\n {\n let rel_offset_of_tail := calldataload(ptr)\n if iszero(slt(rel_offset_of_tail, add(sub(calldatasize(), base_ref), not(30)))) { revert(0, 0) }\n let value_1 := add(rel_offset_of_tail, base_ref)\n length := calldataload(value_1)\n value := add(value_1, 0x20)\n if gt(length, 0xffffffffffffffff) { revert(0, 0) }\n if sgt(value, sub(calldatasize(), length)) { revert(0, 0) }\n }\n function abi_encode_bytes_calldata(start, length, pos) -> end\n {\n mstore(pos, length)\n calldatacopy(add(pos, 0x20), start, length)\n mstore(add(add(pos, length), 0x20), 0)\n end := add(add(pos, and(add(length, 31), not(31))), 0x20)\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_encode_bytes20(value, pos)\n {\n mstore(pos, and(value, not(0xffffffffffffffffffffffff)))\n }\n function abi_encode_address(value, pos)\n {\n mstore(pos, and(value, 0xffffffffffffffffffffffffffffffffffffffff))\n }\n function abi_encode_tuple_t_struct$_BitcoinTxInfo_$38592_calldata_ptr_t_struct$_DepositRevealInfo_$38605_calldata_ptr_t_bytes32__to_t_struct$_BitcoinTxInfo_$38592_memory_ptr_t_struct$_DepositRevealInfo_$38605_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(abi_decode_bytes4(value0), _2))\n let memberValue0, memberValue1 := calldata_access_bytes_calldata(value0, add(value0, 0x20))\n mstore(add(headStart, 288), 0x80)\n let tail_1 := abi_encode_bytes_calldata(memberValue0, memberValue1, add(headStart, 384))\n let memberValue0_1, memberValue1_1 := calldata_access_bytes_calldata(value0, add(value0, 0x40))\n mstore(add(headStart, 320), add(sub(tail_1, headStart), not(255)))\n let tail_2 := abi_encode_bytes_calldata(memberValue0_1, memberValue1_1, tail_1)\n mstore(add(headStart, 352), and(abi_decode_bytes4(add(value0, 0x60)), _2))\n tail := tail_2\n let value := calldataload(value1)\n validator_revert_uint32(value)\n mstore(add(headStart, 0x20), and(value, 0xffffffff))\n let value_1 := calldataload(add(value1, 0x20))\n let _3 := and(value_1, 0xffffffffffffffff000000000000000000000000000000000000000000000000)\n if iszero(eq(value_1, _3)) { revert(0, 0) }\n mstore(add(headStart, 0x40), _3)\n mstore(add(headStart, 0x60), and(abi_decode_bytes20(add(value1, 0x40)), not(0xffffffffffffffffffffffff)))\n let memberValue0_2 := abi_decode_bytes20(add(value1, 0x60))\n abi_encode_bytes20(memberValue0_2, add(headStart, 0x80))\n let memberValue0_3 := abi_decode_bytes4(add(value1, 0x80))\n abi_encode_bytes4(memberValue0_3, add(headStart, 160))\n let memberValue0_4 := abi_decode_address(add(value1, 160))\n abi_encode_address(memberValue0_4, add(headStart, 192))\n mstore(add(headStart, 224), value2)\n }\n function abi_decode_tuple_t_bytes4(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n value0 := abi_decode_bytes4(headStart)\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_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_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}",
|
|
10735
|
+
"contents": "{\n { }\n function abi_encode_tuple_t_contract$_ITBTCVault_$38634__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_address(offset) -> value\n {\n value := calldataload(offset)\n validator_revert_address(value)\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_$38550_calldata_ptrt_struct$_DepositRevealInfo_$38563_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_$38614__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 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 validator_revert_uint32(value)\n {\n if iszero(eq(value, and(value, 0xffffffff))) { revert(0, 0) }\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_address_fromMemory(offset) -> value\n {\n value := mload(offset)\n validator_revert_address(value)\n }\n function abi_decode_tuple_t_struct$_DepositRequest_$38578_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))\n {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x41)\n revert(0, 0x24)\n }\n mstore(64, newFreePtr)\n mstore(memPtr, abi_decode_address_fromMemory(headStart))\n mstore(add(memPtr, 32), abi_decode_uint64_fromMemory(add(headStart, 32)))\n mstore(add(memPtr, 64), abi_decode_uint32_fromMemory(add(headStart, 64)))\n mstore(add(memPtr, 96), abi_decode_address_fromMemory(add(headStart, 96)))\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_45f2cc3b255224882f5d9af05bbaa3771518b0897ed3457c2482ace4f87da506__to_t_string_memory_ptr__fromStack_reversed(headStart) -> tail\n {\n mstore(headStart, 32)\n mstore(add(headStart, 32), 41)\n mstore(add(headStart, 64), \"AbstractTBTCDepositor already in\")\n mstore(add(headStart, 96), \"itialized\")\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_decode_tuple_t_address(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n let value := calldataload(headStart)\n validator_revert_address(value)\n value0 := value\n }\n function abi_encode_tuple_t_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 abi_decode_tuple_t_uint32(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n let value := calldataload(headStart)\n validator_revert_uint32(value)\n value0 := value\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_encode_bytes4(value, pos)\n {\n mstore(pos, and(value, 0xffffffff00000000000000000000000000000000000000000000000000000000))\n }\n function calldata_access_bytes_calldata(base_ref, ptr) -> value, length\n {\n let rel_offset_of_tail := calldataload(ptr)\n if iszero(slt(rel_offset_of_tail, add(sub(calldatasize(), base_ref), not(30)))) { revert(0, 0) }\n let value_1 := add(rel_offset_of_tail, base_ref)\n length := calldataload(value_1)\n value := add(value_1, 0x20)\n if gt(length, 0xffffffffffffffff) { revert(0, 0) }\n if sgt(value, sub(calldatasize(), length)) { revert(0, 0) }\n }\n function abi_encode_bytes_calldata(start, length, pos) -> end\n {\n mstore(pos, length)\n calldatacopy(add(pos, 0x20), start, length)\n mstore(add(add(pos, length), 0x20), 0)\n end := add(add(pos, and(add(length, 31), not(31))), 0x20)\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_encode_bytes20(value, pos)\n {\n mstore(pos, and(value, not(0xffffffffffffffffffffffff)))\n }\n function abi_encode_address(value, pos)\n {\n mstore(pos, and(value, 0xffffffffffffffffffffffffffffffffffffffff))\n }\n function abi_encode_tuple_t_struct$_BitcoinTxInfo_$38550_calldata_ptr_t_struct$_DepositRevealInfo_$38563_calldata_ptr_t_bytes32__to_t_struct$_BitcoinTxInfo_$38550_memory_ptr_t_struct$_DepositRevealInfo_$38563_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(abi_decode_bytes4(value0), _2))\n let memberValue0, memberValue1 := calldata_access_bytes_calldata(value0, add(value0, 0x20))\n mstore(add(headStart, 288), 0x80)\n let tail_1 := abi_encode_bytes_calldata(memberValue0, memberValue1, add(headStart, 384))\n let memberValue0_1, memberValue1_1 := calldata_access_bytes_calldata(value0, add(value0, 0x40))\n mstore(add(headStart, 320), add(sub(tail_1, headStart), not(255)))\n let tail_2 := abi_encode_bytes_calldata(memberValue0_1, memberValue1_1, tail_1)\n mstore(add(headStart, 352), and(abi_decode_bytes4(add(value0, 0x60)), _2))\n tail := tail_2\n let value := calldataload(value1)\n validator_revert_uint32(value)\n mstore(add(headStart, 0x20), and(value, 0xffffffff))\n let value_1 := calldataload(add(value1, 0x20))\n let _3 := and(value_1, 0xffffffffffffffff000000000000000000000000000000000000000000000000)\n if iszero(eq(value_1, _3)) { revert(0, 0) }\n mstore(add(headStart, 0x40), _3)\n mstore(add(headStart, 0x60), and(abi_decode_bytes20(add(value1, 0x40)), not(0xffffffffffffffffffffffff)))\n let memberValue0_2 := abi_decode_bytes20(add(value1, 0x60))\n abi_encode_bytes20(memberValue0_2, add(headStart, 0x80))\n let memberValue0_3 := abi_decode_bytes4(add(value1, 0x80))\n abi_encode_bytes4(memberValue0_3, add(headStart, 160))\n let memberValue0_4 := abi_decode_address(add(value1, 160))\n abi_encode_address(memberValue0_4, add(headStart, 192))\n mstore(add(headStart, 224), value2)\n }\n function abi_decode_tuple_t_bytes4(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n value0 := abi_decode_bytes4(headStart)\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_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_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}",
|
|
10736
10736
|
"id": 131,
|
|
10737
10737
|
"language": "Yul",
|
|
10738
10738
|
"name": "#utility.yul"
|
|
@@ -10775,23 +10775,23 @@
|
|
|
10775
10775
|
"storageLayout": {
|
|
10776
10776
|
"storage": [
|
|
10777
10777
|
{
|
|
10778
|
-
"astId":
|
|
10778
|
+
"astId": 38219,
|
|
10779
10779
|
"contract": "contracts/test/TestTBTCDepositor.sol:TestTBTCDepositor",
|
|
10780
10780
|
"label": "bridge",
|
|
10781
10781
|
"offset": 0,
|
|
10782
10782
|
"slot": "0",
|
|
10783
|
-
"type": "t_contract(IBridge)
|
|
10783
|
+
"type": "t_contract(IBridge)38614"
|
|
10784
10784
|
},
|
|
10785
10785
|
{
|
|
10786
|
-
"astId":
|
|
10786
|
+
"astId": 38223,
|
|
10787
10787
|
"contract": "contracts/test/TestTBTCDepositor.sol:TestTBTCDepositor",
|
|
10788
10788
|
"label": "tbtcVault",
|
|
10789
10789
|
"offset": 0,
|
|
10790
10790
|
"slot": "1",
|
|
10791
|
-
"type": "t_contract(ITBTCVault)
|
|
10791
|
+
"type": "t_contract(ITBTCVault)38634"
|
|
10792
10792
|
},
|
|
10793
10793
|
{
|
|
10794
|
-
"astId":
|
|
10794
|
+
"astId": 38227,
|
|
10795
10795
|
"contract": "contracts/test/TestTBTCDepositor.sol:TestTBTCDepositor",
|
|
10796
10796
|
"label": "__gap",
|
|
10797
10797
|
"offset": 0,
|
|
@@ -10806,12 +10806,12 @@
|
|
|
10806
10806
|
"label": "uint256[47]",
|
|
10807
10807
|
"numberOfBytes": "1504"
|
|
10808
10808
|
},
|
|
10809
|
-
"t_contract(IBridge)
|
|
10809
|
+
"t_contract(IBridge)38614": {
|
|
10810
10810
|
"encoding": "inplace",
|
|
10811
10811
|
"label": "contract IBridge",
|
|
10812
10812
|
"numberOfBytes": "20"
|
|
10813
10813
|
},
|
|
10814
|
-
"t_contract(ITBTCVault)
|
|
10814
|
+
"t_contract(ITBTCVault)38634": {
|
|
10815
10815
|
"encoding": "inplace",
|
|
10816
10816
|
"label": "contract ITBTCVault",
|
|
10817
10817
|
"numberOfBytes": "20"
|
|
@@ -377,13 +377,13 @@
|
|
|
377
377
|
"evm": {
|
|
378
378
|
"bytecode": {
|
|
379
379
|
"functionDebugData": {
|
|
380
|
-
"@
|
|
380
|
+
"@_43221": {
|
|
381
381
|
"entryPoint": null,
|
|
382
|
-
"id":
|
|
382
|
+
"id": 43221,
|
|
383
383
|
"parameterSlots": 1,
|
|
384
384
|
"returnSlots": 0
|
|
385
385
|
},
|
|
386
|
-
"abi_decode_tuple_t_contract$_TestERC20_$
|
|
386
|
+
"abi_decode_tuple_t_contract$_TestERC20_$42614_fromMemory": {
|
|
387
387
|
"entryPoint": 84,
|
|
388
388
|
"id": null,
|
|
389
389
|
"parameterSlots": 2,
|
|
@@ -655,7 +655,7 @@
|
|
|
655
655
|
}
|
|
656
656
|
]
|
|
657
657
|
},
|
|
658
|
-
"name": "abi_decode_tuple_t_contract$_TestERC20_$
|
|
658
|
+
"name": "abi_decode_tuple_t_contract$_TestERC20_$42614_fromMemory",
|
|
659
659
|
"nodeType": "YulFunctionDefinition",
|
|
660
660
|
"parameters": [
|
|
661
661
|
{
|
|
@@ -683,7 +683,7 @@
|
|
|
683
683
|
}
|
|
684
684
|
]
|
|
685
685
|
},
|
|
686
|
-
"contents": "{\n { }\n function abi_decode_tuple_t_contract$_TestERC20_$
|
|
686
|
+
"contents": "{\n { }\n function abi_decode_tuple_t_contract$_TestERC20_$42614_fromMemory(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n let value := mload(headStart)\n if iszero(eq(value, and(value, sub(shl(160, 1), 1)))) { revert(0, 0) }\n value0 := value\n }\n}",
|
|
687
687
|
"id": 131,
|
|
688
688
|
"language": "Yul",
|
|
689
689
|
"name": "#utility.yul"
|
|
@@ -695,63 +695,63 @@
|
|
|
695
695
|
},
|
|
696
696
|
"deployedBytecode": {
|
|
697
697
|
"functionDebugData": {
|
|
698
|
-
"@
|
|
698
|
+
"@completeTransferWithPayload_43266": {
|
|
699
699
|
"entryPoint": 672,
|
|
700
|
-
"id":
|
|
700
|
+
"id": 43266,
|
|
701
701
|
"parameterSlots": 1,
|
|
702
702
|
"returnSlots": 1
|
|
703
703
|
},
|
|
704
|
-
"@
|
|
704
|
+
"@mintWormholeToken_43376": {
|
|
705
705
|
"entryPoint": 1226,
|
|
706
|
-
"id":
|
|
706
|
+
"id": 43376,
|
|
707
707
|
"parameterSlots": 2,
|
|
708
708
|
"returnSlots": 0
|
|
709
709
|
},
|
|
710
|
-
"@
|
|
710
|
+
"@parseTransferWithPayload_43341": {
|
|
711
711
|
"entryPoint": 1135,
|
|
712
|
-
"id":
|
|
712
|
+
"id": 43341,
|
|
713
713
|
"parameterSlots": 1,
|
|
714
714
|
"returnSlots": 1
|
|
715
715
|
},
|
|
716
|
-
"@
|
|
716
|
+
"@receiverAddress_43178": {
|
|
717
717
|
"entryPoint": null,
|
|
718
|
-
"id":
|
|
718
|
+
"id": 43178,
|
|
719
719
|
"parameterSlots": 0,
|
|
720
720
|
"returnSlots": 0
|
|
721
721
|
},
|
|
722
|
-
"@
|
|
722
|
+
"@setReceiverAddress_43361": {
|
|
723
723
|
"entryPoint": null,
|
|
724
|
-
"id":
|
|
724
|
+
"id": 43361,
|
|
725
725
|
"parameterSlots": 1,
|
|
726
726
|
"returnSlots": 0
|
|
727
727
|
},
|
|
728
|
-
"@
|
|
728
|
+
"@setTransferAmount_43351": {
|
|
729
729
|
"entryPoint": null,
|
|
730
|
-
"id":
|
|
730
|
+
"id": 43351,
|
|
731
731
|
"parameterSlots": 1,
|
|
732
732
|
"returnSlots": 0
|
|
733
733
|
},
|
|
734
|
-
"@
|
|
734
|
+
"@transferAmount_43176": {
|
|
735
735
|
"entryPoint": null,
|
|
736
|
-
"id":
|
|
736
|
+
"id": 43176,
|
|
737
737
|
"parameterSlots": 0,
|
|
738
738
|
"returnSlots": 0
|
|
739
739
|
},
|
|
740
|
-
"@
|
|
740
|
+
"@transferTokensWithPayload_43324": {
|
|
741
741
|
"entryPoint": 1054,
|
|
742
|
-
"id":
|
|
742
|
+
"id": 43324,
|
|
743
743
|
"parameterSlots": 6,
|
|
744
744
|
"returnSlots": 1
|
|
745
745
|
},
|
|
746
|
-
"@
|
|
746
|
+
"@transferTokens_43295": {
|
|
747
747
|
"entryPoint": 552,
|
|
748
|
-
"id":
|
|
748
|
+
"id": 43295,
|
|
749
749
|
"parameterSlots": 6,
|
|
750
750
|
"returnSlots": 1
|
|
751
751
|
},
|
|
752
|
-
"@
|
|
752
|
+
"@wormholeToken_43174": {
|
|
753
753
|
"entryPoint": null,
|
|
754
|
-
"id":
|
|
754
|
+
"id": 43174,
|
|
755
755
|
"parameterSlots": 0,
|
|
756
756
|
"returnSlots": 0
|
|
757
757
|
},
|
|
@@ -803,7 +803,7 @@
|
|
|
803
803
|
"parameterSlots": 2,
|
|
804
804
|
"returnSlots": 1
|
|
805
805
|
},
|
|
806
|
-
"abi_decode_tuple_t_struct$_TransferWithPayload_$
|
|
806
|
+
"abi_decode_tuple_t_struct$_TransferWithPayload_$39152_memory_ptr_fromMemory": {
|
|
807
807
|
"entryPoint": 2422,
|
|
808
808
|
"id": null,
|
|
809
809
|
"parameterSlots": 2,
|
|
@@ -869,13 +869,13 @@
|
|
|
869
869
|
"parameterSlots": 2,
|
|
870
870
|
"returnSlots": 1
|
|
871
871
|
},
|
|
872
|
-
"abi_encode_tuple_t_contract$_TestERC20_$
|
|
872
|
+
"abi_encode_tuple_t_contract$_TestERC20_$42614__to_t_address__fromStack_reversed": {
|
|
873
873
|
"entryPoint": null,
|
|
874
874
|
"id": null,
|
|
875
875
|
"parameterSlots": 2,
|
|
876
876
|
"returnSlots": 1
|
|
877
877
|
},
|
|
878
|
-
"abi_encode_tuple_t_struct$_TransferWithPayload_$
|
|
878
|
+
"abi_encode_tuple_t_struct$_TransferWithPayload_$39152_memory_ptr__to_t_struct$_TransferWithPayload_$39152_memory_ptr__fromStack_reversed": {
|
|
879
879
|
"entryPoint": 2083,
|
|
880
880
|
"id": null,
|
|
881
881
|
"parameterSlots": 2,
|
|
@@ -2287,7 +2287,7 @@
|
|
|
2287
2287
|
}
|
|
2288
2288
|
]
|
|
2289
2289
|
},
|
|
2290
|
-
"name": "abi_encode_tuple_t_contract$_TestERC20_$
|
|
2290
|
+
"name": "abi_encode_tuple_t_contract$_TestERC20_$42614__to_t_address__fromStack_reversed",
|
|
2291
2291
|
"nodeType": "YulFunctionDefinition",
|
|
2292
2292
|
"parameters": [
|
|
2293
2293
|
{
|
|
@@ -5769,7 +5769,7 @@
|
|
|
5769
5769
|
}
|
|
5770
5770
|
]
|
|
5771
5771
|
},
|
|
5772
|
-
"name": "abi_encode_tuple_t_struct$_TransferWithPayload_$
|
|
5772
|
+
"name": "abi_encode_tuple_t_struct$_TransferWithPayload_$39152_memory_ptr__to_t_struct$_TransferWithPayload_$39152_memory_ptr__fromStack_reversed",
|
|
5773
5773
|
"nodeType": "YulFunctionDefinition",
|
|
5774
5774
|
"parameters": [
|
|
5775
5775
|
{
|
|
@@ -8540,7 +8540,7 @@
|
|
|
8540
8540
|
}
|
|
8541
8541
|
]
|
|
8542
8542
|
},
|
|
8543
|
-
"name": "abi_decode_tuple_t_struct$_TransferWithPayload_$
|
|
8543
|
+
"name": "abi_decode_tuple_t_struct$_TransferWithPayload_$39152_memory_ptr_fromMemory",
|
|
8544
8544
|
"nodeType": "YulFunctionDefinition",
|
|
8545
8545
|
"parameters": [
|
|
8546
8546
|
{
|
|
@@ -8568,7 +8568,7 @@
|
|
|
8568
8568
|
}
|
|
8569
8569
|
]
|
|
8570
8570
|
},
|
|
8571
|
-
"contents": "{\n { }\n function abi_decode_address(offset) -> value\n {\n value := calldataload(offset)\n if iszero(eq(value, and(value, 0xffffffffffffffffffffffffffffffffffffffff))) { revert(0, 0) }\n }\n function validator_revert_uint16(value)\n {\n if iszero(eq(value, and(value, 0xffff))) { revert(0, 0) }\n }\n function abi_decode_uint32(offset) -> value\n {\n value := calldataload(offset)\n if iszero(eq(value, and(value, 0xffffffff))) { revert(0, 0) }\n }\n function abi_decode_tuple_t_addresst_uint256t_uint16t_bytes32t_uint256t_uint32(headStart, dataEnd) -> value0, value1, value2, value3, value4, value5\n {\n if slt(sub(dataEnd, headStart), 192) { revert(0, 0) }\n value0 := abi_decode_address(headStart)\n value1 := calldataload(add(headStart, 32))\n let value := calldataload(add(headStart, 64))\n validator_revert_uint16(value)\n value2 := value\n value3 := calldataload(add(headStart, 96))\n value4 := calldataload(add(headStart, 128))\n value5 := abi_decode_uint32(add(headStart, 160))\n }\n function abi_encode_tuple_t_uint64__to_t_uint64__fromStack_reversed(headStart, value0) -> tail\n {\n tail := add(headStart, 32)\n mstore(headStart, and(value0, 0xffffffffffffffff))\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 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 abi_encode_tuple_t_contract$_TestERC20_$42656__to_t_address__fromStack_reversed(headStart, value0) -> tail\n {\n tail := add(headStart, 32)\n mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n }\n function panic_error_0x41()\n {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x41)\n revert(0, 0x24)\n }\n function allocate_memory_1198() -> memPtr\n {\n memPtr := mload(64)\n let newFreePtr := add(memPtr, 0x0100)\n if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n mstore(64, newFreePtr)\n }\n function allocate_memory(size) -> memPtr\n {\n memPtr := mload(64)\n let newFreePtr := add(memPtr, and(add(size, 31), not(31)))\n if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n mstore(64, newFreePtr)\n }\n function array_allocation_size_bytes(length) -> size\n {\n if gt(length, 0xffffffffffffffff) { panic_error_0x41() }\n size := add(and(add(length, 31), not(31)), 0x20)\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 array_1 := allocate_memory(array_allocation_size_bytes(_1))\n mstore(array_1, _1)\n if gt(add(add(offset, _1), 0x20), end) { revert(0, 0) }\n calldatacopy(add(array_1, 0x20), add(offset, 0x20), _1)\n mstore(add(add(array_1, _1), 0x20), 0)\n array := array_1\n }\n function abi_decode_tuple_t_bytes_memory_ptr(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n let offset := calldataload(headStart)\n if gt(offset, 0xffffffffffffffff) { revert(0, 0) }\n value0 := abi_decode_bytes(add(headStart, offset), dataEnd)\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_bytes_memory_ptr__to_t_bytes_memory_ptr__fromStack_reversed(headStart, value0) -> tail\n {\n mstore(headStart, 32)\n tail := abi_encode_bytes(value0, add(headStart, 32))\n }\n function abi_decode_tuple_t_addresst_uint256t_uint16t_bytes32t_uint32t_bytes_memory_ptr(headStart, dataEnd) -> value0, value1, value2, value3, value4, value5\n {\n if slt(sub(dataEnd, headStart), 192) { revert(0, 0) }\n value0 := abi_decode_address(headStart)\n value1 := calldataload(add(headStart, 32))\n let value := calldataload(add(headStart, 64))\n validator_revert_uint16(value)\n value2 := value\n value3 := calldataload(add(headStart, 96))\n value4 := abi_decode_uint32(add(headStart, 128))\n let offset := calldataload(add(headStart, 160))\n if gt(offset, 0xffffffffffffffff) { revert(0, 0) }\n value5 := abi_decode_bytes(add(headStart, offset), dataEnd)\n }\n function abi_decode_tuple_t_bytes32(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n value0 := calldataload(headStart)\n }\n function abi_encode_uint16(value, pos)\n {\n mstore(pos, and(value, 0xffff))\n }\n function abi_encode_tuple_t_struct$_TransferWithPayload_$39194_memory_ptr__to_t_struct$_TransferWithPayload_$39194_memory_ptr__fromStack_reversed(headStart, value0) -> tail\n {\n mstore(headStart, 32)\n mstore(add(headStart, 32), and(mload(value0), 0xff))\n mstore(add(headStart, 64), mload(add(value0, 32)))\n mstore(add(headStart, 96), mload(add(value0, 64)))\n mstore(add(headStart, 128), and(mload(add(value0, 96)), 0xffff))\n mstore(add(headStart, 160), mload(add(value0, 128)))\n let memberValue0 := mload(add(value0, 160))\n abi_encode_uint16(memberValue0, add(headStart, 192))\n mstore(add(headStart, 224), mload(add(value0, 192)))\n let memberValue0_1 := mload(add(value0, 224))\n let _1 := 0x0100\n mstore(add(headStart, _1), _1)\n tail := abi_encode_bytes(memberValue0_1, add(headStart, 288))\n }\n function abi_decode_tuple_t_addresst_uint256(headStart, dataEnd) -> value0, value1\n {\n if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n value0 := abi_decode_address(headStart)\n value1 := calldataload(add(headStart, 32))\n }\n function abi_encode_tuple_t_address_t_uint256_t_uint16_t_bytes32_t_uint256_t_uint32__to_t_address_t_uint256_t_uint16_t_bytes32_t_uint256_t_uint32__fromStack_reversed(headStart, value5, value4, value3, value2, value1, value0) -> tail\n {\n tail := add(headStart, 192)\n mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n mstore(add(headStart, 32), value1)\n mstore(add(headStart, 64), and(value2, 0xffff))\n mstore(add(headStart, 96), value3)\n mstore(add(headStart, 128), value4)\n mstore(add(headStart, 160), and(value5, 0xffffffff))\n }\n function abi_encode_tuple_t_address_t_uint256__to_t_address_t_uint256__fromStack_reversed(headStart, value1, value0) -> tail\n {\n tail := add(headStart, 64)\n mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n mstore(add(headStart, 32), value1)\n }\n function abi_encode_tuple_t_address_t_uint256_t_uint16_t_bytes32_t_uint32_t_bytes_memory_ptr__to_t_address_t_uint256_t_uint16_t_bytes32_t_uint32_t_bytes_memory_ptr__fromStack_reversed(headStart, value5, value4, value3, value2, value1, value0) -> tail\n {\n mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n mstore(add(headStart, 32), value1)\n mstore(add(headStart, 64), and(value2, 0xffff))\n mstore(add(headStart, 96), value3)\n mstore(add(headStart, 128), and(value4, 0xffffffff))\n mstore(add(headStart, 160), 192)\n tail := abi_encode_bytes(value5, add(headStart, 192))\n }\n function abi_decode_uint8_fromMemory(offset) -> value\n {\n value := mload(offset)\n if iszero(eq(value, and(value, 0xff))) { revert(0, 0) }\n }\n function abi_decode_uint16_fromMemory(offset) -> value\n {\n value := mload(offset)\n validator_revert_uint16(value)\n }\n function abi_decode_bytes_fromMemory(offset, end) -> array\n {\n if iszero(slt(add(offset, 0x1f), end)) { revert(0, 0) }\n let _1 := mload(offset)\n let array_1 := allocate_memory(array_allocation_size_bytes(_1))\n mstore(array_1, _1)\n if gt(add(add(offset, _1), 0x20), end) { revert(0, 0) }\n copy_memory_to_memory_with_cleanup(add(offset, 0x20), add(array_1, 0x20), _1)\n array := array_1\n }\n function abi_decode_tuple_t_struct$_TransferWithPayload_$39194_memory_ptr_fromMemory(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n let offset := mload(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), 0x0100) { revert(0, 0) }\n let value := allocate_memory_1198()\n mstore(value, abi_decode_uint8_fromMemory(_2))\n mstore(add(value, 32), mload(add(_2, 32)))\n mstore(add(value, 64), mload(add(_2, 64)))\n mstore(add(value, 96), abi_decode_uint16_fromMemory(add(_2, 96)))\n mstore(add(value, 128), mload(add(_2, 128)))\n mstore(add(value, 160), abi_decode_uint16_fromMemory(add(_2, 160)))\n mstore(add(value, 192), mload(add(_2, 192)))\n let offset_1 := mload(add(_2, 224))\n if gt(offset_1, _1) { revert(0, 0) }\n mstore(add(value, 224), abi_decode_bytes_fromMemory(add(_2, offset_1), dataEnd))\n value0 := value\n }\n}",
|
|
8571
|
+
"contents": "{\n { }\n function abi_decode_address(offset) -> value\n {\n value := calldataload(offset)\n if iszero(eq(value, and(value, 0xffffffffffffffffffffffffffffffffffffffff))) { revert(0, 0) }\n }\n function validator_revert_uint16(value)\n {\n if iszero(eq(value, and(value, 0xffff))) { revert(0, 0) }\n }\n function abi_decode_uint32(offset) -> value\n {\n value := calldataload(offset)\n if iszero(eq(value, and(value, 0xffffffff))) { revert(0, 0) }\n }\n function abi_decode_tuple_t_addresst_uint256t_uint16t_bytes32t_uint256t_uint32(headStart, dataEnd) -> value0, value1, value2, value3, value4, value5\n {\n if slt(sub(dataEnd, headStart), 192) { revert(0, 0) }\n value0 := abi_decode_address(headStart)\n value1 := calldataload(add(headStart, 32))\n let value := calldataload(add(headStart, 64))\n validator_revert_uint16(value)\n value2 := value\n value3 := calldataload(add(headStart, 96))\n value4 := calldataload(add(headStart, 128))\n value5 := abi_decode_uint32(add(headStart, 160))\n }\n function abi_encode_tuple_t_uint64__to_t_uint64__fromStack_reversed(headStart, value0) -> tail\n {\n tail := add(headStart, 32)\n mstore(headStart, and(value0, 0xffffffffffffffff))\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 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 abi_encode_tuple_t_contract$_TestERC20_$42614__to_t_address__fromStack_reversed(headStart, value0) -> tail\n {\n tail := add(headStart, 32)\n mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n }\n function panic_error_0x41()\n {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x41)\n revert(0, 0x24)\n }\n function allocate_memory_1198() -> memPtr\n {\n memPtr := mload(64)\n let newFreePtr := add(memPtr, 0x0100)\n if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n mstore(64, newFreePtr)\n }\n function allocate_memory(size) -> memPtr\n {\n memPtr := mload(64)\n let newFreePtr := add(memPtr, and(add(size, 31), not(31)))\n if or(gt(newFreePtr, 0xffffffffffffffff), lt(newFreePtr, memPtr)) { panic_error_0x41() }\n mstore(64, newFreePtr)\n }\n function array_allocation_size_bytes(length) -> size\n {\n if gt(length, 0xffffffffffffffff) { panic_error_0x41() }\n size := add(and(add(length, 31), not(31)), 0x20)\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 array_1 := allocate_memory(array_allocation_size_bytes(_1))\n mstore(array_1, _1)\n if gt(add(add(offset, _1), 0x20), end) { revert(0, 0) }\n calldatacopy(add(array_1, 0x20), add(offset, 0x20), _1)\n mstore(add(add(array_1, _1), 0x20), 0)\n array := array_1\n }\n function abi_decode_tuple_t_bytes_memory_ptr(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n let offset := calldataload(headStart)\n if gt(offset, 0xffffffffffffffff) { revert(0, 0) }\n value0 := abi_decode_bytes(add(headStart, offset), dataEnd)\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_bytes_memory_ptr__to_t_bytes_memory_ptr__fromStack_reversed(headStart, value0) -> tail\n {\n mstore(headStart, 32)\n tail := abi_encode_bytes(value0, add(headStart, 32))\n }\n function abi_decode_tuple_t_addresst_uint256t_uint16t_bytes32t_uint32t_bytes_memory_ptr(headStart, dataEnd) -> value0, value1, value2, value3, value4, value5\n {\n if slt(sub(dataEnd, headStart), 192) { revert(0, 0) }\n value0 := abi_decode_address(headStart)\n value1 := calldataload(add(headStart, 32))\n let value := calldataload(add(headStart, 64))\n validator_revert_uint16(value)\n value2 := value\n value3 := calldataload(add(headStart, 96))\n value4 := abi_decode_uint32(add(headStart, 128))\n let offset := calldataload(add(headStart, 160))\n if gt(offset, 0xffffffffffffffff) { revert(0, 0) }\n value5 := abi_decode_bytes(add(headStart, offset), dataEnd)\n }\n function abi_decode_tuple_t_bytes32(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n value0 := calldataload(headStart)\n }\n function abi_encode_uint16(value, pos)\n {\n mstore(pos, and(value, 0xffff))\n }\n function abi_encode_tuple_t_struct$_TransferWithPayload_$39152_memory_ptr__to_t_struct$_TransferWithPayload_$39152_memory_ptr__fromStack_reversed(headStart, value0) -> tail\n {\n mstore(headStart, 32)\n mstore(add(headStart, 32), and(mload(value0), 0xff))\n mstore(add(headStart, 64), mload(add(value0, 32)))\n mstore(add(headStart, 96), mload(add(value0, 64)))\n mstore(add(headStart, 128), and(mload(add(value0, 96)), 0xffff))\n mstore(add(headStart, 160), mload(add(value0, 128)))\n let memberValue0 := mload(add(value0, 160))\n abi_encode_uint16(memberValue0, add(headStart, 192))\n mstore(add(headStart, 224), mload(add(value0, 192)))\n let memberValue0_1 := mload(add(value0, 224))\n let _1 := 0x0100\n mstore(add(headStart, _1), _1)\n tail := abi_encode_bytes(memberValue0_1, add(headStart, 288))\n }\n function abi_decode_tuple_t_addresst_uint256(headStart, dataEnd) -> value0, value1\n {\n if slt(sub(dataEnd, headStart), 64) { revert(0, 0) }\n value0 := abi_decode_address(headStart)\n value1 := calldataload(add(headStart, 32))\n }\n function abi_encode_tuple_t_address_t_uint256_t_uint16_t_bytes32_t_uint256_t_uint32__to_t_address_t_uint256_t_uint16_t_bytes32_t_uint256_t_uint32__fromStack_reversed(headStart, value5, value4, value3, value2, value1, value0) -> tail\n {\n tail := add(headStart, 192)\n mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n mstore(add(headStart, 32), value1)\n mstore(add(headStart, 64), and(value2, 0xffff))\n mstore(add(headStart, 96), value3)\n mstore(add(headStart, 128), value4)\n mstore(add(headStart, 160), and(value5, 0xffffffff))\n }\n function abi_encode_tuple_t_address_t_uint256__to_t_address_t_uint256__fromStack_reversed(headStart, value1, value0) -> tail\n {\n tail := add(headStart, 64)\n mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n mstore(add(headStart, 32), value1)\n }\n function abi_encode_tuple_t_address_t_uint256_t_uint16_t_bytes32_t_uint32_t_bytes_memory_ptr__to_t_address_t_uint256_t_uint16_t_bytes32_t_uint32_t_bytes_memory_ptr__fromStack_reversed(headStart, value5, value4, value3, value2, value1, value0) -> tail\n {\n mstore(headStart, and(value0, 0xffffffffffffffffffffffffffffffffffffffff))\n mstore(add(headStart, 32), value1)\n mstore(add(headStart, 64), and(value2, 0xffff))\n mstore(add(headStart, 96), value3)\n mstore(add(headStart, 128), and(value4, 0xffffffff))\n mstore(add(headStart, 160), 192)\n tail := abi_encode_bytes(value5, add(headStart, 192))\n }\n function abi_decode_uint8_fromMemory(offset) -> value\n {\n value := mload(offset)\n if iszero(eq(value, and(value, 0xff))) { revert(0, 0) }\n }\n function abi_decode_uint16_fromMemory(offset) -> value\n {\n value := mload(offset)\n validator_revert_uint16(value)\n }\n function abi_decode_bytes_fromMemory(offset, end) -> array\n {\n if iszero(slt(add(offset, 0x1f), end)) { revert(0, 0) }\n let _1 := mload(offset)\n let array_1 := allocate_memory(array_allocation_size_bytes(_1))\n mstore(array_1, _1)\n if gt(add(add(offset, _1), 0x20), end) { revert(0, 0) }\n copy_memory_to_memory_with_cleanup(add(offset, 0x20), add(array_1, 0x20), _1)\n array := array_1\n }\n function abi_decode_tuple_t_struct$_TransferWithPayload_$39152_memory_ptr_fromMemory(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n let offset := mload(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), 0x0100) { revert(0, 0) }\n let value := allocate_memory_1198()\n mstore(value, abi_decode_uint8_fromMemory(_2))\n mstore(add(value, 32), mload(add(_2, 32)))\n mstore(add(value, 64), mload(add(_2, 64)))\n mstore(add(value, 96), abi_decode_uint16_fromMemory(add(_2, 96)))\n mstore(add(value, 128), mload(add(_2, 128)))\n mstore(add(value, 160), abi_decode_uint16_fromMemory(add(_2, 160)))\n mstore(add(value, 192), mload(add(_2, 192)))\n let offset_1 := mload(add(_2, 224))\n if gt(offset_1, _1) { revert(0, 0) }\n mstore(add(value, 224), abi_decode_bytes_fromMemory(add(_2, offset_1), dataEnd))\n value0 := value\n }\n}",
|
|
8572
8572
|
"id": 131,
|
|
8573
8573
|
"language": "Yul",
|
|
8574
8574
|
"name": "#utility.yul"
|
|
@@ -8615,15 +8615,15 @@
|
|
|
8615
8615
|
"storageLayout": {
|
|
8616
8616
|
"storage": [
|
|
8617
8617
|
{
|
|
8618
|
-
"astId":
|
|
8618
|
+
"astId": 43174,
|
|
8619
8619
|
"contract": "contracts/test/WormholeBridgeStub.sol:WormholeBridgeStub",
|
|
8620
8620
|
"label": "wormholeToken",
|
|
8621
8621
|
"offset": 0,
|
|
8622
8622
|
"slot": "0",
|
|
8623
|
-
"type": "t_contract(TestERC20)
|
|
8623
|
+
"type": "t_contract(TestERC20)42614"
|
|
8624
8624
|
},
|
|
8625
8625
|
{
|
|
8626
|
-
"astId":
|
|
8626
|
+
"astId": 43176,
|
|
8627
8627
|
"contract": "contracts/test/WormholeBridgeStub.sol:WormholeBridgeStub",
|
|
8628
8628
|
"label": "transferAmount",
|
|
8629
8629
|
"offset": 0,
|
|
@@ -8631,7 +8631,7 @@
|
|
|
8631
8631
|
"type": "t_uint256"
|
|
8632
8632
|
},
|
|
8633
8633
|
{
|
|
8634
|
-
"astId":
|
|
8634
|
+
"astId": 43178,
|
|
8635
8635
|
"contract": "contracts/test/WormholeBridgeStub.sol:WormholeBridgeStub",
|
|
8636
8636
|
"label": "receiverAddress",
|
|
8637
8637
|
"offset": 0,
|
|
@@ -8645,7 +8645,7 @@
|
|
|
8645
8645
|
"label": "bytes32",
|
|
8646
8646
|
"numberOfBytes": "32"
|
|
8647
8647
|
},
|
|
8648
|
-
"t_contract(TestERC20)
|
|
8648
|
+
"t_contract(TestERC20)42614": {
|
|
8649
8649
|
"encoding": "inplace",
|
|
8650
8650
|
"label": "contract TestERC20",
|
|
8651
8651
|
"numberOfBytes": "20"
|