Skip to content

rewrite: azoth's formal verification engine#140

Draft
g4titanx wants to merge 1 commit intomasterfrom
feat/fv-rewrite
Draft

rewrite: azoth's formal verification engine#140
g4titanx wants to merge 1 commit intomasterfrom
feat/fv-rewrite

Conversation

@g4titanx
Copy link
Copy Markdown
Member

@g4titanx g4titanx commented Apr 3, 2026

No description provided.

@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Apr 3, 2026

Decompile Diff Analysis

Statistics (50 iterations)

  • Total: 38 hunks, -190 removed, +308 added
  • Items: 17 total, 16 with changes
  • Selectors: 20 remapped
Metric Min Avg Max
Hunks 33 38.0 39
Lines removed 186 188.9 203
Lines added 223 266.5 350
Lines unchanged 62 76.1 79
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;
+    bytes32 store_c;
+    bytes32 store_f;
+    bytes32 store_o;
+    uint256 public unresolved_1a129dda;
+    bytes32 store_p;
+    bytes32 store_j;
+    uint256 public unresolved_15d09992;
+    uint256 store_a;
+    uint256 public unresolved_772ad988;
+    bool public unresolved_02658007;
+    bytes32 store_h;
+    bytes32 store_i;
+    uint256 public unresolved_ea987154;
+    address store_l;
+    bytes32 store_n;
+    bytes32 store_q;
+    bytes32 store_r;
+    bytes32 store_d;
     
-    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 ZeroPaymentAmount();
     

─── Function Unresolved_ede7f6a3 (0xede7f6a3 → 0xcc0bf69e) ───
@@ -1,77 +1,21 @@
-    /// @custom:selector    0xede7f6a3
-    /// @custom:signature   Unresolved_ede7f6a3(uint256 arg0, uint256 arg1) public view
+    
+    /// @custom:selector    0xcc0bf69e
+    /// @custom:signature   Unresolved_cc0bf69e(uint256 arg0, uint256 arg1) public view returns (uint256)
     /// @param              arg0 ["uint256", "bytes32", "int256"]
     /// @param              arg1 ["uint256", "bytes32", "int256"]
-    function Unresolved_ede7f6a3(uint256 arg0, uint256 arg1) public view {
+    function Unresolved_cc0bf69e(uint256 arg0, uint256 arg1) public view returns (uint256) {
+        require(0xf6 == msg.data[0]);
+        require(0 == 0x01);
+        require(0 == 0x01);
+        require(msg.value);
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+        uint256 var_a = 0;
+        return 0;
         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(arg1 > block.number, CustomError_58968cf0());
-        var_a = 0x58968cf000000000000000000000000000000000000000000000000000000000;
-        require((block.number - arg1) > block.number, CustomError_c42a0185());
-        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;
-        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;
-        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());
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-        var_b = 0x11;
-        require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_31aed5c2());
-        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;
-        var_b = 0x32;
-        var_a = 0x31aed5c200000000000000000000000000000000000000000000000000000000;
-        if (0 < 0x08) {
-        }
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-        var_b = 0x11;
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-        var_b = 0x32;
-        if (!block.chainid == 0xa5bd) {
-            if (block.chainid == 0xa5bd) {
-                require(!(block.chainid == 0xa5bd), CustomError_c0098bd9());
-            }
-            require(block.chainid == 0xa5bd, CustomError_c0098bd9());
-        }
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-        var_b = 0x32;
-        var_a = 0xc0098bd900000000000000000000000000000000000000000000000000000000;
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-        var_b = 0x32;
-        var_a = 0xff28378700000000000000000000000000000000000000000000000000000000;
-        var_a = 0xbfc9f0d300000000000000000000000000000000000000000000000000000000;
-        require(executionDeadline, CustomError_ded7c80c());
-        require(!(!block.timestamp > executionDeadline), CustomError_ded7c80c());
-        var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
-        var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+        require(!(bytes1(unresolved_02658007 >> 0x08)), CustomError_2a10f646());
+        uint256 var_b = (0x180e13a7 - (0x6d17bc6a + (0x15eddc1a + (arg0 + (arg0))))) << 0xe1;
     }

