@keep-network/tbtc-v2 1.8.0 → 1.8.2

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.
Files changed (203) hide show
  1. package/artifacts/Bridge.json +1998 -1972
  2. package/artifacts/Bridge_v2_Implementation.json +2817 -0
  3. package/artifacts/Deposit.json +7 -7
  4. package/artifacts/Redemption.json +95 -171
  5. package/build/contracts/GovernanceUtils.sol/GovernanceUtils.dbg.json +1 -1
  6. package/build/contracts/Timelock.sol/Timelock.dbg.json +1 -1
  7. package/build/contracts/bank/Bank.sol/Bank.dbg.json +1 -1
  8. package/build/contracts/bank/IReceiveBalanceApproval.sol/IReceiveBalanceApproval.dbg.json +1 -1
  9. package/build/contracts/bridge/BitcoinTx.sol/BitcoinTx.dbg.json +1 -1
  10. package/build/contracts/bridge/BitcoinTx.sol/BitcoinTx.json +2 -2
  11. package/build/contracts/bridge/Bridge.sol/Bridge.dbg.json +1 -1
  12. package/build/contracts/bridge/Bridge.sol/Bridge.json +74 -48
  13. package/build/contracts/bridge/BridgeGovernance.sol/BridgeGovernance.dbg.json +1 -1
  14. package/build/contracts/bridge/BridgeGovernance.sol/BridgeGovernance.json +2 -2
  15. package/build/contracts/bridge/BridgeGovernanceParameters.sol/BridgeGovernanceParameters.dbg.json +1 -1
  16. package/build/contracts/bridge/BridgeState.sol/BridgeState.dbg.json +1 -1
  17. package/build/contracts/bridge/BridgeState.sol/BridgeState.json +2 -2
  18. package/build/contracts/bridge/Deposit.sol/Deposit.dbg.json +1 -1
  19. package/build/contracts/bridge/Deposit.sol/Deposit.json +2 -2
  20. package/build/contracts/bridge/DepositSweep.sol/DepositSweep.dbg.json +1 -1
  21. package/build/contracts/bridge/DepositSweep.sol/DepositSweep.json +2 -2
  22. package/build/contracts/bridge/EcdsaLib.sol/EcdsaLib.dbg.json +1 -1
  23. package/build/contracts/bridge/Fraud.sol/Fraud.dbg.json +1 -1
  24. package/build/contracts/bridge/Fraud.sol/Fraud.json +2 -2
  25. package/build/contracts/bridge/Heartbeat.sol/Heartbeat.dbg.json +1 -1
  26. package/build/contracts/bridge/IRelay.sol/IRelay.dbg.json +1 -1
  27. package/build/contracts/bridge/MovingFunds.sol/MovingFunds.dbg.json +1 -1
  28. package/build/contracts/bridge/MovingFunds.sol/MovingFunds.json +2 -2
  29. package/build/contracts/bridge/Redemption.sol/IRedemptionWatchtower.dbg.json +1 -1
  30. package/build/contracts/bridge/Redemption.sol/OutboundTx.dbg.json +1 -1
  31. package/build/contracts/bridge/Redemption.sol/OutboundTx.json +2 -2
  32. package/build/contracts/bridge/Redemption.sol/Redemption.dbg.json +1 -1
  33. package/build/contracts/bridge/Redemption.sol/Redemption.json +2 -2
  34. package/build/contracts/bridge/RedemptionWatchtower.sol/RedemptionWatchtower.dbg.json +1 -1
  35. package/build/contracts/bridge/RedemptionWatchtower.sol/RedemptionWatchtower.json +2 -2
  36. package/build/contracts/bridge/VendingMachine.sol/VendingMachine.dbg.json +1 -1
  37. package/build/contracts/bridge/VendingMachineV2.sol/VendingMachineV2.dbg.json +1 -1
  38. package/build/contracts/bridge/VendingMachineV3.sol/VendingMachineV3.dbg.json +1 -1
  39. package/build/contracts/bridge/WalletProposalValidator.sol/WalletProposalValidator.dbg.json +1 -1
  40. package/build/contracts/bridge/WalletProposalValidator.sol/WalletProposalValidator.json +2 -2
  41. package/build/contracts/bridge/Wallets.sol/Wallets.dbg.json +1 -1
  42. package/build/contracts/bridge/Wallets.sol/Wallets.json +2 -2
  43. package/build/contracts/cross-chain/AbstractL1BTCDepositor.sol/AbstractL1BTCDepositor.dbg.json +1 -1
  44. package/build/contracts/cross-chain/L2TBTC.sol/L2TBTC.dbg.json +1 -1
  45. package/build/contracts/cross-chain/starknet/StarkNetBitcoinDepositor.sol/StarkNetBitcoinDepositor.dbg.json +1 -1
  46. package/build/contracts/cross-chain/starknet/interfaces/IStarkGateBridge.sol/IStarkGateBridge.dbg.json +1 -1
  47. package/build/contracts/cross-chain/utils/Crosschain.sol/CrosschainUtils.dbg.json +1 -1
  48. package/build/contracts/cross-chain/wormhole/BTCDepositorWormhole.sol/BTCDepositorWormhole.dbg.json +1 -1
  49. package/build/contracts/cross-chain/wormhole/L1BTCDepositorWormhole.sol/L1BTCDepositorWormhole.dbg.json +1 -1
  50. package/build/contracts/cross-chain/wormhole/L2BTCDepositorWormhole.sol/L2BTCDepositorWormhole.dbg.json +1 -1
  51. package/build/contracts/cross-chain/wormhole/L2WormholeGateway.sol/L2WormholeGateway.dbg.json +1 -1
  52. package/build/contracts/cross-chain/wormhole/Wormhole.sol/IWormhole.dbg.json +1 -1
  53. package/build/contracts/cross-chain/wormhole/Wormhole.sol/IWormholeGateway.dbg.json +1 -1
  54. package/build/contracts/cross-chain/wormhole/Wormhole.sol/IWormholeReceiver.dbg.json +1 -1
  55. package/build/contracts/cross-chain/wormhole/Wormhole.sol/IWormholeRelayer.dbg.json +1 -1
  56. package/build/contracts/cross-chain/wormhole/Wormhole.sol/IWormholeTokenBridge.dbg.json +1 -1
  57. package/build/contracts/cross-chain/wormhole/Wormhole.sol/WormholeTypes.dbg.json +1 -1
  58. package/build/contracts/cross-chain/wormhole/Wormhole.sol/WormholeUtils.dbg.json +1 -1
  59. package/build/contracts/integrator/AbstractBTCDepositor.sol/AbstractBTCDepositor.dbg.json +1 -1
  60. package/build/contracts/integrator/IBridge.sol/IBridge.dbg.json +1 -1
  61. package/build/contracts/integrator/IBridge.sol/IBridgeTypes.dbg.json +1 -1
  62. package/build/contracts/integrator/ITBTCVault.sol/ITBTCVault.dbg.json +1 -1
  63. package/build/contracts/maintainer/MaintainerProxy.sol/MaintainerProxy.dbg.json +1 -1
  64. package/build/contracts/maintainer/MaintainerProxy.sol/MaintainerProxy.json +2 -2
  65. package/build/contracts/relay/LightRelay.sol/ILightRelay.dbg.json +1 -1
  66. package/build/contracts/relay/LightRelay.sol/LightRelay.dbg.json +1 -1
  67. package/build/contracts/relay/LightRelay.sol/RelayUtils.dbg.json +1 -1
  68. package/build/contracts/relay/LightRelayMaintainerProxy.sol/LightRelayMaintainerProxy.dbg.json +1 -1
  69. package/build/contracts/test/BankStub.sol/BankStub.dbg.json +1 -1
  70. package/build/contracts/test/BridgeStub.sol/BridgeStub.dbg.json +1 -1
  71. package/build/contracts/test/BridgeStub.sol/BridgeStub.json +74 -48
  72. package/build/contracts/test/HeartbeatStub.sol/HeartbeatStub.dbg.json +1 -1
  73. package/build/contracts/test/LightRelayStub.sol/LightRelayStub.dbg.json +1 -1
  74. package/build/contracts/test/MockBridgeForStarkNet.sol/MockBridgeForStarkNet.dbg.json +1 -1
  75. package/build/contracts/test/MockStarkGateBridge.sol/MockStarkGateBridge.dbg.json +1 -1
  76. package/build/contracts/test/MockTBTCBridge.sol/MockTBTCBridge.dbg.json +1 -1
  77. package/build/contracts/test/MockTBTCBridgeWithSweep.sol/MockTBTCBridgeWithSweep.dbg.json +1 -1
  78. package/build/contracts/test/MockTBTCToken.sol/MockTBTCToken.dbg.json +1 -1
  79. package/build/contracts/test/MockTBTCVault.sol/MockTBTCVault.dbg.json +1 -1
  80. package/build/contracts/test/ReceiveApprovalStub.sol/ReceiveApprovalStub.dbg.json +1 -1
  81. package/build/contracts/test/ReentrancyAttacker.sol/ReentrancyAttacker.dbg.json +1 -1
  82. package/build/contracts/test/SepoliaLightRelay.sol/SepoliaLightRelay.dbg.json +1 -1
  83. package/build/contracts/test/SystemTestRelay.sol/SystemTestRelay.dbg.json +1 -1
  84. package/build/contracts/test/SystemTestRelay.sol/SystemTestRelay.json +2 -2
  85. package/build/contracts/test/TestBTCDepositor.sol/MockBridge.dbg.json +1 -1
  86. package/build/contracts/test/TestBTCDepositor.sol/MockTBTCVault.dbg.json +1 -1
  87. package/build/contracts/test/TestBTCDepositor.sol/TestBTCDepositor.dbg.json +1 -1
  88. package/build/contracts/test/TestBitcoinTx.sol/TestBitcoinTx.dbg.json +1 -1
  89. package/build/contracts/test/TestBitcoinTx.sol/TestBitcoinTx.json +2 -2
  90. package/build/contracts/test/TestERC20.sol/TestERC20.dbg.json +1 -1
  91. package/build/contracts/test/TestERC721.sol/TestERC721.dbg.json +1 -1
  92. package/build/contracts/test/TestEcdsaLib.sol/TestEcdsaLib.dbg.json +1 -1
  93. package/build/contracts/test/WormholeBridgeStub.sol/WormholeBridgeStub.dbg.json +1 -1
  94. package/build/contracts/token/TBTC.sol/TBTC.dbg.json +1 -1
  95. package/build/contracts/vault/DonationVault.sol/DonationVault.dbg.json +1 -1
  96. package/build/contracts/vault/IVault.sol/IVault.dbg.json +1 -1
  97. package/build/contracts/vault/TBTCOptimisticMinting.sol/TBTCOptimisticMinting.dbg.json +1 -1
  98. package/build/contracts/vault/TBTCVault.sol/TBTCVault.dbg.json +1 -1
  99. package/build/contracts/vault/TBTCVault.sol/TBTCVault.json +2 -2
  100. package/contracts/bridge/Bridge.sol +34 -0
  101. package/contracts/bridge/Deposit.sol +7 -5
  102. package/deploy/80_upgrade_bridge_v2.ts +107 -54
  103. package/deploy/81_upgrade_bridge_v2_vault_fix.ts +160 -0
  104. package/export/artifacts/contracts/bridge/Bridge.sol/Bridge.json +4891 -4170
  105. package/export/artifacts/contracts/bridge/BridgeGovernance.sol/BridgeGovernance.json +207 -207
  106. package/export/artifacts/contracts/bridge/RedemptionWatchtower.sol/RedemptionWatchtower.json +104 -104
  107. package/export/artifacts/contracts/bridge/VendingMachine.sol/VendingMachine.json +67 -67
  108. package/export/artifacts/contracts/bridge/VendingMachineV2.sol/VendingMachineV2.json +24 -24
  109. package/export/artifacts/contracts/bridge/VendingMachineV3.sol/VendingMachineV3.json +26 -26
  110. package/export/artifacts/contracts/bridge/WalletProposalValidator.sol/WalletProposalValidator.json +72 -72
  111. package/export/artifacts/contracts/cross-chain/L2TBTC.sol/L2TBTC.json +40 -40
  112. package/export/artifacts/contracts/cross-chain/starknet/StarkNetBitcoinDepositor.sol/StarkNetBitcoinDepositor.json +3360 -3360
  113. package/export/artifacts/contracts/cross-chain/wormhole/BTCDepositorWormhole.sol/BTCDepositorWormhole.json +117 -117
  114. package/export/artifacts/contracts/cross-chain/wormhole/L1BTCDepositorWormhole.sol/L1BTCDepositorWormhole.json +140 -140
  115. package/export/artifacts/contracts/cross-chain/wormhole/L2BTCDepositorWormhole.sol/L2BTCDepositorWormhole.json +37 -37
  116. package/export/artifacts/contracts/cross-chain/wormhole/L2WormholeGateway.sol/L2WormholeGateway.json +51 -51
  117. package/export/artifacts/contracts/maintainer/MaintainerProxy.sol/MaintainerProxy.json +103 -103
  118. package/export/artifacts/contracts/relay/LightRelay.sol/LightRelay.json +57 -57
  119. package/export/artifacts/contracts/relay/LightRelayMaintainerProxy.sol/LightRelayMaintainerProxy.json +31 -31
  120. package/export/artifacts/contracts/test/BankStub.sol/BankStub.json +2 -2
  121. package/export/artifacts/contracts/test/BridgeStub.sol/BridgeStub.json +5130 -4414
  122. package/export/artifacts/contracts/test/HeartbeatStub.sol/HeartbeatStub.json +4 -4
  123. package/export/artifacts/contracts/test/LightRelayStub.sol/LightRelayStub.json +59 -59
  124. package/export/artifacts/contracts/test/MockBridgeForStarkNet.sol/MockBridgeForStarkNet.json +730 -730
  125. package/export/artifacts/contracts/test/MockStarkGateBridge.sol/MockStarkGateBridge.json +956 -956
  126. package/export/artifacts/contracts/test/MockTBTCBridge.sol/MockTBTCBridge.json +781 -781
  127. package/export/artifacts/contracts/test/MockTBTCBridgeWithSweep.sol/MockTBTCBridgeWithSweep.json +458 -458
  128. package/export/artifacts/contracts/test/MockTBTCToken.sol/MockTBTCToken.json +1273 -1273
  129. package/export/artifacts/contracts/test/MockTBTCVault.sol/MockTBTCVault.json +305 -305
  130. package/export/artifacts/contracts/test/ReceiveApprovalStub.sol/ReceiveApprovalStub.json +7 -7
  131. package/export/artifacts/contracts/test/ReentrancyAttacker.sol/ReentrancyAttacker.json +204 -204
  132. package/export/artifacts/contracts/test/SepoliaLightRelay.sol/SepoliaLightRelay.json +59 -59
  133. package/export/artifacts/contracts/test/SystemTestRelay.sol/SystemTestRelay.json +19 -19
  134. package/export/artifacts/contracts/test/TestBTCDepositor.sol/MockBridge.json +34 -34
  135. package/export/artifacts/contracts/test/TestBTCDepositor.sol/MockTBTCVault.json +20 -20
  136. package/export/artifacts/contracts/test/TestBTCDepositor.sol/TestBTCDepositor.json +52 -52
  137. package/export/artifacts/contracts/test/TestBitcoinTx.sol/TestBitcoinTx.json +124 -124
  138. package/export/artifacts/contracts/test/TestERC20.sol/TestERC20.json +6 -6
  139. package/export/artifacts/contracts/test/TestERC721.sol/TestERC721.json +8 -8
  140. package/export/artifacts/contracts/test/TestEcdsaLib.sol/TestEcdsaLib.json +4 -4
  141. package/export/artifacts/contracts/test/WormholeBridgeStub.sol/WormholeBridgeStub.json +37 -37
  142. package/export/artifacts/contracts/token/TBTC.sol/TBTC.json +2 -2
  143. package/export/artifacts/contracts/vault/DonationVault.sol/DonationVault.json +11 -11
  144. package/export/artifacts/contracts/vault/TBTCVault.sol/TBTCVault.json +144 -144
  145. package/export/deploy/80_upgrade_bridge_v2.js +127 -90
  146. package/export/deploy/81_upgrade_bridge_v2_vault_fix.js +211 -0
  147. package/export/typechain/AbstractBTCRedeemer.js +2 -0
  148. package/export/typechain/IBank.js +2 -0
  149. package/export/typechain/IL2WormholeGateway.js +2 -0
  150. package/export/typechain/INttManager.js +2 -0
  151. package/export/typechain/INttManagerWithExecutor.js +2 -0
  152. package/export/typechain/L1BTCDepositorNtt.js +2 -0
  153. package/export/typechain/L1BTCDepositorNttWithExecutor.js +2 -0
  154. package/export/typechain/L1BTCRedeemerWormhole.js +2 -0
  155. package/export/typechain/L2BTCRedeemerWormhole.js +2 -0
  156. package/export/typechain/MockBank.js +2 -0
  157. package/export/typechain/MockBridgeWithRebateStaking.js +2 -0
  158. package/export/typechain/MockL1BTCRedeemerWormhole.js +2 -0
  159. package/export/typechain/MockNttManager.js +2 -0
  160. package/export/typechain/MockNttManagerWithExecutor.js +2 -0
  161. package/export/typechain/NativeBTCDepositor.js +2 -0
  162. package/export/typechain/RebateStaking.js +2 -0
  163. package/export/typechain/TestBTCRedeemer.js +2 -0
  164. package/export/typechain/TestBTCUtilsHelper.js +2 -0
  165. package/export/typechain/TransceiverStructs.js +2 -0
  166. package/export/typechain/factories/AbstractBTCRedeemer__factory.js +204 -0
  167. package/export/typechain/factories/BridgeGovernance__factory.js +1 -1
  168. package/export/typechain/factories/BridgeState__factory.js +1 -1
  169. package/export/typechain/factories/BridgeStub__factory.js +27 -1
  170. package/export/typechain/factories/Bridge__factory.js +27 -1
  171. package/export/typechain/factories/DepositSweep__factory.js +1 -1
  172. package/export/typechain/factories/Deposit__factory.js +1 -1
  173. package/export/typechain/factories/Fraud__factory.js +1 -1
  174. package/export/typechain/factories/IBank__factory.js +138 -0
  175. package/export/typechain/factories/IL2WormholeGateway__factory.js +61 -0
  176. package/export/typechain/factories/INttManagerWithExecutor__factory.js +183 -0
  177. package/export/typechain/factories/INttManager__factory.js +51 -0
  178. package/export/typechain/factories/L1BTCDepositorNttWithExecutor__factory.js +1454 -0
  179. package/export/typechain/factories/L1BTCDepositorNtt__factory.js +920 -0
  180. package/export/typechain/factories/L1BTCRedeemerWormhole__factory.js +622 -0
  181. package/export/typechain/factories/L2BTCRedeemerWormhole__factory.js +348 -0
  182. package/export/typechain/factories/MaintainerProxy__factory.js +1 -1
  183. package/export/typechain/factories/MockBank__factory.js +248 -0
  184. package/export/typechain/factories/MockBridgeWithRebateStaking__factory.js +129 -0
  185. package/export/typechain/factories/MockL1BTCRedeemerWormhole__factory.js +638 -0
  186. package/export/typechain/factories/MockNttManagerWithExecutor__factory.js +423 -0
  187. package/export/typechain/factories/MockNttManager__factory.js +211 -0
  188. package/export/typechain/factories/MovingFunds__factory.js +1 -1
  189. package/export/typechain/factories/NativeBTCDepositor__factory.js +635 -0
  190. package/export/typechain/factories/RebateStaking__factory.js +720 -0
  191. package/export/typechain/factories/RedemptionWatchtower__factory.js +1 -1
  192. package/export/typechain/factories/Redemption__factory.js +1 -1
  193. package/export/typechain/factories/SystemTestRelay__factory.js +1 -1
  194. package/export/typechain/factories/TBTCVault__factory.js +1 -1
  195. package/export/typechain/factories/TestBTCRedeemer__factory.js +425 -0
  196. package/export/typechain/factories/TestBTCUtilsHelper__factory.js +109 -0
  197. package/export/typechain/factories/TestBitcoinTx__factory.js +1 -1
  198. package/export/typechain/factories/TransceiverStructs__factory.js +853 -0
  199. package/export/typechain/factories/WalletProposalValidator__factory.js +1 -1
  200. package/export/typechain/factories/Wallets__factory.js +1 -1
  201. package/export/typechain/index.js +40 -2
  202. package/export.json +40910 -0
  203. package/package.json +1 -1
