Skip to content

feat(transforms): impl. mba transform #127

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
g4titanx wants to merge 6 commits into
base: master
Choose a base branch
from
Draft

feat(transforms): impl. mba transform #127

g4titanx wants to merge 6 commits into from

Conversation

@g4titanx
Copy link
Member

@g4titanx g4titanx commented Jan 7, 2026

No description provided.

@github-actions
Copy link
Contributor

github-actions bot commented Jan 7, 2026 •
edited
Loading

Decompile Diff Analysis

Statistics (50 iterations)

  • Total: 49 hunks, -168 removed, +255 added
  • Items: 16 total, 15 with changes
  • Selectors: 19 remapped
Metric Min Avg Max
Hunks 32 42.3 49
Lines removed 143 168.8 208
Lines added 186 232.7 265
Lines unchanged 74 113.2 139
Full Diff Output 
─── Storage ───
@@ -1,14 +1,21 @@
-    uint256 public constant unresolved_d4899a62 = 0;
-    uint256 public constant expectedAmount = 0;
-    uint256 public constant unresolved_8677ab23 = 0;
-    
-    uint256 public bondAmount;
-    address public unresolved_1aa7c0ec;
-    uint256 public executionDeadline;
-    uint256 public currentRewardAmount;
-    uint256 public unresolved_fe03a460;
-    uint256 public unresolved_8bd03d0a;
-    uint256 public unresolved_d415b3f9;
-    bool public unresolved_308657d7;
+    bytes32 store_c;
+    uint256 public unresolved_f3decf8d;
+    bytes32 store_o;
+    address store_m;
+    bytes32 store_p;
+    bytes32 store_j;
+    bytes32 store_k;
+    bytes32 store_a;
+    uint256 public unresolved_e4ee8032;
+    uint256 public unresolved_e5c4eedb;
+    uint256 store_h;
+    bytes32 store_i;
+    bytes32 store_g;
+    uint256 public unresolved_7cb2b15f;
+    uint256 public unresolved_d71bc522;
+    bytes32 store_q;
+    bytes32 store_r;
+    bytes32 store_d;
     
+    error CustomError_00000000();
     

─── Function withdraw (0x3ccfd60b → 0x8159d6e6) ───
@@ -1,55 +1,29 @@
     