─── Function bond (0x9940686e → 0x13c6685f) ───
@@ -1,54 +1,56 @@
     
-    /// @custom:selector    0x9940686e
-    /// @custom:signature   bond(uint256 arg0) public payable
+    /// @custom:selector    0x13c6685f
+    /// @custom:signature   Unresolved_13c6685f(uint256 arg0) public payable
     /// @param              arg0 ["uint256", "bytes32", "int256"]
-    function bond(uint256 arg0) public payable {
+    function Unresolved_13c6685f(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());
-        var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
-        require((currentRewardAmount >> 0x01) > arg0, CustomError_e92c469f());
-        var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_25f39449());
+        require(unresolved_15d09992, CustomError_25f39449());
+        require(block.timestamp > unresolved_15d09992, CustomError_25f39449());
+        require(!(bytes1(unresolved_02658007 >> 0x08)), CustomError_25f39449());
+        require(bytes1(unresolved_02658007), CustomError_25f39449());
+        uint256 var_a = (0x24133786 + (0xbd30e0 - (0x5b096bb0 - (0x5c2c9793 + arg0)))) << 0xe0;
+        require(unresolved_15d09992, CustomError_dcf236e2());
+        require(!(block.timestamp > unresolved_15d09992), CustomError_dcf236e2());
+        var_a = (0x6decd144 - (0x57a13390 - (0xd82d7dbd + arg0))) << 0xe1;
+        require((unresolved_1a129dda >> 0x01) > arg0, CustomError_e92c4269());
+        var_a = 0xe92c426900000000000000000000000000000000000000000000000000000000;
         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());
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+        require(!0, CustomError_6af5fcbf());
+        store_l = (uint96(store_l)) | msg.sender;
+        require(block.timestamp > (block.timestamp + 0x012c), CustomError_6af5fcbf());
+        var_a = (0x596eaecb - (0x4a522971 - (0xf20953ad + (block.timestamp + 0x012c)))) << 0xe0;
         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_15d09992 = block.timestamp + 0x012c;
+        store_a = arg0;
+        var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + arg0)))) << 0xe1;
+        require(0x20 > ret0.length, CustomError_b1b783ef());
+        require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g), CustomError_b1b783ef());
+        var_a = (0x7f3bf45a - (0x2dbedf3b + (0x39703437 + (0x66555c59 + (var_g + 0x20))))) << 0xe0;
         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;
-        var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
-        var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
-        require(currentRewardAmount > (currentRewardAmount + bondAmount), CustomError_9cbc1de1());
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+        require(var_g.length - var_g.length, CustomError_fba3b4fe());
+        require(!var_g.length, CustomError_fba3b4fe());
+        var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + arg0)))) << 0xe1;
+        var_a = (0x180e13a7 - (0x6d17bc6a + (0x15eddc1a + unresolved_02658007))) << 0xe1;
+        require(unresolved_1a129dda > (unresolved_1a129dda + store_a), CustomError_0125d907());
+        var_a = (0x596eaecb - (0x4a522971 - (0xf20953ad + (unresolved_1a129dda + store_a)))) << 0xe0;
         var_f = 0x11;
-        currentRewardAmount = currentRewardAmount + bondAmount;
-        require(totalBondsDeposited > (totalBondsDeposited + bondAmount), CustomError_9cbc1de1());
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+        unresolved_1a129dda = unresolved_1a129dda + store_a;
+        require(store_p > (store_p + store_a), CustomError_0125d907());
+        var_a = (0x596eaecb - (0x4a522971 - (0xf20953ad + (store_p + store_a)))) << 0xe0;
         var_f = 0x11;