package/export/artifacts/contracts/test/ReentrancyAttacker.sol/ReentrancyAttacker.json CHANGED
@@ -84,9 +84,9 @@
84
84
  "evm": {
85
85
  "bytecode": {
86
86
  "functionDebugData": {
87
- "@_7292": {
87
+ "@_47344": {
88
88
  "entryPoint": null,
89
- "id": 7292,
89
+ "id": 47344,
90
90
  "parameterSlots": 1,
91
91
  "returnSlots": 0
92
92
  },
@@ -101,22 +101,22 @@
101
101
  {
102
102
  "ast": {
103
103
  "nodeType": "YulBlock",
104
- "src": "0:306:32",
104
+ "src": "0:306:152",
105
105
  "statements": [
106
106
  {
107
107
  "nodeType": "YulBlock",
108
- "src": "6:3:32",
108
+ "src": "6:3:152",
109
109
  "statements": []
110
110
  },
111
111
  {
112
112
  "body": {
113
113
  "nodeType": "YulBlock",
114
- "src": "95:209:32",
114
+ "src": "95:209:152",
115
115
  "statements": [
116
116
  {
117
117
  "body": {
118
118
  "nodeType": "YulBlock",
119
- "src": "141:16:32",
119
+ "src": "141:16:152",
120
120
  "statements": [
121
121
  {
122
122
  "expression": {
@@ -124,14 +124,14 @@
124
124
  {
125
125
  "kind": "number",
126
126
  "nodeType": "YulLiteral",
127
- "src": "150:1:32",
127
+ "src": "150:1:152",
128
128
  "type": "",
129
129
  "value": "0"
130
130
  },
131
131
  {
132
132
  "kind": "number",
133
133
  "nodeType": "YulLiteral",
134
- "src": "153:1:32",
134
+ "src": "153:1:152",
135
135
  "type": "",
136
136
  "value": "0"
137
137
  }
@@ -139,13 +139,13 @@
139
139
  "functionName": {
140
140
  "name": "revert",
141
141
  "nodeType": "YulIdentifier",
142
- "src": "143:6:32"
142
+ "src": "143:6:152"
143
143
  },
144
144
  "nodeType": "YulFunctionCall",
145
- "src": "143:12:32"
145
+ "src": "143:12:152"
146
146
  },
147
147
  "nodeType": "YulExpressionStatement",
148
- "src": "143:12:32"
148
+ "src": "143:12:152"
149
149
  }
150
150
  ]
151
151
  },
@@ -156,26 +156,26 @@
156
156
  {
157
157
  "name": "dataEnd",
158
158
  "nodeType": "YulIdentifier",
159
- "src": "116:7:32"
159
+ "src": "116:7:152"
160
160
  },
161
161
  {
162
162
  "name": "headStart",
163
163
  "nodeType": "YulIdentifier",
164
- "src": "125:9:32"
164
+ "src": "125:9:152"
165
165
  }
166
166
  ],
167
167
  "functionName": {
168
168
  "name": "sub",
169
169
  "nodeType": "YulIdentifier",
170
- "src": "112:3:32"
170
+ "src": "112:3:152"
171
171
  },
172
172
  "nodeType": "YulFunctionCall",
173
- "src": "112:23:32"
173
+ "src": "112:23:152"
174
174
  },
175
175
  {
176
176
  "kind": "number",
177
177
  "nodeType": "YulLiteral",
178
- "src": "137:2:32",
178
+ "src": "137:2:152",
179
179
  "type": "",
180
180
  "value": "32"
181
181
  }
@@ -183,38 +183,38 @@
183
183
  "functionName": {
184
184
  "name": "slt",
185
185
  "nodeType": "YulIdentifier",
186
- "src": "108:3:32"
186
+ "src": "108:3:152"
187
187
  },
188
188
  "nodeType": "YulFunctionCall",
189
- "src": "108:32:32"
189
+ "src": "108:32:152"
190
190
  },
191
191
  "nodeType": "YulIf",
192
- "src": "105:52:32"
192
+ "src": "105:52:152"
193
193
  },
194
194
  {
195
195
  "nodeType": "YulVariableDeclaration",
196
- "src": "166:29:32",
196
+ "src": "166:29:152",
197
197
  "value": {
198
198
  "arguments": [
199
199
  {
200
200
  "name": "headStart",
201
201
  "nodeType": "YulIdentifier",
202
- "src": "185:9:32"
202
+ "src": "185:9:152"
203
203
  }
204
204
  ],
205
205
  "functionName": {
206
206
  "name": "mload",
207
207
  "nodeType": "YulIdentifier",
208
- "src": "179:5:32"
208
+ "src": "179:5:152"
209
209
  },
210
210
  "nodeType": "YulFunctionCall",
211
- "src": "179:16:32"
211
+ "src": "179:16:152"
212
212
  },
213
213
  "variables": [
214
214
  {
215
215
  "name": "value",
216
216
  "nodeType": "YulTypedName",
217
- "src": "170:5:32",
217
+ "src": "170:5:152",
218
218
  "type": ""
219
219
  }
220
220
  ]
@@ -222,7 +222,7 @@
222
222
  {
223
223
  "body": {
224
224
  "nodeType": "YulBlock",
225
- "src": "258:16:32",
225
+ "src": "258:16:152",
226
226
  "statements": [
227
227
  {
228
228
  "expression": {
@@ -230,14 +230,14 @@
230
230
  {
231
231
  "kind": "number",
232
232
  "nodeType": "YulLiteral",
233
- "src": "267:1:32",
233
+ "src": "267:1:152",
234
234
  "type": "",
235
235
  "value": "0"
236
236
  },
237
237
  {
238
238
  "kind": "number",
239
239
  "nodeType": "YulLiteral",
240
- "src": "270:1:32",
240
+ "src": "270:1:152",
241
241
  "type": "",
242
242
  "value": "0"
243
243
  }
@@ -245,13 +245,13 @@
245
245
  "functionName": {
246
246
  "name": "revert",
247
247
  "nodeType": "YulIdentifier",
248
- "src": "260:6:32"
248
+ "src": "260:6:152"
249
249
  },
250
250
  "nodeType": "YulFunctionCall",
251
- "src": "260:12:32"
251
+ "src": "260:12:152"
252
252
  },
253
253
  "nodeType": "YulExpressionStatement",
254
- "src": "260:12:32"
254
+ "src": "260:12:152"
255
255
  }
256
256
  ]
257
257
  },
@@ -262,14 +262,14 @@
262
262
  {
263
263
  "name": "value",
264
264
  "nodeType": "YulIdentifier",
265
- "src": "217:5:32"
265
+ "src": "217:5:152"
266
266
  },
267
267
  {
268
268
  "arguments": [
269
269
  {
270
270
  "name": "value",
271
271
  "nodeType": "YulIdentifier",
272
- "src": "228:5:32"
272
+ "src": "228:5:152"
273
273
  },
274
274
  {
275
275
  "arguments": [
@@ -278,14 +278,14 @@
278
278
  {
279
279
  "kind": "number",
280
280
  "nodeType": "YulLiteral",
281
- "src": "243:3:32",
281
+ "src": "243:3:152",
282
282
  "type": "",
283
283
  "value": "160"
284
284
  },
285
285
  {
286
286
  "kind": "number",
287
287
  "nodeType": "YulLiteral",
288
- "src": "248:1:32",
288
+ "src": "248:1:152",
289
289
  "type": "",
290
290
  "value": "1"
291
291
  }
@@ -293,15 +293,15 @@
293
293
  "functionName": {
294
294
  "name": "shl",
295
295
  "nodeType": "YulIdentifier",
296
- "src": "239:3:32"
296
+ "src": "239:3:152"
297
297
  },
298
298
  "nodeType": "YulFunctionCall",
299
- "src": "239:11:32"
299
+ "src": "239:11:152"
300
300
  },
301
301
  {
302
302
  "kind": "number",
303
303
  "nodeType": "YulLiteral",
304
- "src": "252:1:32",
304
+ "src": "252:1:152",
305
305
  "type": "",
306
306
  "value": "1"
307
307
  }
@@ -309,54 +309,54 @@
309
309
  "functionName": {
310
310
  "name": "sub",
311
311
  "nodeType": "YulIdentifier",
312
- "src": "235:3:32"
312
+ "src": "235:3:152"
313
313
  },
314
314
  "nodeType": "YulFunctionCall",
315
- "src": "235:19:32"
315
+ "src": "235:19:152"
316
316
  }
317
317
  ],
318
318
  "functionName": {
319
319
  "name": "and",
320
320
  "nodeType": "YulIdentifier",
321
- "src": "224:3:32"
321
+ "src": "224:3:152"
322
322
  },
323
323
  "nodeType": "YulFunctionCall",
324
- "src": "224:31:32"
324
+ "src": "224:31:152"
325
325
  }
326
326
  ],
327
327
  "functionName": {
328
328
  "name": "eq",
329
329
  "nodeType": "YulIdentifier",
330
- "src": "214:2:32"
330
+ "src": "214:2:152"
331
331
  },
332
332
  "nodeType": "YulFunctionCall",
333
- "src": "214:42:32"
333
+ "src": "214:42:152"
334
334
  }
335
335
  ],
336
336
  "functionName": {
337
337
  "name": "iszero",
338
338
  "nodeType": "YulIdentifier",
339
- "src": "207:6:32"
339
+ "src": "207:6:152"
340
340
  },
341
341
  "nodeType": "YulFunctionCall",
342
- "src": "207:50:32"
342
+ "src": "207:50:152"
343
343
  },
344
344
  "nodeType": "YulIf",
345
- "src": "204:70:32"
345
+ "src": "204:70:152"
346
346
  },
347
347
  {
348
348
  "nodeType": "YulAssignment",
349
- "src": "283:15:32",
349
+ "src": "283:15:152",
350
350
  "value": {
351
351
  "name": "value",
352
352
  "nodeType": "YulIdentifier",
353
- "src": "293:5:32"
353
+ "src": "293:5:152"
354
354
  },
355
355
  "variableNames": [
356
356
  {
357
357
  "name": "value0",
358
358
  "nodeType": "YulIdentifier",
359
- "src": "283:6:32"
359
+ "src": "283:6:152"
360
360
  }
361
361
  ]
362
362
  }
@@ -368,13 +368,13 @@
368
368
  {
369
369
  "name": "headStart",
370
370
  "nodeType": "YulTypedName",
371
- "src": "61:9:32",
371
+ "src": "61:9:152",
372
372
  "type": ""
373
373
  },
374
374
  {
375
375
  "name": "dataEnd",
376
376
  "nodeType": "YulTypedName",
377
- "src": "72:7:32",
377
+ "src": "72:7:152",
378
378
  "type": ""
379
379
  }
380
380
  ],
@@ -382,59 +382,59 @@
382
382
  {
383
383
  "name": "value0",
384
384
  "nodeType": "YulTypedName",
385
- "src": "84:6:32",
385
+ "src": "84:6:152",
386
386
  "type": ""
387
387
  }
388
388
  ],
389
- "src": "14:290:32"
389
+ "src": "14:290:152"
390
390
  }
391
391
  ]