-    /// @custom:selector    0x3ccfd60b
-    /// @custom:signature   withdraw() public payable
-    function withdraw() public payable {
+    /// @custom:selector    0x8159d6e6
+    /// @custom:signature   Unresolved_8159d6e6(uint256 arg0) public view
+    /// @param              arg0 ["uint256", "bytes32", "int256"]
+    function Unresolved_8159d6e6(uint256 arg0) public view {
+        require(0xd6 == msg.data[0]);
+        require(0 == 0x01);
         require(msg.value);
         require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
-        require(!(bytes1(unresolved_308657d7 >> 0x08)), "Only callable by the deployer");
-        require(!(msg.sender == 0), "Only callable by the deployer");
+        require(!(bytes1(store_d >> 0x08)), "Only callable by the deployeq");
+        require(!(msg.sender == 0), "Only callable by the deployeq");
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x1d;
-        var_d = 0x4f6e6c792063616c6c61626c6520627920746865206465706c6f796572000000;
-        require(!((bytes1(unresolved_308657d7 >> 0x08)) == 0x01), "Cannot reset while bond is active");
-        require(executionDeadline, "Cannot reset while bond is active");
-        require(!(block.timestamp > executionDeadline), "Cannot reset while bond is active");
-        var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
-        var_b = 0x20;
-        var_c = 0x21;
-        var_d = 0x43616e6e6f74207265736574207768696c6520626f6e64206973206163746976;
-        var_e = 0x6500000000000000000000000000000000000000000000000000000000000000;
-        unresolved_1aa7c0ec = uint96(unresolved_1aa7c0ec);
-        bondAmount = 0;
-        executionDeadline = 0;
-        require(unresolved_8bd03d0a > (unresolved_8bd03d0a + unresolved_d415b3f9));
-        var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-        var_g = 0x11;
-        unresolved_308657d7 = uint248(unresolved_308657d7);
-        unresolved_8bd03d0a = 0;
-        currentRewardAmount = 0;
-        require(!unresolved_8bd03d0a + unresolved_d415b3f9);
-        var_a = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
-        address var_b = msg.sender;
-        uint256 var_c = unresolved_8bd03d0a + unresolved_d415b3f9;
-        (bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_b); // call
-        require(0x20 > ret0.length);
-        require(((var_h + 0x20) > 0xffffffffffffffff) | ((var_h + 0x20) < var_h));
-        var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-        var_g = 0x41;
-        uint256 var_h = var_h + 0x20;
-        require(((var_h + 0x20) - var_h) < 0x20);
-        require(var_h.length - var_h.length);
-        var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
-        var_b = 0x20;
-        var_c = 0x15;
-        var_d = 0x4e6f20776974686472617761626c652066756e64730000000000000000000000;
+        var_d = this.code[12877:12877];
+        uint256 var_e = 0xa4d5 + (var_f ^ 0x4f6e6c792063616c6c61626c6520627920746865206465706c6f796571ff49f3);
+        require(!((bytes1(store_d >> 0x08)) == 0x01), CustomError_61732062());
+        require(unresolved_d71bc522, CustomError_61732062());
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x37;
-        var_d = 0x54686520636f6e747261637420776173206e6f742066756e646564206f722068;
-        var_e = 0x6173206265656e20647261696e656420616c7265616479000000000000000000;
+        var_d = this.code[12909:12909];
+        uint256 var_g = (0x75e45927 + (0xf9be1035 + (var_f + (var_h - 0x032715b0f0577be413efe1f31d2361f51a38177e317d0a3f9ce2718309069068)))) + 0x02a1;
+        var_i = 0x6173206265656e20647261696e656420616c7265616479000000000000000000;
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x13;
-        var_d = 0x436f6e7472616374206e6f742066756e64656400000000000000000000000000;
+        var_e = 0x436f6e7472616374206e6f742066756e64656400000000000000000000000000;
     }

─── Function fund (0xa65e2cfd → 0xd3e0503b) ───
@@ -1,49 +1,51 @@
-    
-    /// @custom:selector    0xa65e2cfd
-    /// @custom:signature   fund(uint256 arg0, uint256 arg1) public payable
+    /// @custom:selector    0xd3e0503b
+    /// @custom:signature   Unresolved_d3e0503b(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_d3e0503b(uint256 arg0, uint256 arg1) public payable {
+        require(!store_c);
+        require(0 == 0x01);
         require(msg.value);
-        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, "Only callable by the deployer");
-        require(!(msg.sender == 0), "Only callable by the deployer");
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, "Only callable by the deployeq");
+        require(!(msg.sender == 0), "Only callable by the deployeq");
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x1d;
-        var_d = 0x4f6e6c792063616c6c61626c6520627920746865206465706c6f796572000000;
-        require(!(!bytes1(unresolved_308657d7 >> 0x08)), "Contract already funded");
+        var_d = this.code[12877:12877];
+        uint256 var_e = 0xa4d5 + (var_f ^ 0x4f6e6c792063616c6c61626c6520627920746865206465706c6f796571ff49f3);
+        require(!(!bytes1(store_d >> 0x08)), "Contract already funded");
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x17;
-        var_d = 0x436f6e747261637420616c72656164792066756e646564000000000000000000;
-        require(!arg0);
-        require(!arg1);
-        currentRewardAmount = arg0;
-        unresolved_d415b3f9 = arg0;
-        unresolved_8bd03d0a = arg1;
-        require(unresolved_d415b3f9 > (unresolved_d415b3f9 + unresolved_8bd03d0a));
-        var_e = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-        var_f = 0x11;
+        var_e = 0x436f6e747261637420616c72656164792066756e646564000000000000000000;
+        require(!arg0, CustomError_4e487d1f());
+        require(!arg1, CustomError_4e487d1f());
+        unresolved_e4ee8032 = arg0;
+        unresolved_f3decf8d = arg0;
+        unresolved_e5c4eedb = arg1;
+        require(unresolved_f3decf8d > (unresolved_f3decf8d + unresolved_e5c4eedb), CustomError_4e487d1f());
+        var_f = 0x4e487d1f00000000000000000000000000000000000000000000000000000000;
+        var_g = 0x11;
         var_a = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
         address var_b = msg.sender;
         address var_c = address(this);