-        totalBondsDeposited = totalBondsDeposited + bondAmount;
-        require(executionDeadline, CustomError_9cbc1de1());
-        require(!(block.timestamp > executionDeadline), CustomError_9cbc1de1());
-        var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
-        if (executionDeadline) {
+        store_p = store_p + store_a;
+        require(unresolved_15d09992, CustomError_9cbc11de());
+        require(!(block.timestamp > unresolved_15d09992), CustomError_9cbc11de());
+        var_a = 0x9cbc11de00000000000000000000000000000000000000000000000000000000;
+        if (unresolved_15d09992) {
         }
     }

─── Function withdraw (0x3ccfd60b → 0x5af5d627) ───
@@ -1,40 +1,43 @@
     
-    /// @custom:selector    0x3ccfd60b
-    /// @custom:signature   withdraw() public payable
-    function withdraw() public payable {
+    /// @custom:selector    0x5af5d627
+    /// @custom:signature   Unresolved_5af5d627(uint256 arg0) public payable
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_5af5d627(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(msg.sender - 0, CustomError_618bbdd5());
-        var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
-        require(executionDeadline, CustomError_9cbc1de1());
-        require(!(block.timestamp > executionDeadline), CustomError_9cbc1de1());
-        var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
-        unresolved_1aa7c0ec = uint96(unresolved_1aa7c0ec);
-        bondAmount = 0;
-        executionDeadline = 0;
-        require(unresolved_8bd03d0a > (unresolved_8bd03d0a + unresolved_d415b3f9));
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+        require(!(bytes1(unresolved_02658007 >> 0x08)), CustomError_db347924());
+        require(msg.sender - 0, CustomError_db347924());
+        var_a = 0xdb34792400000000000000000000000000000000000000000000000000000000;
+        require(unresolved_15d09992, CustomError_9cbc1f66());
+        require(!(block.timestamp > unresolved_15d09992), CustomError_9cbc1f66());
+        var_a = 0x9cbc1f6600000000000000000000000000000000000000000000000000000000;
+        store_l = uint96(store_l);
+        store_a = 0;
+        unresolved_15d09992 = 0;
+        require(unresolved_ea987154 > (unresolved_ea987154 + unresolved_772ad988), CustomError_0125d907());
+        uint256 var_a = (0x596eaecb - (0x4a522971 - (0xf20953ad + (unresolved_ea987154 + unresolved_772ad988)))) << 0xe0;
         var_b = 0x11;
-        unresolved_308657d7 = uint248(unresolved_308657d7);
-        unresolved_8bd03d0a = 0;
-        currentRewardAmount = 0;
-        require(!unresolved_8bd03d0a + unresolved_d415b3f9);
+        unresolved_02658007 = uint248(unresolved_02658007);
+        unresolved_ea987154 = 0;
+        unresolved_1a129dda = 0;
+        require(!unresolved_ea987154 + unresolved_772ad988);
         var_c = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
         address var_d = msg.sender;
-        uint256 var_e = unresolved_8bd03d0a + unresolved_d415b3f9;
+        uint256 var_e = unresolved_ea987154 + unresolved_772ad988;
         (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_45b808b0());
+        var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + (msg.data[0] >> 0xe0))))) << 0xe1;
+        require(0x20 > ret0.length, CustomError_b1b783ef());
+        require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f), CustomError_b1b783ef());
+        var_a = (0x7f3bf45a - (0x2dbedf3b + (0x39703437 + (0x66555c59 + (var_f + 0x20))))) << 0xe0;
         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;
-        var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
-        var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+        require(var_f.length - var_f.length, CustomError_45b808b0());
+        require(!var_f.length, CustomError_45b808b0());
+        var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + (msg.data[0] >> 0xe0))))) << 0xe1;
+        var_a = (0x8ff87133 - (0xe211505e + (0x1df559aa - (0x1fa9f9f8 + (unresolved_ea987154 + unresolved_772ad988))))) << 0xe0;
+        var_a = 0x2a10f14800000000000000000000000000000000000000000000000000000000;
     }