392
392
  },
393
393
  "contents": "{\n { }\n function abi_decode_tuple_t_address_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}",
394
- "id": 32,
394
+ "id": 152,
395
395
  "language": "Yul",
396
396
  "name": "#utility.yul"
397
397
  }
398
398
  ],
399
399
  "linkReferences": {},
400
400
  "opcodes": "PUSH1 0xA0 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x40 MLOAD PUSH2 0x45A CODESIZE SUB DUP1 PUSH2 0x45A DUP4 CODECOPY DUP2 ADD PUSH1 0x40 DUP2 SWAP1 MSTORE PUSH2 0x2F SWAP2 PUSH2 0x40 JUMP JUMPDEST PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB AND PUSH1 0x80 MSTORE PUSH2 0x70 JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x52 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP2 MLOAD PUSH1 0x1 PUSH1 0x1 PUSH1 0xA0 SHL SUB DUP2 AND DUP2 EQ PUSH2 0x69 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP4 SWAP3 POP POP POP JUMP JUMPDEST PUSH1 0x80 MLOAD PUSH2 0x3C2 PUSH2 0x98 PUSH1 0x0 CODECOPY PUSH1 0x0 DUP2 DUP2 PUSH1 0xF6 ADD MSTORE DUP2 DUP2 PUSH2 0x1F5 ADD MSTORE PUSH2 0x2D6 ADD MSTORE PUSH2 0x3C2 PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE PUSH1 0x4 CALLDATASIZE LT PUSH2 0x5E JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x407C2821 GT PUSH2 0x43 JUMPI DUP1 PUSH4 0x407C2821 EQ PUSH2 0x1B7 JUMPI DUP1 PUSH4 0x9E5FAAFC EQ PUSH2 0x1DB JUMPI DUP1 PUSH4 0xD4B83992 EQ PUSH2 0x1E3 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP1 PUSH4 0x3C0BBCD9 EQ PUSH2 0x173 JUMPI DUP1 PUSH4 0x3CCFD60B EQ PUSH2 0x1A2 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST CALLDATASIZE PUSH2 0x16E JUMPI PUSH1 0x1 SLOAD PUSH1 0xFF AND DUP1 ISZERO PUSH2 0x77 JUMPI POP PUSH1 0x2 PUSH1 0x0 SLOAD LT JUMPDEST ISZERO PUSH2 0x16C JUMPI PUSH1 0x0 DUP1 SLOAD SWAP1 DUP1 PUSH2 0x8B DUP4 PUSH2 0x34C JUMP JUMPDEST SWAP1 SWAP2 SSTORE POP POP PUSH1 0x0 DUP1 SLOAD PUSH1 0x40 MLOAD PUSH32 0x7265656E74657200000000000000000000000000000000000000000000000000 PUSH1 0x20 DUP3 ADD MSTORE PUSH1 0x27 DUP2 ADD SWAP2 SWAP1 SWAP2 MSTORE PUSH1 0x47 ADD PUSH1 0x40 DUP1 MLOAD DUP1 DUP4 SUB PUSH1 0x1F NOT ADD DUP2 MSTORE SWAP1 DUP3 SWAP1 MSTORE DUP1 MLOAD PUSH1 0x20 SWAP1 SWAP2 ADD KECCAK256 PUSH4 0x236CEA4D PUSH1 0xE1 SHL DUP3 MSTORE PUSH1 0x4 DUP3 ADD DUP2 SWAP1 MSTORE SWAP2 POP PUSH32 0x0 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP1 PUSH4 0x46D9D49A SWAP1 PUSH1 0x0 SWAP1 PUSH1 0x24 ADD PUSH1 0x0 PUSH1 0x40 MLOAD DUP1 DUP4 SUB DUP2 DUP6 DUP9 DUP1 EXTCODESIZE ISZERO DUP1 ISZERO PUSH2 0x151 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP GAS CALL ISZERO DUP1 ISZERO PUSH2 0x165 JUMPI RETURNDATASIZE PUSH1 0x0 DUP1 RETURNDATACOPY RETURNDATASIZE PUSH1 0x0 REVERT JUMPDEST POP POP POP POP POP POP JUMPDEST STOP JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x17F JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x1 SLOAD PUSH2 0x18D SWAP1 PUSH1 0xFF AND DUP2 JUMP JUMPDEST PUSH1 0x40 MLOAD SWAP1 ISZERO ISZERO DUP2 MSTORE PUSH1 0x20 ADD JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x1AE JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x16C PUSH2 0x23C JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x1C3 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x1CD PUSH1 0x0 SLOAD DUP2 JUMP JUMPDEST PUSH1 0x40 MLOAD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH2 0x199 JUMP JUMPDEST PUSH2 0x16C PUSH2 0x26B JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x1EF JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x217 PUSH32 0x0 DUP2 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF SWAP1 SWAP2 AND DUP2 MSTORE PUSH1 0x20 ADD PUSH2 0x199 JUMP JUMPDEST PUSH1 0x40 MLOAD CALLER SWAP1 SELFBALANCE DUP1 ISZERO PUSH2 0x8FC MUL SWAP2 PUSH1 0x0 DUP2 DUP2 DUP2 DUP6 DUP9 DUP9 CALL SWAP4 POP POP POP POP ISZERO DUP1 ISZERO PUSH2 0x268 JUMPI RETURNDATASIZE PUSH1 0x0 DUP1 RETURNDATACOPY RETURNDATASIZE PUSH1 0x0 REVERT JUMPDEST POP JUMP JUMPDEST PUSH1 0x1 DUP1 SLOAD PUSH1 0xFF NOT AND DUP2 OR SWAP1 SSTORE PUSH1 0x0 DUP1 DUP1 SSTORE PUSH1 0x40 MLOAD PUSH32 0x61747461636B0000000000000000000000000000000000000000000000000000 PUSH1 0x20 DUP3 ADD MSTORE PUSH1 0x26 ADD PUSH1 0x40 DUP1 MLOAD DUP1 DUP4 SUB PUSH1 0x1F NOT ADD DUP2 MSTORE SWAP1 DUP3 SWAP1 MSTORE DUP1 MLOAD PUSH1 0x20 SWAP1 SWAP2 ADD KECCAK256 PUSH4 0x236CEA4D PUSH1 0xE1 SHL DUP3 MSTORE PUSH1 0x4 DUP3 ADD DUP2 SWAP1 MSTORE SWAP2 POP PUSH32 0x0 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP1 PUSH4 0x46D9D49A SWAP1 CALLVALUE SWAP1 PUSH1 0x24 ADD PUSH1 0x0 PUSH1 0x40 MLOAD DUP1 DUP4 SUB DUP2 DUP6 DUP9 DUP1 EXTCODESIZE ISZERO DUP1 ISZERO PUSH2 0x330 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP GAS CALL ISZERO DUP1 ISZERO PUSH2 0x344 JUMPI RETURNDATASIZE PUSH1 0x0 DUP1 RETURNDATACOPY RETURNDATASIZE PUSH1 0x0 REVERT JUMPDEST POP POP POP POP POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x1 DUP3 ADD PUSH2 0x385 JUMPI PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST POP PUSH1 0x1 ADD SWAP1 JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 KECCAK256 0x23 KECCAK256 CREATE2 MSTORE8 0xE5 PUSH5 0xA9C634DF76 DUP14 PUSH25 0x58F75D98BD7DE58B9EAD2305616219367D8D64736F6C634300 ADDMOD GT STOP CALLER ",
