feat(core): replace cfg-ir with asm-ir

[g4titanx]

here: https://hackmd.io/7f30g2yzRyCHHsX99IybzA

[github-actions]

Decompile Diff Analysis

Statistics (50 iterations)

• Total: 57 hunks, -133 removed, +261 added
• Items: 17 total, 16 with changes
• Selectors: 20 remapped

Metric	Min	Avg	Max
Hunks	35	51.9	59
Lines removed	94	134.5	163
Lines added	219	274.4	381
Lines unchanged	102	130.5	171

Full Diff Output

─── Storage ───
@@ -1,16 +1,21 @@
-    uint256 public constant tokenContract = 0;
-    uint256 public constant expectedAmount = 0;
-    uint256 public constant unresolved_3d2691bc = 256;
-    uint256 public constant unresolved_8677ab23 = 0;
+    uint256 public unresolved_9527051a;
+    uint256 public unresolved_1df490e8;
+    bytes32 store_o;
+    bytes32 store_m;
+    bytes32 store_p;
+    bytes32 store_j;
+    bytes32 store_k;
+    address store_a;
+    uint256 public unresolved_0f0b8ff0;
+    uint256 store_b;
+    bytes32 store_h;
+    bytes32 store_i;
+    uint256 public unresolved_50d373b0;
+    bytes32 store_l;
+    bytes32 store_n;
+    bytes32 store_q;
+    bytes32 store_r;
+    bool public unresolved_afd12f74;
     
-    uint256 public unresolved_8bd03d0a;
-    uint256 public executionDeadline;
-    uint256 public bondAmount;
-    bool public unresolved_308657d7;
-    uint256 public totalBondsDeposited;
-    uint256 public unresolved_d415b3f9;
-    uint256 public currentRewardAmount;
-    address public unresolved_1aa7c0ec;
-    
-    error InvalidRLPList();
+    error CustomError_00000000();
     

─── Function resume (0x046f7da2 → 0x09f43750) ───
@@ -1,10 +1,12 @@
     
-    /// @custom:selector    0x046f7da2
-    /// @custom:signature   resume() public payable
-    function resume() public payable {
+    /// @custom:selector    0x09f43750
+    /// @custom:signature   Unresolved_09f43750() public payable
+    function Unresolved_09f43750() public payable {
+        require(!store_l);
+        require(0 == 0x01);
         require(msg.value);
         require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
         require(msg.sender - 0, CustomError_618bbdd5());
         var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
-        unresolved_308657d7 = uint248(unresolved_308657d7);
+        unresolved_afd12f74 = uint248(unresolved_afd12f74);
     }

─── Function fund (0xa65e2cfd → 0x33d4b727) ───
@@ -1,41 +1,43 @@
     
-    /// @custom:selector    0xa65e2cfd
-    /// @custom:signature   fund(uint256 arg0, uint256 arg1) public payable
+    /// @custom:selector    0x33d4b727
+    /// @custom:signature   Unresolved_33d4b727(uint256 arg0, uint256 arg1) public payable
     /// @param              arg0 ["uint256", "bytes32", "int256"]
     /// @param              arg1 ["uint256", "bytes32", "int256"]
-    function fund(uint256 arg0, uint256 arg1) public payable {
+    function Unresolved_33d4b727(uint256 arg0, uint256 arg1) public payable {
+        require(!store_m);
+        require(0 == 0x01);
         require(msg.value);
         require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_618bbdd5());
         require(msg.sender - 0, CustomError_618bbdd5());
         var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
-        require(bytes1(unresolved_308657d7 >> 0x08), CustomError_5adf6387());
+        require(bytes1(unresolved_afd12f74 >> 0x08), CustomError_5adf6387());
         var_a = 0x5adf638700000000000000000000000000000000000000000000000000000000;
         require(!arg0);
         require(!arg1);
-        currentRewardAmount = arg0;
-        unresolved_d415b3f9 = arg0;
-        unresolved_8bd03d0a = arg1;
-        require(unresolved_d415b3f9 > (unresolved_d415b3f9 + unresolved_8bd03d0a));
+        unresolved_50d373b0 = arg0;
+        unresolved_1df490e8 = arg0;
+        unresolved_0f0b8ff0 = arg1;
+        require(unresolved_1df490e8 > (unresolved_1df490e8 + unresolved_0f0b8ff0));
         var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
         var_b = 0x11;
         var_c = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
         address var_d = msg.sender;
         address var_e = address(this);
-        uint256 var_f = unresolved_d415b3f9 + unresolved_8bd03d0a;
+        uint256 var_f = unresolved_1df490e8 + unresolved_0f0b8ff0;
         (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
-        require(!0, CustomError_045c4b02());
-        unresolved_308657d7 = (uint248(unresolved_308657d7)) | 0x0100;
-        var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
-        require(0x20 > ret0.length);
-        require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g));
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+        require(!0, CustomError_fba3b4fe());
+        unresolved_afd12f74 = (uint248(unresolved_afd12f74)) | 0x0100;
+        var_a = 0xfba3b4fe00000000000000000000000000000000000000000000000000000000;
+        require(0x20 > ret0.length, CustomError_12a14b2f());
+        require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g), CustomError_12a14b2f());
+        var_a = 0x12a14b2f00000000000000000000000000000000000000000000000000000000;
         var_b = 0x41;
         uint256 var_g = var_g + 0x20;
         require(((var_g + 0x20) - var_g) < 0x20);