-        uint256 var_d = unresolved_d415b3f9 + unresolved_8bd03d0a;
+        var_e = unresolved_f3decf8d + unresolved_e5c4eedb;
         (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_b); // call
-        unresolved_308657d7 = (uint248(unresolved_308657d7)) | 0x0100;
-        require(0x20 > ret0.length);
-        require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g));
-        var_e = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-        var_f = 0x41;
-        uint256 var_g = var_g + 0x20;
-        require(((var_g + 0x20) - var_g) < 0x20);
-        require(var_g.length - var_g.length);
-        unresolved_308657d7 = (uint248(unresolved_308657d7)) | 0x0100;
+        store_d = (uint248(store_d)) | 0x0100;
+        require(0x20 > ret0.length, CustomError_4e487c11());
+        require(((var_h + 0x20) > 0xffffffffffffffff) | ((var_h + 0x20) < var_h), CustomError_4e487c11());
+        uint256 var_f = (0xb55091b0 + (0x75ce94c6 + (0x232954fb + (var_h + 0x20)))) << 0xe0;
+        var_g = 0x41;
+        uint256 var_h = var_h + 0x20;
+        require(((var_h + 0x20) - var_h) < 0x20);
+        require(var_h.length - var_h.length);
+        store_d = (uint248(store_d)) | 0x0100;
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x1f;
-        var_d = 0x5061796d656e7420616d6f756e74206d757374206265206e6f6e2d7a65726f00;
+        var_e = 0x5061796d656e7420616d6f756e74206d757374206265206e6f6e2d7a65726f00;
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x1e;
-        var_d = 0x52657761726420616d6f756e74206d757374206265206e6f6e2d7a65726f0000;
+        var_e = 0x52657761726420616d6f756e74206d757374206265206e6f6e2d7a65726f0000;
     }

─── Function bond (0x9940686e → 0x996dc05e) ───
@@ -1,60 +1,63 @@
     
-    /// @custom:selector    0x9940686e
-    /// @custom:signature   bond(uint256 arg0) public payable
+    /// @custom:selector    0x996dc05e
+    /// @custom:signature   Unresolved_996dc05e(uint256 arg0) public payable
     /// @param              arg0 ["uint256", "bytes32", "int256"]
-    function bond(uint256 arg0) public payable {
+    function Unresolved_996dc05e(uint256 arg0) public payable {
+        require(0x99 == msg.data[0]);
+        require(0 == 0x01);
         require(msg.value);
-        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, "Bond must be at least half of reward amount");
-        require(!(bytes1(unresolved_308657d7 >> 0x08)), "Bond must be at least half of reward amount");
-        require(!(!bytes1(unresolved_308657d7)), "Bond must be at least half of reward amount");
-        require(!(!arg0 < (currentRewardAmount >> 0x01)), "Bond must be at least half of reward amount");
+        require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_0());
+        require(!(bytes1(store_d >> 0x08)), CustomError_0());
+        require(!(!bytes1(store_d)), CustomError_0());
+        require(!(!arg0 < (unresolved_e4ee8032 >> 0x01)), CustomError_0());
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x2b;
-        var_d = 0x426f6e64206d757374206265206174206c656173742068616c66206f66207265;
-        var_e = 0x7761726420616d6f756e74000000000000000000000000000000000000000000;
-        require(executionDeadline, "Another executor is already bonded");
-        require(block.timestamp > executionDeadline, "Another executor is already bonded");
-        require(executionDeadline, "Another executor is already bonded");
-        require(!(block.timestamp > executionDeadline), "Another executor is already bonded");
+        uint248 var_d = uint248(0x4541 ^ (((0x47f21763267a341a71ca7c8c350439f2 ^ (0x5ce233b4605528fbd4b1e30366abd817 ^ (var_e - 0x426f6ef460efff7375336b6d24e176a77575c7a43143f28b00511a68995c1a31))) ^ 0x04be) - 0x5f68));
+        uint256 var_f = (0x0a4c1ffb3b22085e370b64 + (0xf0744180e0af98aa8bbd3e + (0x373ea995908f62971fb4f1 + (0xebd951875bb757bbfade0a + unresolved_e4ee8032)))) << 0xaa;
+        require(unresolved_d71bc522, CustomError_0());
+        require(block.timestamp > unresolved_d71bc522, CustomError_0());
+        require(unresolved_d71bc522, CustomError_0());
+        require(!(block.timestamp > unresolved_d71bc522), CustomError_0());
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x22;
-        var_d = 0x416e6f74686572206578656375746f7220697320616c726561647920626f6e64;
-        var_e = 0x6564000000000000000000000000000000000000000000000000000000000000;
+        var_g = this.code[12973:12973];
+        var_d = (0x15b7945d79239193a8b348b78088348f ^ (0x10bf69d784cb40b79d98c0fc6be805f1 ^ (0xb3ef1aca85f2dd61c062ec0185bb16 ^ (var_e - (0xe61d0f3a ^ (0x974be195 ^ (0x9b4c33f7 ^ (0xc99742dd ^ (0x414e6944082502204138204250242322240241000400100800891106a8108091 | var_h))))))))) ^ 0x04e5;
+        var_f = 0x6564000000000000000000000000000000000000000000000000000000000000;
         var_a = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
         address var_b = msg.sender;
         address var_c = address(this);