401
- "sourceMap": "217:1086:31:-:0;;;365:97;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;;;;404:51:31;;;217:1086;;14:290:32;84:6;137:2;125:9;116:7;112:23;108:32;105:52;;;153:1;150;143:12;105:52;179:16;;-1:-1:-1;;;;;224:31:32;;214:42;;204:70;;270:1;267;260:12;204:70;293:5;14:290;-1:-1:-1;;;14:290:32:o;:::-;217:1086:31;;;;;;;;;;;;;;;;;;;;;;"
401
+ "sourceMap": "217:1086:138:-:0;;;365:97;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;;;;404:51:138;;;217:1086;;14:290:152;84:6;137:2;125:9;116:7;112:23;108:32;105:52;;;153:1;150;143:12;105:52;179:16;;-1:-1:-1;;;;;224:31:152;;214:42;;204:70;;270:1;267;260:12;204:70;293:5;14:290;-1:-1:-1;;;14:290:152:o;:::-;217:1086:138;;;;;;;;;;;;;;;;;;;;;;"
402
402
  },
403
403
  "deployedBytecode": {
404
404
  "functionDebugData": {
405
- "@_7360": {
405
+ "@_47412": {
406
406
  "entryPoint": null,
407
- "id": 7360,
407
+ "id": 47412,
408
408
  "parameterSlots": 0,
409
409
  "returnSlots": 0
410
410
  },
411
- "@attackCount_7275": {
411
+ "@attackCount_47327": {
412
412
  "entryPoint": null,
413
- "id": 7275,
413
+ "id": 47327,
414
414
  "parameterSlots": 0,
415
415
  "returnSlots": 0
416
416
  },
417
- "@attack_7325": {
417
+ "@attack_47377": {
418
418
  "entryPoint": 619,
419
- "id": 7325,
419
+ "id": 47377,
420
420
  "parameterSlots": 0,
421
421
  "returnSlots": 0
422
422
  },
423
- "@attacking_7277": {
423
+ "@attacking_47329": {
424
424
  "entryPoint": null,
425
- "id": 7277,
425
+ "id": 47329,
426
426
  "parameterSlots": 0,
427
427
  "returnSlots": 0
428
428
  },
429
- "@target_7273": {
429
+ "@target_47325": {
430
430
  "entryPoint": null,
431
- "id": 7273,
431
+ "id": 47325,
432
432
  "parameterSlots": 0,
433
433
  "returnSlots": 0
434
434
  },
435
- "@withdraw_7377": {
435
+ "@withdraw_47429": {
436
436
  "entryPoint": 572,
437
- "id": 7377,
437
+ "id": 47429,
438
438
  "parameterSlots": 0,
439
439
  "returnSlots": 0
440
440
  },
@@ -456,7 +456,7 @@
456
456
  "parameterSlots": 2,
457
457
  "returnSlots": 1
458
458
  },
459
- "abi_encode_tuple_t_contract$_StarkNetBitcoinDepositor_$5626__to_t_address__fromStack_reversed": {
459
+ "abi_encode_tuple_t_contract$_StarkNetBitcoinDepositor_$41430__to_t_address__fromStack_reversed": {
460
460
  "entryPoint": null,
461
461
  "id": null,
462
462
  "parameterSlots": 2,
@@ -479,22 +479,22 @@
479
479
  {
480
480
  "ast": {
481
481
  "nodeType": "YulBlock",
482
- "src": "0:1531:32",
482
+ "src": "0:1532:152",
483
483
  "statements": [
484
484
  {
485
485
  "nodeType": "YulBlock",
486
- "src": "6:3:32",
486
+ "src": "6:3:152",
487
487
  "statements": []
488
488
  },
489
489
  {
490
490
  "body": {
491
491
  "nodeType": "YulBlock",
492
- "src": "61:242:32",
492
+ "src": "61:242:152",
493
493
  "statements": [
494
494
  {
495
495
  "body": {
496
496
  "nodeType": "YulBlock",
497
- "src": "100:168:32",
497
+ "src": "100:168:152",
498
498
  "statements": [
499
499
  {
500
500
  "expression": {
@@ -502,14 +502,14 @@
502
502
  {
503
503
  "kind": "number",
504
504
  "nodeType": "YulLiteral",
505
- "src": "121:1:32",
505
+ "src": "121:1:152",
506
506
  "type": "",
507
507
  "value": "0"
508
508
  },
509
509
  {
510
510
  "kind": "number",
511
511
  "nodeType": "YulLiteral",
512
- "src": "124:77:32",
512
+ "src": "124:77:152",
513
513
  "type": "",
514
514
  "value": "35408467139433450592217433187231851964531694900788300625387963629091585785856"
515
515
  }
@@ -517,13 +517,13 @@
517
517
  "functionName": {
518
518
  "name": "mstore",
519
519
  "nodeType": "YulIdentifier",
520
- "src": "114:6:32"
520
+ "src": "114:6:152"
521
521
  },
522
522
  "nodeType": "YulFunctionCall",
523
- "src": "114:88:32"
523
+ "src": "114:88:152"
524
524
  },
525
525
  "nodeType": "YulExpressionStatement",
526
- "src": "114:88:32"
526
+ "src": "114:88:152"
527
527
  },
528
528
  {
529
529
  "expression": {
@@ -531,14 +531,14 @@
531
531
  {
532
532
  "kind": "number",
533
533
  "nodeType": "YulLiteral",
534
- "src": "222:1:32",
534
+ "src": "222:1:152",
535
535
  "type": "",
536
536
  "value": "4"
537
537
  },
538
538
  {
539
539
  "kind": "number",
540
540
  "nodeType": "YulLiteral",
541
- "src": "225:4:32",
541
+ "src": "225:4:152",
542
542
  "type": "",
543
543
  "value": "0x11"
544
544
  }
@@ -546,13 +546,13 @@
546
546
  "functionName": {
547
547
  "name": "mstore",
548
548
  "nodeType": "YulIdentifier",
549
- "src": "215:6:32"
549
+ "src": "215:6:152"
550
550
  },
551
551
  "nodeType": "YulFunctionCall",
552
- "src": "215:15:32"
552
+ "src": "215:15:152"
553
553
  },
554
554
  "nodeType": "YulExpressionStatement",
555
- "src": "215:15:32"
555
+ "src": "215:15:152"
556
556
  },
557
557
  {
558
558
  "expression": {
@@ -560,14 +560,14 @@
560
560
  {
561
561
  "kind": "number",
562
562
  "nodeType": "YulLiteral",
563
- "src": "250:1:32",
563
+ "src": "250:1:152",
564
564
  "type": "",
565
565
  "value": "0"
566
566
  },
567
567
  {
568
568
  "kind": "number",
569
569
  "nodeType": "YulLiteral",
570
- "src": "253:4:32",
570
+ "src": "253:4:152",
571
571
  "type": "",
572
572
  "value": "0x24"
573
573
  }
@@ -575,13 +575,13 @@
575
575
  "functionName": {
576
576
  "name": "revert",
577
577
  "nodeType": "YulIdentifier",
578
- "src": "243:6:32"
578
+ "src": "243:6:152"
579
579
  },
580
580
  "nodeType": "YulFunctionCall",
581
- "src": "243:15:32"
581
+ "src": "243:15:152"
582
582
  },
583
583
  "nodeType": "YulExpressionStatement",
584
- "src": "243:15:32"
584
+ "src": "243:15:152"
585
585
  }
586
586
  ]
587
587
  },
@@ -590,14 +590,14 @@
590
590
  {
591
591
  "name": "value",
592
592
  "nodeType": "YulIdentifier",
593
- "src": "77:5:32"
593
+ "src": "77:5:152"
594
594
  },
595
595
  {
596
596
  "arguments": [
597
597
  {
598
598
  "kind": "number",
599
599
  "nodeType": "YulLiteral",
600
- "src": "88:1:32",
600
+ "src": "88:1:152",
601
601
  "type": "",
602
602
  "value": "0"
603
603
  }
@@ -605,37 +605,37 @@
605
605
  "functionName": {
606
606
  "name": "not",
607
607
  "nodeType": "YulIdentifier",
608
- "src": "84:3:32"
608
+ "src": "84:3:152"
609
609
  },
610
610
  "nodeType": "YulFunctionCall",
611
- "src": "84:6:32"
611
+ "src": "84:6:152"
612
612
  }
613
613
  ],
614
614
  "functionName": {
615
615
  "name": "eq",
616
616
  "nodeType": "YulIdentifier",
617
- "src": "74:2:32"
617
+ "src": "74:2:152"
618
618
  },
619
619
  "nodeType": "YulFunctionCall",
620
- "src": "74:17:32"
620
+ "src": "74:17:152"
621
621
  },
622
622
  "nodeType": "YulIf",
623
- "src": "71:197:32"
623
+ "src": "71:197:152"
624
624
  },
625
625
  {
626
626
  "nodeType": "YulAssignment",
627
- "src": "277:20:32",
627
+ "src": "277:20:152",
628
628
  "value": {
629
629
  "arguments": [
630
630
  {
631
631
  "name": "value",
632
632
  "nodeType": "YulIdentifier",
633
- "src": "288:5:32"
633
+ "src": "288:5:152"
634
634
  },
635
635
  {
636
636
  "kind": "number",
637
637
  "nodeType": "YulLiteral",
638
- "src": "295:1:32",
638
+ "src": "295:1:152",
639
639
  "type": "",
640
640
  "value": "1"
641
641
  }
@@ -643,16 +643,16 @@
643
643
  "functionName": {
644
644
  "name": "add",
645
645
  "nodeType": "YulIdentifier",
646
- "src": "284:3:32"
646
+ "src": "284:3:152"
647
647
  },
648
648
  "nodeType": "YulFunctionCall",
649
- "src": "284:13:32"
649
+ "src": "284:13:152"
650
650
  },
651
651
  "variableNames": [
652
652
  {
653
653
  "name": "ret",
654
654
  "nodeType": "YulIdentifier",
655
- "src": "277:3:32"
655
+ "src": "277:3:152"
656
656
  }
657
657
  ]
658
658
  }
@@ -664,7 +664,7 @@
664
664
  {
665
665
  "name": "value",
666
666
  "nodeType": "YulTypedName",
667
- "src": "43:5:32",
667
+ "src": "43:5:152",
668
668
  "type": ""
669
669
  }
670
670
  ],
@@ -672,16 +672,16 @@
672
672
  {
673
673
  "name": "ret",
674
674
  "nodeType": "YulTypedName",
675
- "src": "53:3:32",
675
+ "src": "53:3:152",
676
676
  "type": ""
677
677
  }
678
678
  ],
679
- "src": "14:289:32"
679
+ "src": "14:289:152"
680
680
  },
681
681
  {
682
682
  "body": {
683
683
  "nodeType": "YulBlock",
684
- "src": "528:102:32",
684
+ "src": "528:102:152",
685
685
  "statements": [
686
686
  {
687
687
  "expression": {
@@ -689,13 +689,13 @@
689
689
  {
690
690
  "name": "pos",
691
691
  "nodeType": "YulIdentifier",
692
- "src": "545:3:32"
692
+ "src": "545:3:152"
693
693
  },
694
694
  {
695
695
  "hexValue": "7265656e746572",
696
696
  "kind": "string",
697
697
  "nodeType": "YulLiteral",
698
- "src": "550:9:32",
698
+ "src": "550:9:152",
699
699
  "type": "",
700
700
  "value": "reenter"
701
701
  }
@@ -703,13 +703,13 @@
703
703
  "functionName": {
704
704
  "name": "mstore",
705
705
  "nodeType": "YulIdentifier",
706
- "src": "538:6:32"
706
+ "src": "538:6:152"
707
707
  },
708
708
  "nodeType": "YulFunctionCall",
709
- "src": "538:22:32"
709
+ "src": "538:22:152"
710
710
  },
711
711
  "nodeType": "YulExpressionStatement",
712
- "src": "538:22:32"
712
+ "src": "538:22:152"
713
713
  },
714
714
  {
715
715
  "expression": {
@@ -719,12 +719,12 @@
719
719
  {
720
720
  "name": "pos",
721
721
  "nodeType": "YulIdentifier",
722
- "src": "580:3:32"
722
+ "src": "580:3:152"
723
723
  },
724
724
  {
725
725
  "kind": "number",
726
726
  "nodeType": "YulLiteral",
727
- "src": "585:1:32",
727
+ "src": "585:1:152",
728
728
  "type": "",
729
729
  "value": "7"
730
730
  }
@@ -732,42 +732,42 @@
732
732
  "functionName": {
733
733
  "name": "add",
734
734
  "nodeType": "YulIdentifier",
735
- "src": "576:3:32"
735
+ "src": "576:3:152"
736
736
  },
737
737
  "nodeType": "YulFunctionCall",
738
- "src": "576:11:32"
738
+ "src": "576:11:152"
739
739
  },
740
740
  {
741
741
  "name": "value0",
742
742
  "nodeType": "YulIdentifier",
743
- "src": "589:6:32"
743
+ "src": "589:6:152"
744
744
  }
745
745
  ],
746
746
  "functionName": {
747
747
  "name": "mstore",
748
748
  "nodeType": "YulIdentifier",
749
- "src": "569:6:32"
749
+ "src": "569:6:152"
750
750
  },
751
751
  "nodeType": "YulFunctionCall",
752
- "src": "569:27:32"
752
+ "src": "569:27:152"
753
753
  },
754
754
  "nodeType": "YulExpressionStatement",
755
- "src": "569:27:32"
755
+ "src": "569:27:152"
756
756
  },
757
757
  {
758
758
  "nodeType": "YulAssignment",
759
- "src": "605:19:32",
759
+ "src": "605:19:152",
760
760
  "value": {
761
761
  "arguments": [
762
762
  {
763
763
  "name": "pos",
764
764
  "nodeType": "YulIdentifier",
765
- "src": "616:3:32"
765
+ "src": "616:3:152"
766
766
  },
767
767
  {
768
768
  "kind": "number",
769
769
  "nodeType": "YulLiteral",
770
- "src": "621:2:32",
770
+ "src": "621:2:152",
771
771
  "type": "",
772
772
  "value": "39"
773
773
  }
@@ -775,16 +775,16 @@
775
775
  "functionName": {
776
776
  "name": "add",
777
777
  "nodeType": "YulIdentifier",
778
- "src": "612:3:32"
778
+ "src": "612:3:152"
779
779
  },
780
780
  "nodeType": "YulFunctionCall",
781
- "src": "612:12:32"
781
+ "src": "612:12:152"
782
782
  },
783
783
  "variableNames": [
784
784
  {
785
785
  "name": "end",
786
786
  "nodeType": "YulIdentifier",
787
- "src": "605:3:32"
787
+ "src": "605:3:152"
788
788
  }
789
789
  ]
790
790
  }
@@ -796,13 +796,13 @@
796
796
  {
797
797
  "name": "pos",
798
798
  "nodeType": "YulTypedName",
799
- "src": "504:3:32",
799
+ "src": "504:3:152",
800
800
  "type": ""
801
801
  },
802
802
  {
803
803
  "name": "value0",
804
804
  "nodeType": "YulTypedName",
805
- "src": "509:6:32",
805
+ "src": "509:6:152",
806
806
  "type": ""
807
807
  }
808
808
  ],
@@ -810,31 +810,31 @@
810
810
  {
811
811
  "name": "end",
812
812
  "nodeType": "YulTypedName",
813
- "src": "520:3:32",
813
+ "src": "520:3:152",
814
814
  "type": ""
815
815
  }
816
816
  ],
817
- "src": "308:322:32"
817
+ "src": "308:322:152"
818
818
  },
819
819
  {
820
820
  "body": {
821
821
  "nodeType": "YulBlock",
822
- "src": "736:76:32",
822
+ "src": "736:76:152",
823
823
  "statements": [
824
824
  {
825
825
  "nodeType": "YulAssignment",
826
- "src": "746:26:32",
826
+ "src": "746:26:152",
827
827
  "value": {
828
828
  "arguments": [
829
829
  {
830
830
  "name": "headStart",
831
831
  "nodeType": "YulIdentifier",
832
- "src": "758:9:32"
832
+ "src": "758:9:152"
833
833
  },
834
834
  {
835
835
  "kind": "number",
836
836
  "nodeType": "YulLiteral",
837
- "src": "769:2:32",
837
+ "src": "769:2:152",
838
838
  "type": "",
839
839
  "value": "32"
840
840
  }
@@ -842,16 +842,16 @@
842
842
  "functionName": {
843
843
  "name": "add",
844
844
  "nodeType": "YulIdentifier",
845
- "src": "754:3:32"
845
+ "src": "754:3:152"
846
846
  },
847
847
  "nodeType": "YulFunctionCall",
848
- "src": "754:18:32"
848
+ "src": "754:18:152"
849
849
  },
850
850
  "variableNames": [
851
851
  {
852
852
  "name": "tail",
853
853
  "nodeType": "YulIdentifier",
854
- "src": "746:4:32"
854
+ "src": "746:4:152"
855
855
  }
856
856
  ]
857
857
  },
@@ -861,24 +861,24 @@
861
861
  {
862
862
  "name": "headStart",
863
863
  "nodeType": "YulIdentifier",
864
- "src": "788:9:32"
864
+ "src": "788:9:152"
865
865
  },
866
866
  {
867
867
  "name": "value0",
868
868
  "nodeType": "YulIdentifier",
869
- "src": "799:6:32"
869
+ "src": "799:6:152"
870
870
  }
871
871
  ],
872
872
  "functionName": {
873
873
  "name": "mstore",
874
874
  "nodeType": "YulIdentifier",
875
- "src": "781:6:32"
875
+ "src": "781:6:152"
876
876
  },
877
877
  "nodeType": "YulFunctionCall",
878
- "src": "781:25:32"
878
+ "src": "781:25:152"
879
879
  },
880
880
  "nodeType": "YulExpressionStatement",
881
- "src": "781:25:32"
881
+ "src": "781:25:152"
882
882
  }
883
883
  ]
884
884
  },
@@ -888,13 +888,13 @@
888
888
  {
889
889
  "name": "headStart",
890
890
  "nodeType": "YulTypedName",
891
- "src": "705:9:32",
891
+ "src": "705:9:152",
892
892
  "type": ""
893
893
  },
894
894
  {
895
895
  "name": "value0",
896
896
  "nodeType": "YulTypedName",
897
- "src": "716:6:32",
897
+ "src": "716:6:152",
898
898
  "type": ""
899
899
  }
900
900
  ],
@@ -902,31 +902,31 @@
902
902
  {
903
903
  "name": "tail",
904
904
  "nodeType": "YulTypedName",
905
- "src": "727:4:32",
905
+ "src": "727:4:152",
906
906
  "type": ""
907
907
  }
908
908
  ],
909
- "src": "635:177:32"
909
+ "src": "635:177:152"
910
910
  },
911
911
  {
912
912
  "body": {
913
913
  "nodeType": "YulBlock",
914
- "src": "912:92:32",
914
+ "src": "912:92:152",
915
915
  "statements": [
916
916
  {
917
917
  "nodeType": "YulAssignment",
918
- "src": "922:26:32",
918
+ "src": "922:26:152",
919
919
  "value": {
920
920
  "arguments": [
921
921
  {
922
922
  "name": "headStart",
923
923
  "nodeType": "YulIdentifier",
924
- "src": "934:9:32"
924
+ "src": "934:9:152"
925
925
  },
926
926
  {
927
927
  "kind": "number",
928
928
  "nodeType": "YulLiteral",
929
- "src": "945:2:32",
929
+ "src": "945:2:152",
930
930
  "type": "",
931
931
  "value": "32"
932
932
  }
@@ -934,16 +934,16 @@
934
934
  "functionName": {
935
935
  "name": "add",
936
936
  "nodeType": "YulIdentifier",
937
- "src": "930:3:32"
937
+ "src": "930:3:152"
938
938
  },
939
939
  "nodeType": "YulFunctionCall",
940
- "src": "930:18:32"
940
+ "src": "930:18:152"
941
941
  },
942
942
  "variableNames": [
943
943
  {
944
944
  "name": "tail",
945
945
  "nodeType": "YulIdentifier",
946
- "src": "922:4:32"
946
+ "src": "922:4:152"
947
947
  }
948
948
  ]
949
949
  },
@@ -953,7 +953,7 @@
953
953
  {
954
954
  "name": "headStart",
955
955
  "nodeType": "YulIdentifier",
956
- "src": "964:9:32"
956
+ "src": "964:9:152"
957
957
  },
958
958
  {
959
959
  "arguments": [
@@ -962,37 +962,37 @@
962
962
  {
963
963
  "name": "value0",
964
964
  "nodeType": "YulIdentifier",
965
- "src": "989:6:32"
965
+ "src": "989:6:152"
966
966
  }
967
967
  ],
968
968
  "functionName": {
969
969
  "name": "iszero",
970
970
  "nodeType": "YulIdentifier",
971
- "src": "982:6:32"
971
+ "src": "982:6:152"
972
972
  },
973
973
  "nodeType": "YulFunctionCall",
974
- "src": "982:14:32"
974
+ "src": "982:14:152"
975
975
  }
976
976
  ],
977
977
  "functionName": {
978
978
  "name": "iszero",
979
979
  "nodeType": "YulIdentifier",
980
- "src": "975:6:32"
980
+ "src": "975:6:152"
981
981
  },
982
982
  "nodeType": "YulFunctionCall",
983
- "src": "975:22:32"
983
+ "src": "975:22:152"
984
984
  }
985
985
  ],
986
986
  "functionName": {
987
987
  "name": "mstore",
988
988
  "nodeType": "YulIdentifier",
989
- "src": "957:6:32"
989
+ "src": "957:6:152"
990
990
  },
991
991
  "nodeType": "YulFunctionCall",
992
- "src": "957:41:32"
992
+ "src": "957:41:152"
993
993
  },
994
994
  "nodeType": "YulExpressionStatement",
995
- "src": "957:41:32"
995
+ "src": "957:41:152"
996
996
  }
997
997
  ]
998
998
  },
@@ -1002,13 +1002,13 @@
1002
1002
  {
1003
1003
  "name": "headStart",
1004
1004
  "nodeType": "YulTypedName",
1005
- "src": "881:9:32",
1005
+ "src": "881:9:152",
1006
1006
  "type": ""
1007
1007
  },
1008
1008
  {
1009
1009
  "name": "value0",
1010
1010
  "nodeType": "YulTypedName",
1011
- "src": "892:6:32",
1011
+ "src": "892:6:152",
1012
1012
  "type": ""
1013
1013
  }
1014
1014
  ],
@@ -1016,31 +1016,31 @@
1016
1016
  {
1017
1017
  "name": "tail",
1018
1018
  "nodeType": "YulTypedName",
1019
- "src": "903:4:32",
1019
+ "src": "903:4:152",
1020
1020
  "type": ""
1021
1021
  }
1022
1022
  ],
1023
- "src": "817:187:32"
1023
+ "src": "817:187:152"
1024
1024
  },
1025
1025
  {
1026
1026
  "body": {
1027
1027
  "nodeType": "YulBlock",
1028
- "src": "1143:125:32",
1028
+ "src": "1144:125:152",
1029
1029
  "statements": [
1030
1030
  {
1031
1031
  "nodeType": "YulAssignment",
1032
- "src": "1153:26:32",
1032
+ "src": "1154:26:152",
1033
1033
  "value": {
1034
1034
  "arguments": [
1035
1035
  {
1036
1036
  "name": "headStart",
1037
1037
  "nodeType": "YulIdentifier",
1038
- "src": "1165:9:32"
1038
+ "src": "1166:9:152"
1039
1039
  },
1040
1040
  {
1041
1041
  "kind": "number",
1042
1042
  "nodeType": "YulLiteral",
1043
- "src": "1176:2:32",
1043
+ "src": "1177:2:152",
1044
1044
  "type": "",
1045
1045
  "value": "32"
1046
1046
  }
@@ -1048,16 +1048,16 @@
1048
1048
  "functionName": {
1049
1049
  "name": "add",
1050
1050
  "nodeType": "YulIdentifier",
1051
- "src": "1161:3:32"
1051
+ "src": "1162:3:152"
1052
1052
  },
1053
1053
  "nodeType": "YulFunctionCall",
1054
- "src": "1161:18:32"
1054
+ "src": "1162:18:152"
1055
1055
  },
1056
1056
  "variableNames": [
1057
1057
  {
1058
1058
  "name": "tail",
1059
1059
  "nodeType": "YulIdentifier",
1060
- "src": "1153:4:32"
1060
+ "src": "1154:4:152"
1061
1061
  }
1062
1062
  ]
1063
1063
  },
@@ -1067,19 +1067,19 @@
1067
1067
  {
1068
1068
  "name": "headStart",
1069
1069
  "nodeType": "YulIdentifier",
1070
- "src": "1195:9:32"
1070
+ "src": "1196:9:152"
1071
1071
  },
1072
1072
  {
1073
1073
  "arguments": [
1074
1074
  {
1075
1075
  "name": "value0",
1076
1076
  "nodeType": "YulIdentifier",
1077
- "src": "1210:6:32"
1077
+ "src": "1211:6:152"
1078
1078
  },
1079
1079
  {
1080
1080
  "kind": "number",
1081
1081
  "nodeType": "YulLiteral",
1082
- "src": "1218:42:32",
1082
+ "src": "1219:42:152",
1083
1083
  "type": "",
1084
1084
  "value": "0xffffffffffffffffffffffffffffffffffffffff"
1085
1085
  }
@@ -1087,38 +1087,38 @@
1087
1087
  "functionName": {
1088
1088
  "name": "and",
1089
1089
  "nodeType": "YulIdentifier",
1090
- "src": "1206:3:32"
1090
+ "src": "1207:3:152"
1091
1091
  },
1092
1092
  "nodeType": "YulFunctionCall",
1093
- "src": "1206:55:32"
1093
+ "src": "1207:55:152"
1094
1094
  }
1095
1095
  ],
1096
1096
  "functionName": {
1097
1097
  "name": "mstore",
1098
1098
  "nodeType": "YulIdentifier",
1099
- "src": "1188:6:32"
1099
+ "src": "1189:6:152"
1100
1100
  },
1101
1101
  "nodeType": "YulFunctionCall",
1102
- "src": "1188:74:32"
1102
+ "src": "1189:74:152"
1103
1103
  },
1104
1104
  "nodeType": "YulExpressionStatement",
1105
- "src": "1188:74:32"
1105
+ "src": "1189:74:152"
1106
1106
  }
1107
1107
  ]
1108
1108
  },
1109
- "name": "abi_encode_tuple_t_contract$_StarkNetBitcoinDepositor_$5626__to_t_address__fromStack_reversed",
1109
+ "name": "abi_encode_tuple_t_contract$_StarkNetBitcoinDepositor_$41430__to_t_address__fromStack_reversed",
1110
1110
  "nodeType": "YulFunctionDefinition",
1111
1111
  "parameters": [
1112
1112
  {
1113
1113
  "name": "headStart",
1114
1114
  "nodeType": "YulTypedName",
1115
- "src": "1112:9:32",
1115
+ "src": "1113:9:152",
1116
1116
  "type": ""
1117
1117
  },
1118
1118
  {
1119
1119
  "name": "value0",
1120
1120
  "nodeType": "YulTypedName",
1121
- "src": "1123:6:32",
1121
+ "src": "1124:6:152",
1122
1122
  "type": ""
1123
1123
  }
1124
1124
  ],
@@ -1126,16 +1126,16 @@
1126
1126
  {
1127
1127
  "name": "tail",
1128
1128
  "nodeType": "YulTypedName",
1129
- "src": "1134:4:32",
1129
+ "src": "1135:4:152",
1130
1130
  "type": ""
1131
1131
  }
1132
1132
  ],