-        require(var_g.length - var_g.length, CustomError_045c4b02());
-        require(!var_g.length, CustomError_045c4b02());
-        var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
-        unresolved_308657d7 = (uint248(unresolved_308657d7)) | 0x0100;
+        require(var_g.length - var_g.length, CustomError_fba3b4fe());
+        require(!var_g.length, CustomError_fba3b4fe());
+        var_a = 0xfba3b4fe00000000000000000000000000000000000000000000000000000000;
+        unresolved_afd12f74 = (uint248(unresolved_afd12f74)) | 0x0100;
         var_a = 0x932ca0a300000000000000000000000000000000000000000000000000000000;
         var_a = 0xea1083a700000000000000000000000000000000000000000000000000000000;
     }

─── Function Unresolved_ede7f6a3 (0xede7f6a3 → 0x71e6f650) ───
@@ -1,77 +1,80 @@
-    /// @custom:selector    0xede7f6a3
-    /// @custom:signature   Unresolved_ede7f6a3(uint256 arg0, uint256 arg1) public view
+    
+    /// @custom:selector    0x71e6f650
+    /// @custom:signature   Unresolved_71e6f650(uint256 arg0, uint256 arg1) public view
     /// @param              arg0 ["uint256", "bytes32", "int256"]
     /// @param              arg1 ["uint256", "bytes32", "int256"]