-        uint256 var_d = arg0;
+        uint256 var_i = arg0;
         (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_b); // call
-        unresolved_1aa7c0ec = var_b | (uint96(unresolved_1aa7c0ec));
-        require(block.timestamp > (block.timestamp + 0x012c));
-        var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-        var_g = 0x11;
-        executionDeadline = block.timestamp + 0x012c;
-        bondAmount = arg0;
-        require(0x20 > ret0.length);
-        require(((var_h + 0x20) > 0xffffffffffffffff) | ((var_h + 0x20) < var_h));
-        var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-        var_g = 0x41;
-        uint256 var_h = var_h + 0x20;
-        require(((var_h + 0x20) - var_h) < 0x20);
-        require(var_h.length - var_h.length);
-        if (currentRewardAmount > (currentRewardAmount + bondAmount)) {
-            var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-            var_g = 0x11;
-            currentRewardAmount = currentRewardAmount + bondAmount;
-            require(currentRewardAmount > (currentRewardAmount + bondAmount), "Cancellation requested");
-            var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-            var_g = 0x11;
-            require(unresolved_fe03a460 > (unresolved_fe03a460 + bondAmount), "Cancellation requested");
+        store_m = var_b | (uint96(store_m));
+        require(block.timestamp > (block.timestamp + 0x012c), CustomError_4e487e19());
+        var_h = 0x4e487e1900000000000000000000000000000000000000000000000000000000;
+        var_j = 0x11;
+        unresolved_d71bc522 = block.timestamp + 0x012c;
+        store_h = arg0;
+        require(0x20 > ret0.length, CustomError_4e487c11());
+        require(((var_e + 0x20) > 0xffffffffffffffff) | ((var_e + 0x20) < var_e), CustomError_4e487c11());
+        uint256 var_h = (0xb55091b0 + (0x75ce94c6 + (0x232954fb + (var_e + 0x20)))) << 0xe0;
+        var_j = 0x41;
+        uint256 var_e = var_e + 0x20;
+        require(((var_e + 0x20) - var_e) < 0x20);
+        require(var_e.length - var_e.length);
+        require(unresolved_e4ee8032 > (unresolved_e4ee8032 + store_h), CustomError_4e487eea());
+        var_h = 0x4e487eea00000000000000000000000000000000000000000000000000000000;
+        var_j = 0x11;
+        unresolved_e4ee8032 = unresolved_e4ee8032 + store_h;
+        require(unresolved_7cb2b15f > (unresolved_7cb2b15f + store_h), CustomError_4e487edf());
+        var_h = 0x4e487edf00000000000000000000000000000000000000000000000000000000;
+        var_j = 0x11;
+        if (unresolved_d71bc522) {
         }
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x16;
-        var_d = 0x43616e63656c6c6174696f6e2072657175657374656400000000000000000000;
+        uint256 var_k = ((0xe421 + (0x10d85b98d95b1b185d1a5bdb881c995c5d590fea491a ^ var_e)) - 0xe6e6) << 0x52;
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x13;
-        var_d = 0x436f6e7472616374206e6f742066756e64656400000000000000000000000000;
+        var_i = 0x436f6e7472616374206e6f742066756e64656400000000000000000000000000;
     }