1133
- "src": "1009:259:32"
1133
+ "src": "1009:260:152"
1134
1134
  },
1135
1135
  {
1136
1136
  "body": {
1137
1137
  "nodeType": "YulBlock",
1138
- "src": "1465:64:32",
1138
+ "src": "1466:64:152",
1139
1139
  "statements": [
1140
1140
  {
1141
1141
  "expression": {
@@ -1143,13 +1143,13 @@
1143
1143
  {
1144
1144
  "name": "pos",
1145
1145
  "nodeType": "YulIdentifier",
1146
- "src": "1482:3:32"
1146
+ "src": "1483:3:152"
1147
1147
  },
1148
1148
  {
1149
1149
  "hexValue": "61747461636b",
1150
1150
  "kind": "string",
1151
1151
  "nodeType": "YulLiteral",
1152
- "src": "1487:8:32",
1152
+ "src": "1488:8:152",
1153
1153
  "type": "",
1154
1154
  "value": "attack"
1155
1155
  }
@@ -1157,28 +1157,28 @@
1157
1157
  "functionName": {
1158
1158
  "name": "mstore",
1159
1159
  "nodeType": "YulIdentifier",
1160
- "src": "1475:6:32"
1160
+ "src": "1476:6:152"
1161
1161
  },
1162
1162
  "nodeType": "YulFunctionCall",
1163
- "src": "1475:21:32"
1163
+ "src": "1476:21:152"
1164
1164
  },
1165
1165
  "nodeType": "YulExpressionStatement",
1166
- "src": "1475:21:32"
1166
+ "src": "1476:21:152"
1167
1167
  },
1168
1168
  {
1169
1169
  "nodeType": "YulAssignment",
1170
- "src": "1505:18:32",
1170
+ "src": "1506:18:152",
1171
1171
  "value": {
1172
1172
  "arguments": [
1173
1173
  {
1174
1174
  "name": "pos",
1175
1175
  "nodeType": "YulIdentifier",
1176
- "src": "1516:3:32"
1176
+ "src": "1517:3:152"
1177
1177
  },
1178
1178
  {
1179
1179
  "kind": "number",
1180
1180
  "nodeType": "YulLiteral",
1181
- "src": "1521:1:32",
1181
+ "src": "1522:1:152",
1182
1182
  "type": "",
1183
1183
  "value": "6"
1184
1184
  }
@@ -1186,16 +1186,16 @@
1186
1186
  "functionName": {
1187
1187
  "name": "add",
1188
1188
  "nodeType": "YulIdentifier",
1189
- "src": "1512:3:32"
1189
+ "src": "1513:3:152"
1190
1190
  },
1191
1191
  "nodeType": "YulFunctionCall",
1192
- "src": "1512:11:32"
1192
+ "src": "1513:11:152"
1193
1193
  },
1194
1194
  "variableNames": [
1195
1195
  {
1196
1196
  "name": "end",
1197
1197
  "nodeType": "YulIdentifier",
1198
- "src": "1505:3:32"
1198
+ "src": "1506:3:152"
1199
1199
  }
1200
1200
  ]
1201
1201
  }
@@ -1207,7 +1207,7 @@
1207
1207
  {
1208
1208
  "name": "pos",
1209
1209
  "nodeType": "YulTypedName",
1210
- "src": "1449:3:32",
1210
+ "src": "1450:3:152",
1211
1211
  "type": ""
1212
1212
  }
1213
1213
  ],
@@ -1215,22 +1215,22 @@
1215
1215
  {
1216
1216
  "name": "end",
1217
1217
  "nodeType": "YulTypedName",
1218
- "src": "1457:3:32",
1218
+ "src": "1458:3:152",
1219
1219
  "type": ""
1220
1220
  }
1221
1221
  ],
1222
- "src": "1273:256:32"
1222
+ "src": "1274:256:152"
1223
1223
  }
1224
1224
  ]