-    function Unresolved_ede7f6a3(uint256 arg0, uint256 arg1) public view {
+    function Unresolved_71e6f650(uint256 arg0, uint256 arg1) public view {
+        require(0xf6 == msg.data[0]);
+        require(0 == 0x01);
         require(msg.value);
         require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
         require(arg0 > 0xffffffffffffffff);
         require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0);
         require(arg0 + (arg0) > 0xffffffffffffffff);
-        require(!(bytes1(unresolved_308657d7 >> 0x08)), CustomError_ded7c80c());
-        require(msg.sender == (address(unresolved_1aa7c0ec)), CustomError_ded7c80c());
-        require(!(msg.sender == (address(unresolved_1aa7c0ec))), CustomError_ded7c80c());
-        var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+        require(!(bytes1(unresolved_afd12f74 >> 0x08)), CustomError_33b4ebb4());
+        require(msg.sender == (address(store_a)), CustomError_33b4ebb4());
+        require(!(msg.sender == (address(store_a))), CustomError_33b4ebb4());
+        var_a = 0x33b4ebb400000000000000000000000000000000000000000000000000000000;
         require(arg1 > block.number, CustomError_58968cf0());
         var_a = 0x58968cf000000000000000000000000000000000000000000000000000000000;
-        require((block.number - arg1) > block.number, CustomError_c42a0185());
+        require((block.number - arg1) > block.number, CustomError_dc3f15df());
         var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
         var_b = 0x11;
-        require((block.number - arg1) > 0x0100, CustomError_c42a0185());
-        var_a = 0xc42a018500000000000000000000000000000000000000000000000000000000;
-        require(!blockhash(arg1), CustomError_31aed5c2());
-        require(arg0 + (arg0) > 0xffffffffffffffff, CustomError_31aed5c2());
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+        require((block.number - arg1) > 0x0100, CustomError_dc3f15df());
+        var_a = 0xdc3f15df00000000000000000000000000000000000000000000000000000000;
+        require(!blockhash(arg1), CustomError_12a14b2f());
+        require(arg0 + (arg0) > 0xffffffffffffffff, CustomError_12a14b2f());
+        var_a = 0x12a14b2f00000000000000000000000000000000000000000000000000000000;
         var_b = 0x41;
-        require(((var_c + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_c + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_c), CustomError_31aed5c2());
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+        require(((var_c + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_c + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_c), CustomError_12a14b2f());
+        var_a = 0x12a14b2f00000000000000000000000000000000000000000000000000000000;
         var_b = 0x41;
         uint256 var_c = var_c + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
         uint256 var_d = (arg0 + (arg0));
         var_e = msg.data[36:36];
         uint256 var_f = 0;
-        require(keccak256(var_e) - blockhash(arg1), CustomError_31aed5c2());
-        require(!(arg0 + (arg0)), CustomError_31aed5c2());
-        require(bytes1(0x20 + (arg0 + (arg0))) < 0xc000000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
-        require(!(arg0 + (arg0)), CustomError_31aed5c2());
-        require(bytes1(0x20 + (arg0 + (arg0))) < 0xf800000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
-        require(!(0 < (arg0 + (arg0))), CustomError_31aed5c2());
-        require((bytes1(((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09) > 0xff, CustomError_31aed5c2());
-        require((0x01 + (bytes1((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09))) > 0xff, CustomError_31aed5c2());
+        require(keccak256(var_e) - blockhash(arg1), CustomError_b1b7848f());
+        require(!(arg0 + (arg0)), CustomError_b1b7848f());
+        require(bytes1(0x20 + (arg0 + (arg0))) < 0xc000000000000000000000000000000000000000000000000000000000000000, CustomError_b1b7848f());
+        require(!(arg0 + (arg0)), CustomError_b1b7848f());
+        require(bytes1(0x20 + (arg0 + (arg0))) < 0xf800000000000000000000000000000000000000000000000000000000000000, CustomError_b1b7848f());
+        require(!(0 < (arg0 + (arg0))), CustomError_b1b7848f());
+        require((bytes1(((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09) > 0xff, CustomError_b1b7848f());
+        require((0x01 + (bytes1((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09))) > 0xff, CustomError_b1b7848f());
         var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
         var_b = 0x11;
-        require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_31aed5c2());
+        require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_b1b7848f());
         var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
         var_b = 0x11;
-        require(!(block.chainid == 0xa5bd), CustomError_31aed5c2());
-        require(block.chainid == 0xa5bd, CustomError_31aed5c2());
-        require(0 < 0x03, CustomError_31aed5c2());
-        require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
-        require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+        require(!(block.chainid == 0xa5bd), CustomError_b1b7848f());
+        require(block.chainid == 0xa5bd, CustomError_b1b7848f());
+        require(0 < 0x03, CustomError_b1b7848f());
+        require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_b1b7848f());
+        require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_b1b7848f());
+        var_a = 0xb1b7848f00000000000000000000000000000000000000000000000000000000;
         var_b = 0x32;
-        var_a = 0x31aed5c200000000000000000000000000000000000000000000000000000000;
+        var_a = 0xce512a3e00000000000000000000000000000000000000000000000000000000;
         if (0 < 0x08) {
         }
         var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
         var_b = 0x11;
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+        var_a = 0xb1b7848f00000000000000000000000000000000000000000000000000000000;
         var_b = 0x32;
         if (!block.chainid == 0xa5bd) {
             if (block.chainid == 0xa5bd) {
-                require(!(block.chainid == 0xa5bd), CustomError_c0098bd9());
+                require(!(block.chainid == 0xa5bd), CustomError_b1b7848f());
             }
-            require(block.chainid == 0xa5bd, CustomError_c0098bd9());
+            require(block.chainid == 0xa5bd, CustomError_b1b7848f());
         }
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+        var_a = 0xb1b7848f00000000000000000000000000000000000000000000000000000000;
         var_b = 0x32;
         var_a = 0xc0098bd900000000000000000000000000000000000000000000000000000000;
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+        var_a = 0xb1b7848f00000000000000000000000000000000000000000000000000000000;
         var_b = 0x32;
         var_a = 0xff28378700000000000000000000000000000000000000000000000000000000;
         var_a = 0xbfc9f0d300000000000000000000000000000000000000000000000000000000;
-        require(executionDeadline, CustomError_ded7c80c());
-        require(!(!block.timestamp > executionDeadline), CustomError_ded7c80c());
-        var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
+        require(unresolved_9527051a, CustomError_33b4ebb4());
+        require(!(!block.timestamp > unresolved_9527051a), CustomError_33b4ebb4());
+        var_a = 0x33b4ebb400000000000000000000000000000000000000000000000000000000;
         var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
     }

─── Function requestCancellation (0x81972d00 → 0xc9dcea12) ───
@@ -1,10 +1,12 @@
     
-    /// @custom:selector    0x81972d00
-    /// @custom:signature   requestCancellation() public payable
-    function requestCancellation() public payable {
+    /// @custom:selector    0xc9dcea12
+    /// @custom:signature   Unresolved_c9dcea12() public payable
+    function Unresolved_c9dcea12() public payable {
+        require(!store_o);
+        require(0 == 0x01);
         require(msg.value);
         require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
         require(msg.sender - 0, CustomError_618bbdd5());
         var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
-        unresolved_308657d7 = 0x01 | (uint248(unresolved_308657d7));
+        unresolved_afd12f74 = 0x01 | (uint248(unresolved_afd12f74));
     }

─── Function bond (0x9940686e → 0x0ba668c1) ───
@@ -1,54 +1,56 @@
     
-    /// @custom:selector    0x9940686e
-    /// @custom:signature   bond(uint256 arg0) public payable
+    /// @custom:selector    0x0ba668c1
+    /// @custom:signature   Unresolved_0ba668c1(uint256 arg0) public payable
     /// @param              arg0 ["uint256", "bytes32", "int256"]
-    function bond(uint256 arg0) public payable {
+    function Unresolved_0ba668c1(uint256 arg0) public payable {
+        require(0x68 == msg.data[0]);
+        require(0 == 0x01);
         require(msg.value);
         require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_253ef1d2());
-        require(executionDeadline, CustomError_253ef1d2());
-        require(block.timestamp > executionDeadline, CustomError_253ef1d2());
-        require(!(bytes1(unresolved_308657d7 >> 0x08)), CustomError_253ef1d2());
-        require(bytes1(unresolved_308657d7), CustomError_253ef1d2());
-        require(executionDeadline, CustomError_253ef1d2());
-        require(!(block.timestamp > executionDeadline), CustomError_253ef1d2());
+        require(unresolved_9527051a, CustomError_253ef1d2());
+        require(block.timestamp > unresolved_9527051a, CustomError_253ef1d2());
+        require(!(bytes1(unresolved_afd12f74 >> 0x08)), CustomError_253ef1d2());
+        require(bytes1(unresolved_afd12f74), CustomError_253ef1d2());
+        require(unresolved_9527051a, CustomError_253ef1d2());
+        require(!(block.timestamp > unresolved_9527051a), CustomError_253ef1d2());
         var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
-        require((currentRewardAmount >> 0x01) > arg0, CustomError_e92c469f());
-        var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
+        require((unresolved_50d373b0 >> 0x01) > arg0, CustomError_64f0de51());
+        var_a = 0x64f0de5100000000000000000000000000000000000000000000000000000000;
         var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
         address var_c = msg.sender;
         address var_d = address(this);
         uint256 var_e = arg0;
         (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_c); // call
-        require(!0, CustomError_045c4b02());
-        unresolved_1aa7c0ec = (uint96(unresolved_1aa7c0ec)) | msg.sender;
-        require(block.timestamp > (block.timestamp + 0x012c), CustomError_045c4b02());
+        require(!0, CustomError_fba3b4fe());
+        store_a = (uint96(store_a)) | msg.sender;
+        require(block.timestamp > (block.timestamp + 0x012c), CustomError_fba3b4fe());
         var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
         var_f = 0x11;
-        executionDeadline = block.timestamp + 0x012c;
-        bondAmount = arg0;
-        var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
-        require(0x20 > ret0.length);
-        require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g));
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+        unresolved_9527051a = block.timestamp + 0x012c;
+        store_b = arg0;
+        var_a = 0xfba3b4fe00000000000000000000000000000000000000000000000000000000;
+        require(0x20 > ret0.length, CustomError_12a14b2f());
+        require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g), CustomError_12a14b2f());
+        var_a = 0x12a14b2f00000000000000000000000000000000000000000000000000000000;
         var_f = 0x41;
         uint256 var_g = var_g + 0x20;
         require(((var_g + 0x20) - var_g) < 0x20);
-        require(var_g.length - var_g.length, CustomError_045c4b02());
-        require(!var_g.length, CustomError_045c4b02());
-        var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+        require(var_g.length - var_g.length, CustomError_fba3b4fe());
+        require(!var_g.length, CustomError_fba3b4fe());
+        var_a = 0xfba3b4fe00000000000000000000000000000000000000000000000000000000;
         var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
         var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
-        require(currentRewardAmount > (currentRewardAmount + bondAmount), CustomError_9cbc1de1());
+        require(unresolved_50d373b0 > (unresolved_50d373b0 + store_b), CustomError_9cbc1de1());
         var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
         var_f = 0x11;
-        currentRewardAmount = currentRewardAmount + bondAmount;
-        require(totalBondsDeposited > (totalBondsDeposited + bondAmount), CustomError_9cbc1de1());
+        unresolved_50d373b0 = unresolved_50d373b0 + store_b;
+        require(store_p > (store_p + store_b), CustomError_9cbc1de1());
         var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
         var_f = 0x11;
-        totalBondsDeposited = totalBondsDeposited + bondAmount;
-        require(executionDeadline, CustomError_9cbc1de1());
-        require(!(block.timestamp > executionDeadline), CustomError_9cbc1de1());
+        store_p = store_p + store_b;
+        require(unresolved_9527051a, CustomError_9cbc1de1());
+        require(!(block.timestamp > unresolved_9527051a), CustomError_9cbc1de1());
         var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
-        if (executionDeadline) {
+        if (unresolved_9527051a) {
         }
     }

─── Function withdraw (0x3ccfd60b → 0xceefd68a) ───
@@ -1,40 +1,43 @@
     
-    /// @custom:selector    0x3ccfd60b
-    /// @custom:signature   withdraw() public payable
-    function withdraw() public payable {
+    /// @custom:selector    0xceefd68a
+    /// @custom:signature   Unresolved_ceefd68a(uint256 arg0) public payable
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_ceefd68a(uint256 arg0) public payable {
+        require(0xd6 == msg.data[0]);
+        require(0 == 0x01);
         require(msg.value);
         require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
-        require(!(bytes1(unresolved_308657d7 >> 0x08)), CustomError_618bbdd5());
+        require(!(bytes1(unresolved_afd12f74 >> 0x08)), CustomError_618bbdd5());
         require(msg.sender - 0, CustomError_618bbdd5());
         var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
-        require(executionDeadline, CustomError_9cbc1de1());
-        require(!(block.timestamp > executionDeadline), CustomError_9cbc1de1());
+        require(unresolved_9527051a, CustomError_9cbc1de1());
+        require(!(block.timestamp > unresolved_9527051a), CustomError_9cbc1de1());
         var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
-        unresolved_1aa7c0ec = uint96(unresolved_1aa7c0ec);
-        bondAmount = 0;
-        executionDeadline = 0;
-        require(unresolved_8bd03d0a > (unresolved_8bd03d0a + unresolved_d415b3f9));
+        store_a = uint96(store_a);
+        store_b = 0;
+        unresolved_9527051a = 0;
+        require(unresolved_0f0b8ff0 > (unresolved_0f0b8ff0 + unresolved_1df490e8));
         var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
         var_b = 0x11;
-        unresolved_308657d7 = uint248(unresolved_308657d7);
-        unresolved_8bd03d0a = 0;
-        currentRewardAmount = 0;
-        require(!unresolved_8bd03d0a + unresolved_d415b3f9);
+        unresolved_afd12f74 = uint248(unresolved_afd12f74);
+        unresolved_0f0b8ff0 = 0;
+        unresolved_50d373b0 = 0;
+        require(!unresolved_0f0b8ff0 + unresolved_1df490e8);
         var_c = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
         address var_d = msg.sender;
-        uint256 var_e = unresolved_8bd03d0a + unresolved_d415b3f9;
+        uint256 var_e = unresolved_0f0b8ff0 + unresolved_1df490e8;
         (bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_d); // call
-        require(!0, CustomError_045c4b02());
-        var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
-        require(0x20 > ret0.length);
-        require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+        require(!0, CustomError_fba3b4fe());
+        var_a = 0xfba3b4fe00000000000000000000000000000000000000000000000000000000;
+        require(0x20 > ret0.length, CustomError_12a14b2f());
+        require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f), CustomError_12a14b2f());
+        var_a = 0x12a14b2f00000000000000000000000000000000000000000000000000000000;
         var_b = 0x41;
         uint256 var_f = var_f + 0x20;
         require(((var_f + 0x20) - var_f) < 0x20);
-        require(var_f.length - var_f.length, CustomError_045c4b02());
-        require(!var_f.length, CustomError_045c4b02());
-        var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
+        require(var_f.length - var_f.length, CustomError_fba3b4fe());
+        require(!var_f.length, CustomError_fba3b4fe());
+        var_a = 0xfba3b4fe00000000000000000000000000000000000000000000000000000000;
         var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
         var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
     }

─── Added: Unresolved_515523f2 (0x515523f2) ───
@@ -1,0 +1,12 @@
+    
+    /// @custom:selector    0x515523f2
+    /// @custom:signature   Unresolved_515523f2(uint256 arg0) public view returns (uint256)
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_515523f2(uint256 arg0) public view returns (uint256) {
+        require(0x23 == msg.data[0]);
+        require(0 == 0x01);
+        require(msg.value);
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+        var_a = store_b;
+        return store_b;
+    }

─── Added: Unresolved_30a8c986 (0x30a8c986) ───
@@ -1,0 +1,12 @@
+    
+    /// @custom:selector    0x30a8c986
+    /// @custom:signature   Unresolved_30a8c986(uint256 arg0) public view returns (bool)
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_30a8c986(uint256 arg0) public view returns (bool) {
+        require(0x30 == msg.data[0]);
+        require(0 == 0x01);
+        require(msg.value);
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+        bytes1 var_a = !(!bytes1(unresolved_afd12f74));
+        return !(!bytes1(unresolved_afd12f74));
+    }

─── Added: Unresolved_250cc01d (0x250cc01d) ───
@@ -1,0 +1,11 @@
+    /// @custom:selector    0x250cc01d
+    /// @custom:signature   Unresolved_250cc01d(uint256 arg0) public view returns (address)
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_250cc01d(uint256 arg0) public view returns (address) {
+        require(0xc0 == msg.data[0]);
+        require(0 == 0x01);
+        require(msg.value);
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+        address var_a = address(store_a);
+        return address(store_a);
+    }

─── Added: Unresolved_fef64253 (0xfef64253) ───
@@ -1,0 +1,12 @@
+    
+    /// @custom:selector    0xfef64253
+    /// @custom:signature   Unresolved_fef64253(uint256 arg0) public view returns (uint256)
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_fef64253(uint256 arg0) public view returns (uint256) {
+        require(0xfe == msg.data[0]);
+        require(0 == 0x01);
+        require(msg.value);
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+        var_a = store_p;
+        return store_p;
+    }

─── Added: Unresolved_55b4e822 (0x55b4e822) ───
@@ -1,0 +1,12 @@
+    
+    /// @custom:selector    0x55b4e822
+    /// @custom:signature   Unresolved_55b4e822(uint256 arg0) public pure returns (uint256)
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_55b4e822(uint256 arg0) public pure returns (uint256) {
+        require(0x55 == msg.data[0]);
+        require(0 == 0x01);
+        require(msg.value);
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+        uint256 var_a = 0;
+        return 0;
+    }

─── Added: Unresolved_cb723f41 (0xcb723f41) ───
@@ -1,0 +1,16 @@
+    
+    /// @custom:selector    0xcb723f41
+    /// @custom:signature   Unresolved_cb723f41(uint256 arg0) public view returns (bool)
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_cb723f41(uint256 arg0) public view returns (bool) {
+        require(0xcb == msg.data[0]);
+        require(0 == 0x01);
+        require(msg.value);
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+        if (unresolved_9527051a) {
+            uint256 var_a = !(block.timestamp > unresolved_9527051a);
+            return !(block.timestamp > unresolved_9527051a);
+            var_a = unresolved_9527051a;
+            return unresolved_9527051a;
+        }
+    }

─── Added: Unresolved_862f921e (0x862f921e) ───
@@ -1,0 +1,12 @@
+    
+    /// @custom:selector    0x862f921e
+    /// @custom:signature   Unresolved_862f921e(uint256 arg0) public pure returns (uint256)
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_862f921e(uint256 arg0) public pure returns (uint256) {
+        require(0x86 == msg.data[0]);
+        require(0 == 0x01);
+        require(msg.value);
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+        uint256 var_a = 0;
+        return 0;
+    }

─── Added: Unresolved_b189c464 (0xb189c464) ───
@@ -1,0 +1,11 @@
+    
+    /// @custom:selector    0xb189c464
+    /// @custom:signature   Unresolved_b189c464() public view returns (uint256)
+    function Unresolved_b189c464() public view returns (uint256) {
+        require(!store_j);
+        require(0 == 0x01);
+        require(msg.value);
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+        var_a = 0x0100;
+        return 0x0100;
+    }

─── Added: Unresolved_81e30d65 (0x81e30d65) ───
@@ -1,0 +1,11 @@
+    
+    /// @custom:selector    0x81e30d65
+    /// @custom:signature   Unresolved_81e30d65() public view returns (uint256)
+    function Unresolved_81e30d65() public view returns (uint256) {
+        require(!store_i);
+        require(0 == 0x01);
+        require(msg.value);
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+        uint256 var_a = 0;
+        return 0;
+    }

_{Commit 32a8d42}