─── Function requestCancellation (0x81972d00 → 0xd1fd93a0) ───
@@ -1,10 +1,12 @@
     
-    /// @custom:selector    0x81972d00
-    /// @custom:signature   requestCancellation() public payable
-    function requestCancellation() public payable {
+    /// @custom:selector    0xd1fd93a0
+    /// @custom:signature   Unresolved_d1fd93a0() public payable
+    function Unresolved_d1fd93a0() 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));
+        require(msg.sender - 0, CustomError_ad320a45());
+        uint256 var_a = (0x3cd45c68 - (0x55841003 - (0x29960556 + (0xca4e24ea + (msg.data[0] >> 0xe0))))) << 0xe0;
+        unresolved_ea987154 = 0x01 | (uint248(unresolved_ea987154));
     }

─── Function resume (0x046f7da2 → 0x68d2f6d2) ───
@@ -1,10 +1,12 @@
     
-    /// @custom:selector    0x046f7da2
-    /// @custom:signature   resume() public payable
-    function resume() public payable {
+    /// @custom:selector    0x68d2f6d2
+    /// @custom:signature   Unresolved_68d2f6d2() public payable
+    function Unresolved_68d2f6d2() public payable {
+        require(!store_f);
+        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);
+        require(msg.sender - 0, CustomError_44076d77());
+        uint256 var_a = (0x3cd45c68 - (0x55841003 - (0x29960556 + (0xca4e24ea + (msg.data[0] >> 0xe0))))) << 0xe0;
+        unresolved_ea987154 = uint248(unresolved_ea987154);
     }

─── Function fund (0xa65e2cfd → 0x7a14344a) ───
@@ -1,41 +1,43 @@
     
-    /// @custom:selector    0xa65e2cfd
-    /// @custom:signature   fund(uint256 arg0, uint256 arg1) public payable
+    /// @custom:selector    0x7a14344a
+    /// @custom:signature   Unresolved_7a14344a(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_7a14344a(uint256 arg0, uint256 arg1) public payable {
+        require(!store_r);
+        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());
-        var_a = 0x5adf638700000000000000000000000000000000000000000000000000000000;
-        require(!arg0);
-        require(!arg1);
-        currentRewardAmount = arg0;
-        unresolved_d415b3f9 = arg0;
-        unresolved_8bd03d0a = arg1;
-        require(unresolved_d415b3f9 > (unresolved_d415b3f9 + unresolved_8bd03d0a));
-        var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_db3476a5());
+        require(msg.sender - 0, CustomError_db3476a5());
+        uint256 var_a = (0x3cd45c68 - (0x55841003 - (0x29960556 + (0xca4e24ea + arg1)))) << 0xe0;
+        require(bytes1(unresolved_02658007 >> 0x08), CustomError_a5209c79());
+        var_a = (0x0d1477a8 - (0x67f3db2f + arg1)) << 0xe0;
+        require(!arg0, CustomError_0125df16());
+        require(!arg1, CustomError_0125df16());
+        unresolved_1a129dda = arg0;
+        unresolved_772ad988 = arg0;
+        unresolved_ea987154 = arg1;
+        require(unresolved_772ad988 > (unresolved_772ad988 + unresolved_ea987154), CustomError_0125df16());
+        var_a = 0x0125df1600000000000000000000000000000000000000000000000000000000;
         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_772ad988 + unresolved_ea987154;
         (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_077b4c6a());
+        unresolved_02658007 = (uint248(unresolved_02658007)) | 0x0100;
+        var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + (msg.data[0] >> 0xe0))))) << 0xe1;
+        require(0x20 > ret0.length, CustomError_b1b783ef());
+        require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g), CustomError_b1b783ef());
+        var_a = (0x7f3bf45a - (0x2dbedf3b + (0x39703437 + (0x66555c59 + (var_g + 0x20))))) << 0xe0;
         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;