1225
1225
  },
1226
- "contents": "{\n { }\n function increment_t_uint256(value) -> ret\n {\n if eq(value, not(0))\n {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x11)\n revert(0, 0x24)\n }\n ret := add(value, 1)\n }\n function abi_encode_tuple_packed_t_stringliteral_331ae87d35d8033ce9e8c67053f3d293c8c4520090bc136942577830697e2f46_t_uint256__to_t_string_memory_ptr_t_uint256__nonPadded_inplace_fromStack_reversed(pos, value0) -> end\n {\n mstore(pos, \"reenter\")\n mstore(add(pos, 7), value0)\n end := add(pos, 39)\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_encode_tuple_t_bool__to_t_bool__fromStack_reversed(headStart, value0) -> tail\n {\n tail := add(headStart, 32)\n mstore(headStart, iszero(iszero(value0)))\n }\n function abi_encode_tuple_t_contract$_StarkNetBitcoinDepositor_$5626__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_packed_t_stringliteral_46d1af4265f4530c75b41282ed3b71617d3d435e96fe13b08848482173692f4f__to_t_string_memory_ptr__nonPadded_inplace_fromStack_reversed(pos) -> end\n {\n mstore(pos, \"attack\")\n end := add(pos, 6)\n }\n}",
1227
- "id": 32,
1226
+ "contents": "{\n { }\n function increment_t_uint256(value) -> ret\n {\n if eq(value, not(0))\n {\n mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)\n mstore(4, 0x11)\n revert(0, 0x24)\n }\n ret := add(value, 1)\n }\n function abi_encode_tuple_packed_t_stringliteral_331ae87d35d8033ce9e8c67053f3d293c8c4520090bc136942577830697e2f46_t_uint256__to_t_string_memory_ptr_t_uint256__nonPadded_inplace_fromStack_reversed(pos, value0) -> end\n {\n mstore(pos, \"reenter\")\n mstore(add(pos, 7), value0)\n end := add(pos, 39)\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_encode_tuple_t_bool__to_t_bool__fromStack_reversed(headStart, value0) -> tail\n {\n tail := add(headStart, 32)\n mstore(headStart, iszero(iszero(value0)))\n }\n function abi_encode_tuple_t_contract$_StarkNetBitcoinDepositor_$41430__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_packed_t_stringliteral_46d1af4265f4530c75b41282ed3b71617d3d435e96fe13b08848482173692f4f__to_t_string_memory_ptr__nonPadded_inplace_fromStack_reversed(pos) -> end\n {\n mstore(pos, \"attack\")\n end := add(pos, 6)\n }\n}",
1227
+ "id": 152,
1228
1228
  "language": "Yul",
1229
1229
  "name": "#utility.yul"
1230
1230
  }
1231
1231
  ],
1232
1232
  "immutableReferences": {
1233
- "7273": [
1233
+ "47325": [
1234
1234
  {
1235
1235
  "length": 32,
1236
1236
  "start": 246
@@ -1247,7 +1247,7 @@
1247
1247
  },
1248
1248
  "linkReferences": {},
1249
1249
  "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE PUSH1 0x4 CALLDATASIZE LT PUSH2 0x5E JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x407C2821 GT PUSH2 0x43 JUMPI DUP1 PUSH4 0x407C2821 EQ PUSH2 0x1B7 JUMPI DUP1 PUSH4 0x9E5FAAFC EQ PUSH2 0x1DB JUMPI DUP1 PUSH4 0xD4B83992 EQ PUSH2 0x1E3 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP1 PUSH4 0x3C0BBCD9 EQ PUSH2 0x173 JUMPI DUP1 PUSH4 0x3CCFD60B EQ PUSH2 0x1A2 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST CALLDATASIZE PUSH2 0x16E JUMPI PUSH1 0x1 SLOAD PUSH1 0xFF AND DUP1 ISZERO PUSH2 0x77 JUMPI POP PUSH1 0x2 PUSH1 0x0 SLOAD LT JUMPDEST ISZERO PUSH2 0x16C JUMPI PUSH1 0x0 DUP1 SLOAD SWAP1 DUP1 PUSH2 0x8B DUP4 PUSH2 0x34C JUMP JUMPDEST SWAP1 SWAP2 SSTORE POP POP PUSH1 0x0 DUP1 SLOAD PUSH1 0x40 MLOAD PUSH32 0x7265656E74657200000000000000000000000000000000000000000000000000 PUSH1 0x20 DUP3 ADD MSTORE PUSH1 0x27 DUP2 ADD SWAP2 SWAP1 SWAP2 MSTORE PUSH1 0x47 ADD PUSH1 0x40 DUP1 MLOAD DUP1 DUP4 SUB PUSH1 0x1F NOT ADD DUP2 MSTORE SWAP1 DUP3 SWAP1 MSTORE DUP1 MLOAD PUSH1 0x20 SWAP1 SWAP2 ADD KECCAK256 PUSH4 0x236CEA4D PUSH1 0xE1 SHL DUP3 MSTORE PUSH1 0x4 DUP3 ADD DUP2 SWAP1 MSTORE SWAP2 POP PUSH32 0x0 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP1 PUSH4 0x46D9D49A SWAP1 PUSH1 0x0 SWAP1 PUSH1 0x24 ADD PUSH1 0x0 PUSH1 0x40 MLOAD DUP1 DUP4 SUB DUP2 DUP6 DUP9 DUP1 EXTCODESIZE ISZERO DUP1 ISZERO PUSH2 0x151 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP GAS CALL ISZERO DUP1 ISZERO PUSH2 0x165 JUMPI RETURNDATASIZE PUSH1 0x0 DUP1 RETURNDATACOPY RETURNDATASIZE PUSH1 0x0 REVERT JUMPDEST POP POP POP POP POP POP JUMPDEST STOP JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x17F JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x1 SLOAD PUSH2 0x18D SWAP1 PUSH1 0xFF AND DUP2 JUMP JUMPDEST PUSH1 0x40 MLOAD SWAP1 ISZERO ISZERO DUP2 MSTORE PUSH1 0x20 ADD JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x1AE JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x16C PUSH2 0x23C JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x1C3 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x1CD PUSH1 0x0 SLOAD DUP2 JUMP JUMPDEST PUSH1 0x40 MLOAD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH2 0x199 JUMP JUMPDEST PUSH2 0x16C PUSH2 0x26B JUMP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x1EF JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x217 PUSH32 0x0 DUP2 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF SWAP1 SWAP2 AND DUP2 MSTORE PUSH1 0x20 ADD PUSH2 0x199 JUMP JUMPDEST PUSH1 0x40 MLOAD CALLER SWAP1 SELFBALANCE DUP1 ISZERO PUSH2 0x8FC MUL SWAP2 PUSH1 0x0 DUP2 DUP2 DUP2 DUP6 DUP9 DUP9 CALL SWAP4 POP POP POP POP ISZERO DUP1 ISZERO PUSH2 0x268 JUMPI RETURNDATASIZE PUSH1 0x0 DUP1 RETURNDATACOPY RETURNDATASIZE PUSH1 0x0 REVERT JUMPDEST POP JUMP JUMPDEST PUSH1 0x1 DUP1 SLOAD PUSH1 0xFF NOT AND DUP2 OR SWAP1 SSTORE PUSH1 0x0 DUP1 DUP1 SSTORE PUSH1 0x40 MLOAD PUSH32 0x61747461636B0000000000000000000000000000000000000000000000000000 PUSH1 0x20 DUP3 ADD MSTORE PUSH1 0x26 ADD PUSH1 0x40 DUP1 MLOAD DUP1 DUP4 SUB PUSH1 0x1F NOT ADD DUP2 MSTORE SWAP1 DUP3 SWAP1 MSTORE DUP1 MLOAD PUSH1 0x20 SWAP1 SWAP2 ADD KECCAK256 PUSH4 0x236CEA4D PUSH1 0xE1 SHL DUP3 MSTORE PUSH1 0x4 DUP3 ADD DUP2 SWAP1 MSTORE SWAP2 POP PUSH32 0x0 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP1 PUSH4 0x46D9D49A SWAP1 CALLVALUE SWAP1 PUSH1 0x24 ADD PUSH1 0x0 PUSH1 0x40 MLOAD DUP1 DUP4 SUB DUP2 DUP6 DUP9 DUP1 EXTCODESIZE ISZERO DUP1 ISZERO PUSH2 0x330 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP GAS CALL ISZERO DUP1 ISZERO PUSH2 0x344 JUMPI RETURNDATASIZE PUSH1 0x0 DUP1 RETURNDATACOPY RETURNDATASIZE PUSH1 0x0 REVERT JUMPDEST POP POP POP POP POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x1 DUP3 ADD PUSH2 0x385 JUMPI PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT JUMPDEST POP PUSH1 0x1 ADD SWAP1 JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 KECCAK256 0x23 KECCAK256 CREATE2 MSTORE8 0xE5 PUSH5 0xA9C634DF76 DUP14 PUSH25 0x58F75D98BD7DE58B9EAD2305616219367D8D64736F6C634300 ADDMOD GT STOP CALLER ",
1250
- "sourceMap": "217:1086:31:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;843:9;;;;:28;;;;;870:1;856:11;;:15;843:28;839:310;;;887:11;:13;;;:11;:13;;;:::i;:::-;;;;-1:-1:-1;;961:22:31;1049:11;;1021:40;;550:9:32;1021:40:31;;;538:22:32;576:11;;;569:27;;;;612:12;;1021:40:31;;;;;;-1:-1:-1;;1021:40:31;;;;;;;1011:51;;1021:40;1011:51;;;;-1:-1:-1;;;1090:48:31;;;;;781:25:32;;;1011:51:31;-1:-1:-1;1090:6:31;:22;;;;;986:90;;754:18:32;;1090:48:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;873:276;839:310;217:1086;;;;;337:21;;;;;;;;;;-1:-1:-1;337:21:31;;;;;;;;;;;982:14:32;;975:22;957:41;;945:2;930:18;337:21:31;;;;;;;;1204:97;;;;;;;;;;;;;:::i;305:26::-;;;;;;;;;;;;;;;;;;;781:25:32;;;769:2;754:18;305:26:31;635:177:32;468:280:31;;;:::i;251:48::-;;;;;;;;;;;;;;;;;;1218:42:32;1206:55;;;1188:74;;1176:2;1161:18;251:48:31;1009:259:32;1204:97:31;1243:51;;1251:10;;1272:21;1243:51;;;;;;;;;1272:21;1251:10;1243:51;;;;;;;;;;;;;;;;;;;;;1204:97::o;468:280::-;525:4;513:16;;-1:-1:-1;;513:16:31;;;;;-1:-1:-1;539:15:31;;;647:26;;1487:8:32;647:26:31;;;1475:21:32;1512:11;;647:26:31;;;;;;-1:-1:-1;;647:26:31;;;;;;;637:37;;647:26;637:37;;;;-1:-1:-1;;;685:56:31;;;;;781:25:32;;;637:37:31;-1:-1:-1;685:6:31;:22;;;;;715:9;;754:18:32;;685:56:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;503:245;468:280::o;14:289:32:-;53:3;74:17;;;71:197;;124:77;121:1;114:88;225:4;222:1;215:15;253:4;250:1;243:15;71:197;-1:-1:-1;295:1:32;284:13;;14:289::o"
1250
+ "sourceMap": "217:1086:138:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;843:9;;;;:28;;;;;870:1;856:11;;:15;843:28;839:310;;;887:11;:13;;;:11;:13;;;:::i;:::-;;;;-1:-1:-1;;961:22:138;1049:11;;1021:40;;550:9:152;1021:40:138;;;538:22:152;576:11;;;569:27;;;;612:12;;1021:40:138;;;;;;-1:-1:-1;;1021:40:138;;;;;;;1011:51;;1021:40;1011:51;;;;-1:-1:-1;;;1090:48:138;;;;;781:25:152;;;1011:51:138;-1:-1:-1;1090:6:138;:22;;;;;986:90;;754:18:152;;1090:48:138;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;873:276;839:310;217:1086;;;;;337:21;;;;;;;;;;-1:-1:-1;337:21:138;;;;;;;;;;;982:14:152;;975:22;957:41;;945:2;930:18;337:21:138;;;;;;;;1204:97;;;;;;;;;;;;;:::i;305:26::-;;;;;;;;;;;;;;;;;;;781:25:152;;;769:2;754:18;305:26:138;635:177:152;468:280:138;;;:::i;251:48::-;;;;;;;;;;;;;;;;;;1219:42:152;1207:55;;;1189:74;;1177:2;1162:18;251:48:138;1009:260:152;1204:97:138;1243:51;;1251:10;;1272:21;1243:51;;;;;;;;;1272:21;1251:10;1243:51;;;;;;;;;;;;;;;;;;;;;1204:97::o;468:280::-;525:4;513:16;;-1:-1:-1;;513:16:138;;;;;-1:-1:-1;539:15:138;;;647:26;;1488:8:152;647:26:138;;;1476:21:152;1513:11;;647:26:138;;;;;;-1:-1:-1;;647:26:138;;;;;;;637:37;;647:26;637:37;;;;-1:-1:-1;;;685:56:138;;;;;781:25:152;;;637:37:138;-1:-1:-1;685:6:138;:22;;;;;715:9;;754:18:152;;685:56:138;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;503:245;468:280::o;14:289:152:-;53:3;74:17;;;71:197;;124:77;121:1;114:88;225:4;222:1;215:15;253:4;250:1;243:15;71:197;-1:-1:-1;295:1:152;284:13;;14:289::o"
1251
1251
  },
1252
1252
  "gasEstimates": {
1253
1253
  "creation": {
@@ -1275,7 +1275,7 @@
1275
1275
  "storageLayout": {
1276
1276
  "storage": [
1277
1277
  {
1278
- "astId": 7275,
1278
+ "astId": 47327,
1279
1279
  "contract": "contracts/test/ReentrancyAttacker.sol:ReentrancyAttacker",
1280
1280
  "label": "attackCount",
1281
1281
  "offset": 0,
@@ -1283,7 +1283,7 @@
1283
1283
  "type": "t_uint256"
1284
1284
  },
1285
1285
  {
1286
- "astId": 7277,
1286
+ "astId": 47329,
1287
1287
  "contract": "contracts/test/ReentrancyAttacker.sol:ReentrancyAttacker",
1288
1288
  "label": "attacking",
1289
1289
  "offset": 0,