─── Function Unresolved_ede7f6a3 (0xede7f6a3 → 0x350899a5) ───
@@ -1,61 +1,57 @@
-    /// @custom:selector    0xede7f6a3
-    /// @custom:signature   Unresolved_ede7f6a3(uint256 arg0, uint256 arg1) public view
+    
+    /// @custom:selector    0x350899a5
+    /// @custom:signature   Unresolved_350899a5(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_350899a5(uint256 arg0, uint256 arg1) public view {
+        require(!store_r);
+        require(0 == 0x01);
         require(msg.value);
         require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
         require(arg0 > 0xffffffffffffffff);
-        require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0, "Only bonded executor can collect");
-        require(!(bytes1(unresolved_308657d7 >> 0x08)), "Only bonded executor can collect");
-        require(address(unresolved_1aa7c0ec) == msg.sender, "Only bonded executor can collect");
-        require(!(address(unresolved_1aa7c0ec) == msg.sender), "Only bonded executor can collect");
+        require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0, CustomError_0());
+        require(!(bytes1(store_d >> 0x08)), CustomError_0());
+        require(address(store_m) == msg.sender, CustomError_0());
+        require(!(address(store_m) == msg.sender), CustomError_0());
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x20;
-        var_d = 0x4f6e6c7920626f6e646564206578656375746f722063616e20636f6c6c656374;
-        require(!(!arg1 > block.number), "Target block is in the future");
+        var_d = this.code[13005:13005];
+        uint256 var_e = (0xdaadf891 - (0x7515df79 - ((0xddd9b4ea3871e123 + (0xaf2fd8e43c9e5af0 + (var_f + (0x64 - (0xadc84a66 - (0x90ff8cfc - (0x918d4c1e + (0x29964707 - (var_g - 0x4f6e6c7920626f6e646564206578656375746f7220636170a26f86261d963f5e))))))))) ^ 0x0803))) + arg1;
+        require(!(!arg1 > block.number), CustomError_0());
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x1d;
-        var_d = 0x54617267657420626c6f636b20697320696e2074686520667574757265000000;
-        require((block.number - arg1) > block.number);
-        var_e = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-        var_f = 0x11;
+        var_d = this.code[13037:13037];
+        uint256 var_h = 0x627f ^ (((0x08d36042693d7fcf0eee85ae94561c7e + (0x9483d04e89c3ffd4572d90adf34bd9ca + (0x04d3741e7b5685d1b53e2c3b92934a22 + (0x24619124eaf493d7bf4e7a07c5c30a01 + (var_f ^ ((0x41b2 + (0x5ea337221e67bd03a1f994cbb445788c10f476e6fa6c4b13debd5a1594dca8d1 + var_g)) - 0xbfe91a287494d2a41c67d3ffcc4ec2459040fa55762d8cac92a579aa407a1b51)))))) + 0x080f) / 0x03);
+        require((block.number - arg1) > block.number, CustomError_4e48736d());
+        var_f = 0x4e48736d00000000000000000000000000000000000000000000000000000000;
+        var_i = 0x11;
         require(0 < (block.number - arg1));
         require(!blockhash(arg1));
         require(arg0 + (arg0) > 0xffffffffffffffff);