-        var_a = 0x932ca0a300000000000000000000000000000000000000000000000000000000;
-        var_a = 0xea1083a700000000000000000000000000000000000000000000000000000000;
+        require(var_g.length - var_g.length, CustomError_077b4c6a());
+        require(!var_g.length, CustomError_077b4c6a());
+        var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + (msg.data[0] >> 0xe0))))) << 0xe1;
+        unresolved_02658007 = (uint248(unresolved_02658007)) | 0x0100;
+        var_a = (0xccd00226 ^ (0xe5ebb6b3 ^ (0x220f6f7d ^ (0x98187b4b ^ arg1)))) << 0xe0;
+        var_a = (0x57d4e927 + (0x2fa5c0c6 + (0x6295d9ba + arg1))) << 0xe0;
     }

─── Added: Unresolved_5d46c097 (0x5d46c097) ───
@@ -1,0 +1,61 @@
+    
+    /// @custom:selector    0x5d46c097
+    /// @custom:signature   Unresolved_5d46c097(uint256 arg0) public payable returns (address)
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_5d46c097(uint256 arg0) public payable returns (address) {
+        require(0xc0 == msg.data[0]);
+        require(0 == 0x01);
+        require(0 == 0x01);
+        require(msg.value);
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_25f39449());
+        require(unresolved_15d09992, CustomError_25f39449());
+        require(block.timestamp > unresolved_15d09992, CustomError_25f39449());
+        require(!(bytes1(unresolved_02658007 >> 0x08)), CustomError_25f39449());
+        require(bytes1(unresolved_02658007), CustomError_25f39449());
+        uint256 var_a = (0x24133786 + (0xbd30e0 - (0x5b096bb0 - (0x5c2c9793 + arg0)))) << 0xe0;
+        require(unresolved_15d09992, CustomError_dcf236e2());
+        require(!(block.timestamp > unresolved_15d09992), CustomError_dcf236e2());
+        var_a = (0x6decd144 - (0x57a13390 - (0xd82d7dbd + arg0))) << 0xe1;
+        require((unresolved_1a129dda >> 0x01) > arg0, CustomError_e92c4269());
+        var_a = 0xe92c426900000000000000000000000000000000000000000000000000000000;
+        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_6af5fcbf());
+        store_l = (uint96(store_l)) | msg.sender;
+        require(block.timestamp > (block.timestamp + 0x012c), CustomError_6af5fcbf());
+        var_a = (0x596eaecb - (0x4a522971 - (0xf20953ad + (block.timestamp + 0x012c)))) << 0xe0;
+        var_f = 0x11;
+        unresolved_15d09992 = block.timestamp + 0x012c;
+        store_a = arg0;
+        var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + arg0)))) << 0xe1;
+        require(0x20 > ret0.length, CustomError_b1b783ef());
+        require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g), CustomError_b1b783ef());
+        var_a = (0x7f3bf45a - (0x2dbedf3b + (0x39703437 + (0x66555c59 + (var_g + 0x20))))) << 0xe0;
+        var_f = 0x41;
+        uint256 var_g = var_g + 0x20;
+        require(((var_g + 0x20) - var_g) < 0x20);
+        require(var_g.length - var_g.length, CustomError_fba3b4fe());
+        require(!var_g.length, CustomError_fba3b4fe());
+        var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + arg0)))) << 0xe1;
+        var_a = (0x180e13a7 - (0x6d17bc6a + (0x15eddc1a + unresolved_02658007))) << 0xe1;
+        require(unresolved_1a129dda > (unresolved_1a129dda + store_a), CustomError_0125d907());
+        var_a = (0x596eaecb - (0x4a522971 - (0xf20953ad + (unresolved_1a129dda + store_a)))) << 0xe0;
+        var_f = 0x11;
+        unresolved_1a129dda = unresolved_1a129dda + store_a;
+        require(store_p > (store_p + store_a), CustomError_0125d907());
+        var_a = (0x596eaecb - (0x4a522971 - (0xf20953ad + (store_p + store_a)))) << 0xe0;
+        var_f = 0x11;
+        store_p = store_p + store_a;
+        require(unresolved_15d09992, CustomError_9cbc11de());
+        require(!(block.timestamp > unresolved_15d09992), CustomError_9cbc11de());
+        var_a = 0x9cbc11de00000000000000000000000000000000000000000000000000000000;
+        if (unresolved_15d09992) {
+        }
+        require(msg.value);
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+        address var_b = address(store_l);
+        return address(store_l);
+    }