-        require(arg0 + (arg0) > 0xffffffffffffffff, "Block header hash mismatch");
-        var_e = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-        var_f = 0x41;
-        require(((var_g + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_g + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_g), "Block header hash mismatch");
-        var_e = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
-        var_f = 0x41;
-        uint256 var_g = var_g + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
-        uint256 var_a = (arg0 + (arg0));
-        var_h = msg.data[36:36];
-        uint256 var_i = 0;
-        require(!(keccak256(var_h) == blockhash(arg1)), "Block header hash mismatch");
-        var_i = 0x08c379a000000000000000000000000000000000000000000000000000000000;
-        var_c = 0x20;
-        var_d = 0x1a;
-        var_j = 0x426c6f636b206865616465722068617368206d69736d61746368000000000000;
+        require(arg0 + (arg0) > 0xffffffffffffffff);
+        uint256 var_f = (0xb55091b0 + (0x75ce94c6 + (0x232954fb + (arg0 + (arg0))))) << 0xe0;
+        var_i = 0x41;
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x1d;
-        var_d = 0x556e61626c6520746f20726574726965766520626c6f636b2068617368000000;
+        var_d = this.code[13101:13101];
+        uint256 var_j = (0x556e61626c6520746f20726574726965766520626c6f636ba5dc1f32f2cd3fa8 - var_f) - 0x2d12;
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x14;
-        var_d = 0x54617267657420626c6f636b20746f6f206f6c64000000000000000000000000;
-        require(executionDeadline, "Only bonded executor can collect");
-        require(!(!block.timestamp > executionDeadline), "Only bonded executor can collect");
+        var_d = this.code[13069:13069];
+        var_e = (0x01 * (uint248((0xb0b952aa067fd69b - (0x6a7cb4044db17eb9 - (0x1e44973ec350ed21 - (0x7499a71fcf0e8fd4 + (0x0844 - (0xe323c748 + (0xfcea0eeb + (0xa3b0cca9 + (0x3972d411 - (uint256(0x138a69c9334286bad0c7a57bf79fef9fd5d193ebb1bd8fad836b564abd9d1c15 ^ var_g) - var_f)))))))))) ^ arg1) / 0x10)) << 0x62;
+        require(unresolved_d71bc522, CustomError_0());
+        require(!(!block.timestamp > unresolved_d71bc522), CustomError_0());
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x20;
-        var_d = 0x4f6e6c7920626f6e646564206578656375746f722063616e20636f6c6c656374;
+        var_d = this.code[13005:13005];
+        var_e = (0xdaadf891 - (0x7515df79 - ((0xddd9b4ea3871e123 + (0xaf2fd8e43c9e5af0 + (var_f + (0x64 - (0xadc84a66 - (0x90ff8cfc - (0x918d4c1e + (0x29964707 - (var_g - 0x4f6e6c7920626f6e646564206578656375746f7220636170a26f86261d963f5e))))))))) ^ 0x0803))) + arg1;
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x13;
-        var_d = 0x436f6e7472616374206e6f742066756e64656400000000000000000000000000;
+        var_j = 0x436f6e7472616374206e6f742066756e64656400000000000000000000000000;
     }

─── Function resume (0x046f7da2 → 0x85263608) ───
@@ -1,13 +1,16 @@
     
-    /// @custom:selector    0x046f7da2
-    /// @custom:signature   resume() public payable
-    function resume() public payable {
+    /// @custom:selector    0x85263608
+    /// @custom:signature   Unresolved_85263608() public payable
+    function Unresolved_85263608() public payable {
+        require(!store_i);
+        require(0 == 0x01);
         require(msg.value);
         require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
-        require(!(0 == msg.sender), "Only callable by the deployer");
+        require(!(0 == msg.sender), "Only callable by the deployeq");
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x1d;
-        var_d = 0x4f6e6c792063616c6c61626c6520627920746865206465706c6f796572000000;
-        unresolved_308657d7 = uint248(unresolved_308657d7);
+        var_d = this.code[12877:12877];
+        uint256 var_e = 0xa4d5 + (var_f ^ 0x4f6e6c792063616c6c61626c6520627920746865206465706c6f796571ff49f3);
+        store_d = uint248(store_d);
     }

─── Function requestCancellation (0x81972d00 → 0xf08446a6) ───
@@ -1,13 +1,16 @@
     
-    /// @custom:selector    0x81972d00
-    /// @custom:signature   requestCancellation() public payable
-    function requestCancellation() public payable {
+    /// @custom:selector    0xf08446a6
+    /// @custom:signature   Unresolved_f08446a6() public payable
+    function Unresolved_f08446a6() public payable {
+        require(!store_p);
+        require(0 == 0x01);
         require(msg.value);
         require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
-        require(!(0 == msg.sender), "Only callable by the deployer");
+        require(!(0 == msg.sender), "Only callable by the deployeq");
         var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
         var_b = 0x20;
         var_c = 0x1d;
-        var_d = 0x4f6e6c792063616c6c61626c6520627920746865206465706c6f796572000000;
-        unresolved_308657d7 = 0x01 | (uint248(unresolved_308657d7));
+        var_d = this.code[12877:12877];
+        uint256 var_e = 0xa4d5 + (var_f ^ 0x4f6e6c792063616c6c61626c6520627920746865206465706c6f796571ff49f3);
+        store_d = 0x01 | (uint248(store_d));
     }

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

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

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

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

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

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

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

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

Commit c6cb760

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

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@g4titanx