─── Added: Unresolved_86503198 (0x86503198) ───
@@ -1,0 +1,12 @@
+    
+    /// @custom:selector    0x86503198
+    /// @custom:signature   Unresolved_86503198(uint256 arg0) public pure returns (uint256)
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_86503198(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_7c3c3b56 (0x7c3c3b56) ───
@@ -1,0 +1,11 @@
+    
+    /// @custom:selector    0x7c3c3b56
+    /// @custom:signature   Unresolved_7c3c3b56() public view returns (uint256)
+    function Unresolved_7c3c3b56() public view returns (uint256) {
+        require(!store_c);
+        require(0 == 0x01);
+        require(msg.value);
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+        var_a = 0x0100;
+        return 0x0100;
+    }

─── Added: Unresolved_cbb277b2 (0xcbb277b2) ───
@@ -1,0 +1,16 @@
+    
+    /// @custom:selector    0xcbb277b2
+    /// @custom:signature   Unresolved_cbb277b2(uint256 arg0) public view returns (bool)
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_cbb277b2(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_15d09992) {
+            uint256 var_a = !(block.timestamp > unresolved_15d09992);
+            return !(block.timestamp > unresolved_15d09992);
+            var_a = unresolved_15d09992;
+            return unresolved_15d09992;
+        }
+    }

─── Added: Unresolved_301dc93f (0x301dc93f) ───
@@ -1,0 +1,12 @@
+    
+    /// @custom:selector    0x301dc93f
+    /// @custom:signature   Unresolved_301dc93f(uint256 arg0) public view returns (bool)
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_301dc93f(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_02658007));
+        return !(!bytes1(unresolved_02658007));
+    }

─── Added: Unresolved_52d523ae (0x52d523ae) ───
@@ -1,0 +1,11 @@
+    /// @custom:selector    0x52d523ae
+    /// @custom:signature   Unresolved_52d523ae(uint256 arg0) public view returns (uint256)
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_52d523ae(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_a;
+        return store_a;
+    }

─── Added: Unresolved_55d6857f (0x55d6857f) ───
@@ -1,0 +1,12 @@
+    
+    /// @custom:selector    0x55d6857f
+    /// @custom:signature   Unresolved_55d6857f(uint256 arg0) public pure returns (uint256)
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_55d6857f(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_261d9ed1 (0x261d9ed1) ───
@@ -1,0 +1,11 @@
+    
+    /// @custom:selector    0x261d9ed1
+    /// @custom:signature   Unresolved_261d9ed1() public view returns (uint256)
+    function Unresolved_261d9ed1() public view returns (uint256) {
+        require(!store_q);
+        require(0 == 0x01);
+        require(msg.value);
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+        uint256 var_a = 0;
+        return 0;
+    }

─── Added: Unresolved_fe646b6f (0xfe646b6f) ───
@@ -1,0 +1,12 @@
+    
+    /// @custom:selector    0xfe646b6f
+    /// @custom:signature   Unresolved_fe646b6f(uint256 arg0) public view returns (uint256)
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_fe646b6f(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;
+    }

Commit 3c7a473

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant