diff --git a/flake.lock b/flake.lock
index e901c8abb..07711f9c4 100644
--- a/flake.lock
+++ b/flake.lock
@@ -49,23 +49,6 @@
         "type": "github"
       }
     },
-    "ate-pairing_2": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1499347915,
-        "narHash": "sha256-IMfWgKkkX7UcUaOPtGRcYD8MdVEP5Z9JOOSJ4+P07G8=",
-        "owner": "herumi",
-        "repo": "ate-pairing",
-        "rev": "e69890125746cdaf25b5b51227d96678f76479fe",
-        "type": "github"
-      },
-      "original": {
-        "owner": "herumi",
-        "repo": "ate-pairing",
-        "rev": "e69890125746cdaf25b5b51227d96678f76479fe",
-        "type": "github"
-      }
-    },
     "blockchain-k-plugin": {
       "inputs": {
         "ate-pairing": "ate-pairing",
@@ -100,35 +83,8 @@
         "type": "github"
       }
     },
-    "blockchain-k-plugin_2": {
-      "inputs": {
-        "ate-pairing": "ate-pairing_2",
-        "cpp-httplib": "cpp-httplib_2",
-        "cryptopp": "cryptopp_2",
-        "flake-utils": "flake-utils_3",
-        "libff": "libff_2",
-        "nixpkgs": "nixpkgs_3",
-        "secp256k1": "secp256k1_2",
-        "xbyak": "xbyak_2"
-      },
-      "locked": {
-        "lastModified": 1689159696,
-        "narHash": "sha256-dGICJl8YAWXjpjeY1rcRMLyWka3kMZmW74B6q3gvrhQ=",
-        "owner": "runtimeverification",
-        "repo": "blockchain-k-plugin",
-        "rev": "da834be67f6c0aff11140ddfc0b04561494c14b8",
-        "type": "github"
-      },
-      "original": {
-        "owner": "runtimeverification",
-        "repo": "blockchain-k-plugin",
-        "rev": "da834be67f6c0aff11140ddfc0b04561494c14b8",
-        "type": "github"
-      }
-    },
     "booster-backend": {
       "inputs": {
-        "blockchain-k-plugin": "blockchain-k-plugin_2",
         "flake-compat": "flake-compat",
         "haskell-backend": "haskell-backend",
         "haskell-nix": [
@@ -138,10 +94,6 @@
           "haskell-backend",
           "haskell-nix"
         ],
-        "k-framework": [
-          "kevm",
-          "k-framework"
-        ],
         "nixpkgs": [
           "kevm",
           "k-framework",
@@ -150,17 +102,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1692197621,
-        "narHash": "sha256-xSA8uNZKvUZL5U9pAwUUSKBizTX4g/aDy/xtfyaqlMc=",
+        "lastModified": 1693573175,
+        "narHash": "sha256-G6lV2a+oO3SJfvO+kKzcXeFQNXbhvF1T5SiZ9g3XME8=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "37cb498134a89071098c1b650771659f8abeb19e",
+        "rev": "c2b639109b5c84c3f2c8abf9a826e50ab9525314",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "37cb498134a89071098c1b650771659f8abeb19e",
+        "rev": "c2b639109b5c84c3f2c8abf9a826e50ab9525314",
         "type": "github"
       }
     },
@@ -315,23 +267,6 @@
         "type": "github"
       }
     },
-    "cpp-httplib_2": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1595279716,
-        "narHash": "sha256-cZW/iEwlaB4UQ0OQLNqboY9addncIM/OsxxPzqmATmE=",
-        "owner": "yhirose",
-        "repo": "cpp-httplib",
-        "rev": "72ce293fed9f9335e92c95ab7d085feed18c0ee8",
-        "type": "github"
-      },
-      "original": {
-        "owner": "yhirose",
-        "repo": "cpp-httplib",
-        "rev": "72ce293fed9f9335e92c95ab7d085feed18c0ee8",
-        "type": "github"
-      }
-    },
     "cryptopp": {
       "flake": false,
       "locked": {
@@ -349,23 +284,6 @@
         "type": "github"
       }
     },
-    "cryptopp_2": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1632484127,
-        "narHash": "sha256-a3TYaK34WvKEXN7LKAfGwQ3ZL6a3k/zMZyyVfnkQqO4=",
-        "owner": "weidai11",
-        "repo": "cryptopp",
-        "rev": "69bf6b53052b59ccb57ce068ce741988ae087317",
-        "type": "github"
-      },
-      "original": {
-        "owner": "weidai11",
-        "repo": "cryptopp",
-        "rev": "69bf6b53052b59ccb57ce068ce741988ae087317",
-        "type": "github"
-      }
-    },
     "ethereum-legacytests": {
       "flake": false,
       "locked": {
@@ -529,24 +447,6 @@
       }
     },
     "flake-utils_3": {
-      "inputs": {
-        "systems": "systems"
-      },
-      "locked": {
-        "lastModified": 1689068808,
-        "narHash": "sha256-6ixXo3wt24N/melDWjq70UuHQLxGV8jZvooRanIHXw0=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "919d646de7be200f3bf08cb76ae1f09402b6f9b4",
-        "type": "github"
-      },
-      "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "type": "github"
-      }
-    },
-    "flake-utils_4": {
       "locked": {
         "lastModified": 1679360468,
         "narHash": "sha256-LGnza3cfXF10Biw3ZTg0u9o9t7s680Ww200t5KkHTh8=",
@@ -562,9 +462,9 @@
         "type": "github"
       }
     },
-    "flake-utils_5": {
+    "flake-utils_4": {
       "inputs": {
-        "systems": "systems_2"
+        "systems": "systems"
       },
       "locked": {
         "lastModified": 1692799911,
@@ -580,7 +480,7 @@
         "type": "github"
       }
     },
-    "flake-utils_6": {
+    "flake-utils_5": {
       "locked": {
         "lastModified": 1679360468,
         "narHash": "sha256-LGnza3cfXF10Biw3ZTg0u9o9t7s680Ww200t5KkHTh8=",
@@ -596,9 +496,9 @@
         "type": "github"
       }
     },
-    "flake-utils_7": {
+    "flake-utils_6": {
       "inputs": {
-        "systems": "systems_4"
+        "systems": "systems_3"
       },
       "locked": {
         "lastModified": 1689068808,
@@ -614,7 +514,7 @@
         "type": "github"
       }
     },
-    "flake-utils_8": {
+    "flake-utils_7": {
       "locked": {
         "lastModified": 1676283394,
         "narHash": "sha256-XX2f9c3iySLCw54rJ/CZs+ZK6IQy7GXNY4nSOyu2QG4=",
@@ -629,7 +529,7 @@
         "type": "github"
       }
     },
-    "flake-utils_9": {
+    "flake-utils_8": {
       "locked": {
         "lastModified": 1676283394,
         "narHash": "sha256-XX2f9c3iySLCw54rJ/CZs+ZK6IQy7GXNY4nSOyu2QG4=",
@@ -738,11 +638,11 @@
     "hackage": {
       "flake": false,
       "locked": {
-        "lastModified": 1687998569,
-        "narHash": "sha256-VfTZVu2JV5z8KgPV++JAwn51gug02PDnTSnVrmt2YL8=",
+        "lastModified": 1691972564,
+        "narHash": "sha256-KrCj/gH4aQx3kYgfmq+E9qgcP/rspo5A+YiSBpqmAR8=",
         "owner": "input-output-hk",
         "repo": "hackage.nix",
-        "rev": "2ef1dc1b2cac3fec82df01d8ee3fb3dd0a33815a",
+        "rev": "7949053c10f5d7ae40564b57d0464bbfbd223e7d",
         "type": "github"
       },
       "original": {
@@ -754,11 +654,11 @@
     "hackage_2": {
       "flake": false,
       "locked": {
-        "lastModified": 1687998569,
-        "narHash": "sha256-VfTZVu2JV5z8KgPV++JAwn51gug02PDnTSnVrmt2YL8=",
+        "lastModified": 1690935861,
+        "narHash": "sha256-CxYnaxQudPKOoSPOtpQ9ZVogjDWz3B+ZgL4YumEBY9g=",
         "owner": "input-output-hk",
         "repo": "hackage.nix",
-        "rev": "2ef1dc1b2cac3fec82df01d8ee3fb3dd0a33815a",
+        "rev": "4e6c3592ff197354762f3272515245ca862608ca",
         "type": "github"
       },
       "original": {
@@ -782,17 +682,17 @@
         "z3-src": "z3-src"
       },
       "locked": {
-        "lastModified": 1690901851,
-        "narHash": "sha256-+XzzAYvZCqxrErpLXc+AUklk4gl6vBrBUgtR5/+bheU=",
+        "lastModified": 1692867782,
+        "narHash": "sha256-qPqg7hpCvRWOrG8k7jwbbTqThb0NFWQHZhZSeEqYI/g=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "3cfcc04ac3d0db7dd37487ed901700ed0f6f6450",
+        "rev": "1da6c43b8bb74a231b58978b1964a45d7ca753e4",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "3cfcc04ac3d0db7dd37487ed901700ed0f6f6450",
+        "rev": "1da6c43b8bb74a231b58978b1964a45d7ca753e4",
         "type": "github"
       }
     },
@@ -810,17 +710,17 @@
         "z3-src": "z3-src_2"
       },
       "locked": {
-        "lastModified": 1690901851,
-        "narHash": "sha256-+XzzAYvZCqxrErpLXc+AUklk4gl6vBrBUgtR5/+bheU=",
+        "lastModified": 1692867782,
+        "narHash": "sha256-qPqg7hpCvRWOrG8k7jwbbTqThb0NFWQHZhZSeEqYI/g=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "3cfcc04ac3d0db7dd37487ed901700ed0f6f6450",
+        "rev": "1da6c43b8bb74a231b58978b1964a45d7ca753e4",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "3cfcc04ac3d0db7dd37487ed901700ed0f6f6450",
+        "rev": "1da6c43b8bb74a231b58978b1964a45d7ca753e4",
         "type": "github"
       }
     },
@@ -832,7 +732,7 @@
         "cabal-36": "cabal-36",
         "cardano-shell": "cardano-shell",
         "flake-compat": "flake-compat_3",
-        "flake-utils": "flake-utils_4",
+        "flake-utils": "flake-utils_3",
         "ghc-8.6.5-iohk": "ghc-8.6.5-iohk",
         "hackage": "hackage",
         "hls-1.10": "hls-1.10",
@@ -859,11 +759,11 @@
         "stackage": "stackage"
       },
       "locked": {
-        "lastModified": 1687999883,
-        "narHash": "sha256-4PxsyJekURUD/cZ7q0OAxfA6ZOoiton+6G1vgo9u+98=",
+        "lastModified": 1691974241,
+        "narHash": "sha256-SpeS/lPy5pxCszTQyGf8WozKEWIA4xGrHFtr/TguZjU=",
         "owner": "input-output-hk",
         "repo": "haskell.nix",
-        "rev": "b113a4a63c54f34d49d9f5d48ba6bbd65300bfa3",
+        "rev": "71f026dc5e42931c7d517ee30e79292670c3ac34",
         "type": "github"
       },
       "original": {
@@ -880,7 +780,7 @@
         "cabal-36": "cabal-36_2",
         "cardano-shell": "cardano-shell_2",
         "flake-compat": "flake-compat_6",
-        "flake-utils": "flake-utils_6",
+        "flake-utils": "flake-utils_5",
         "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_2",
         "hackage": "hackage_2",
         "hls-1.10": "hls-1.10_2",
@@ -906,11 +806,11 @@
         "stackage": "stackage_2"
       },
       "locked": {
-        "lastModified": 1687999883,
-        "narHash": "sha256-4PxsyJekURUD/cZ7q0OAxfA6ZOoiton+6G1vgo9u+98=",
+        "lastModified": 1690937149,
+        "narHash": "sha256-XInxxsmuJmw1HraaETdalh0qAzlQSdjaWw5NdIp++0k=",
         "owner": "input-output-hk",
         "repo": "haskell.nix",
-        "rev": "b113a4a63c54f34d49d9f5d48ba6bbd65300bfa3",
+        "rev": "61d2d278aa765ffc70cf259f3290620a63dde0ca",
         "type": "github"
       },
       "original": {
@@ -956,16 +856,16 @@
     "hls-2.0": {
       "flake": false,
       "locked": {
-        "lastModified": 1684398654,
-        "narHash": "sha256-RW44up2BIyBBYN6tZur5f9kDDR3kr0Rd+TgPbLTfwB4=",
+        "lastModified": 1687698105,
+        "narHash": "sha256-OHXlgRzs/kuJH8q7Sxh507H+0Rb8b7VOiPAjcY9sM1k=",
         "owner": "haskell",
         "repo": "haskell-language-server",
-        "rev": "20c6d1e731cd9c0beef7338e2fc7a8126ba9b6fb",
+        "rev": "783905f211ac63edf982dd1889c671653327e441",
         "type": "github"
       },
       "original": {
         "owner": "haskell",
-        "ref": "2.0.0.0",
+        "ref": "2.0.0.1",
         "repo": "haskell-language-server",
         "type": "github"
       }
@@ -973,16 +873,16 @@
     "hls-2.0_2": {
       "flake": false,
       "locked": {
-        "lastModified": 1684398654,
-        "narHash": "sha256-RW44up2BIyBBYN6tZur5f9kDDR3kr0Rd+TgPbLTfwB4=",
+        "lastModified": 1687698105,
+        "narHash": "sha256-OHXlgRzs/kuJH8q7Sxh507H+0Rb8b7VOiPAjcY9sM1k=",
         "owner": "haskell",
         "repo": "haskell-language-server",
-        "rev": "20c6d1e731cd9c0beef7338e2fc7a8126ba9b6fb",
+        "rev": "783905f211ac63edf982dd1889c671653327e441",
         "type": "github"
       },
       "original": {
         "owner": "haskell",
-        "ref": "2.0.0.0",
+        "ref": "2.0.0.1",
         "repo": "haskell-language-server",
         "type": "github"
       }
@@ -1092,11 +992,11 @@
     "iserv-proxy": {
       "flake": false,
       "locked": {
-        "lastModified": 1670983692,
-        "narHash": "sha256-avLo34JnI9HNyOuauK5R69usJm+GfW3MlyGlYxZhTgY=",
+        "lastModified": 1688517130,
+        "narHash": "sha256-hUqfxSlo+ffqVdkSZ1EDoB7/ILCL25eYkcCXW9/P3Wc=",
         "ref": "hkm/remote-iserv",
-        "rev": "50d0abb3317ac439a4e7495b185a64af9b7b9300",
-        "revCount": 10,
+        "rev": "9151db2a9a61d7f5fe52ff8836f18bbd0fd8933c",
+        "revCount": 13,
         "type": "git",
         "url": "https://gitlab.haskell.org/hamishmack/iserv-proxy.git"
       },
@@ -1109,11 +1009,11 @@
     "iserv-proxy_2": {
       "flake": false,
       "locked": {
-        "lastModified": 1670983692,
-        "narHash": "sha256-avLo34JnI9HNyOuauK5R69usJm+GfW3MlyGlYxZhTgY=",
+        "lastModified": 1688517130,
+        "narHash": "sha256-hUqfxSlo+ffqVdkSZ1EDoB7/ILCL25eYkcCXW9/P3Wc=",
         "ref": "hkm/remote-iserv",
-        "rev": "50d0abb3317ac439a4e7495b185a64af9b7b9300",
-        "revCount": 10,
+        "rev": "9151db2a9a61d7f5fe52ff8836f18bbd0fd8933c",
+        "revCount": 13,
         "type": "git",
         "url": "https://gitlab.haskell.org/hamishmack/iserv-proxy.git"
       },
@@ -1127,7 +1027,7 @@
       "inputs": {
         "booster-backend": "booster-backend",
         "flake-compat": "flake-compat_4",
-        "flake-utils": "flake-utils_5",
+        "flake-utils": "flake-utils_4",
         "haskell-backend": "haskell-backend_2",
         "llvm-backend": "llvm-backend",
         "mavenix": "mavenix_2",
@@ -1138,16 +1038,16 @@
         "rv-utils": "rv-utils"
       },
       "locked": {
-        "lastModified": 1692817190,
-        "narHash": "sha256-rwMLR1F4U+m6XbxO3KQ2Y1EUqQC0EtOBCBnHmO7CvKE=",
+        "lastModified": 1693947872,
+        "narHash": "sha256-pKiHZz+koADXQ3MdfzE39ADKSVnUIvmVbfkyZqNmXGQ=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "645ffc4d6e3c34de3d85574a93604c9507af222e",
+        "rev": "3997d65c227fde4e67cedfca83a8a2d2436229e6",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v6.0.69",
+        "ref": "v6.0.87",
         "repo": "k",
         "type": "github"
       }
@@ -1169,7 +1069,7 @@
           "haskell-backend"
         ],
         "k-framework": "k-framework",
-        "nixpkgs": "nixpkgs_8",
+        "nixpkgs": "nixpkgs_7",
         "poetry2nix": [
           "kevm",
           "pyk",
@@ -1180,16 +1080,16 @@
         "solc": "solc"
       },
       "locked": {
-        "lastModified": 1695157347,
-        "narHash": "sha256-NiuvWBhgK/CX/NG5N1tnmOnCzO2qeKFrr+hbKISVXxE=",
+        "lastModified": 1695202939,
+        "narHash": "sha256-wD+2/S9v53S9NQ0zmq8T+5x+7PeNr14rjcr7sfpy/Ik=",
         "owner": "runtimeverification",
         "repo": "evm-semantics",
-        "rev": "051c16cafe11aa7afedbfe5028d4bbf4ad2732b7",
+        "rev": "a9231d467aacbdf987a0d2304bf7361c8d135e05",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v1.0.296",
+        "ref": "v1.0.297",
         "repo": "evm-semantics",
         "type": "github"
       }
@@ -1211,23 +1111,6 @@
         "type": "github"
       }
     },
-    "libff_2": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1588032522,
-        "narHash": "sha256-I0kH2XLvHDSrdL/o4i6XozWQJV0UDv9zH6+sWS0UQHg=",
-        "owner": "scipr-lab",
-        "repo": "libff",
-        "rev": "5835b8c59d4029249645cf551f417608c48f2770",
-        "type": "github"
-      },
-      "original": {
-        "owner": "scipr-lab",
-        "repo": "libff",
-        "rev": "5835b8c59d4029249645cf551f417608c48f2770",
-        "type": "github"
-      }
-    },
     "llvm-backend": {
       "inputs": {
         "fmt-src": "fmt-src",
@@ -1244,11 +1127,11 @@
         "utils": "utils_2"
       },
       "locked": {
-        "lastModified": 1692815027,
-        "narHash": "sha256-oydxYW0oLxlmEsohMWg0IEryob9R1VCLmpbMRwKhdIg=",
+        "lastModified": 1692976793,
+        "narHash": "sha256-ytl8wuFYYx9NAaIBLjil/UgZcK9fBgXDspDE1y+gNHM=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "2cd7199d67842439504e26776efab88f719e6e41",
+        "rev": "f3e29231a9a8bc4373fbbc74866f96df454cbc7e",
         "type": "github"
       },
       "original": {
@@ -1291,7 +1174,7 @@
     },
     "mavenix": {
       "inputs": {
-        "nixpkgs": "nixpkgs_6",
+        "nixpkgs": "nixpkgs_5",
         "utils": "utils"
       },
       "locked": {
@@ -1310,7 +1193,7 @@
     },
     "mavenix_2": {
       "inputs": {
-        "nixpkgs": "nixpkgs_7",
+        "nixpkgs": "nixpkgs_6",
         "utils": "utils_3"
       },
       "locked": {
@@ -1330,7 +1213,7 @@
     "nix": {
       "inputs": {
         "lowdown-src": "lowdown-src",
-        "nixpkgs": "nixpkgs_4",
+        "nixpkgs": "nixpkgs_3",
         "nixpkgs-regression": "nixpkgs-regression"
       },
       "locked": {
@@ -1374,7 +1257,7 @@
     "nix_2": {
       "inputs": {
         "lowdown-src": "lowdown-src_2",
-        "nixpkgs": "nixpkgs_5",
+        "nixpkgs": "nixpkgs_4",
         "nixpkgs-regression": "nixpkgs-regression_2"
       },
       "locked": {
@@ -1504,11 +1387,11 @@
     },
     "nixpkgs-2205": {
       "locked": {
-        "lastModified": 1682600000,
-        "narHash": "sha256-ha4BehR1dh8EnXSoE1m/wyyYVvHI9txjW4w5/oxsW5Y=",
+        "lastModified": 1685573264,
+        "narHash": "sha256-Zffu01pONhs/pqH07cjlF10NnMDLok8ix5Uk4rhOnZQ=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "50fc86b75d2744e1ab3837ef74b53f103a9b55a0",
+        "rev": "380be19fbd2d9079f677978361792cb25e8a3635",
         "type": "github"
       },
       "original": {
@@ -1536,11 +1419,11 @@
     },
     "nixpkgs-2211": {
       "locked": {
-        "lastModified": 1685314633,
-        "narHash": "sha256-8LXBPqTQXl5ofkjpJ18JcbmLJ/lWDoMxtUwiDYv0wro=",
+        "lastModified": 1688392541,
+        "narHash": "sha256-lHrKvEkCPTUO+7tPfjIcb7Trk6k31rz18vkyqmkeJfY=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "c8a17ce7abc03c50cd072e9e6c9b389c5f61836b",
+        "rev": "ea4c80b39be4c09702b0cb3b42eab59e2ba4f24b",
         "type": "github"
       },
       "original": {
@@ -1568,11 +1451,11 @@
     },
     "nixpkgs-2305": {
       "locked": {
-        "lastModified": 1685338297,
-        "narHash": "sha256-+Aq4O0Jn1W1q927ZHc3Zn6RO7bwQGmb6O8xYoGy0KrM=",
+        "lastModified": 1690680713,
+        "narHash": "sha256-NXCWA8N+GfSQyoN7ZNiOgq/nDJKOp5/BHEpiZP8sUZw=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "6287b47dbfabbb8bfbb9b1b53d198ad58a774de4",
+        "rev": "b81af66deb21f73a70c67e5ea189568af53b1e8c",
         "type": "github"
       },
       "original": {
@@ -1632,11 +1515,11 @@
     },
     "nixpkgs-unstable": {
       "locked": {
-        "lastModified": 1685347552,
-        "narHash": "sha256-9woSppRyUFo26yUffORTzttJ+apOt8MmCv6RxpPNTU4=",
+        "lastModified": 1690720142,
+        "narHash": "sha256-GywuiZjBKfFkntQwpNQfL+Ksa2iGjPprBGL0/psgRZM=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "f2f1ec390714d303cf84ba086e34e45b450dd8c4",
+        "rev": "3acb5c4264c490e7714d503c7166a3fde0c51324",
         "type": "github"
       },
       "original": {
@@ -1677,21 +1560,6 @@
       }
     },
     "nixpkgs_3": {
-      "locked": {
-        "lastModified": 1659446231,
-        "narHash": "sha256-hekabNdTdgR/iLsgce5TGWmfIDZ86qjPhxDg/8TlzhE=",
-        "owner": "NixOS",
-        "repo": "nixpkgs",
-        "rev": "eabc38219184cc3e04a974fe31857d8e0eac098d",
-        "type": "github"
-      },
-      "original": {
-        "id": "nixpkgs",
-        "ref": "nixos-21.11",
-        "type": "indirect"
-      }
-    },
-    "nixpkgs_4": {
       "locked": {
         "lastModified": 1657693803,
         "narHash": "sha256-G++2CJ9u0E7NNTAi9n5G8TdDmGJXcIjkJ3NF8cetQB8=",
@@ -1707,7 +1575,7 @@
         "type": "github"
       }
     },
-    "nixpkgs_5": {
+    "nixpkgs_4": {
       "locked": {
         "lastModified": 1657693803,
         "narHash": "sha256-G++2CJ9u0E7NNTAi9n5G8TdDmGJXcIjkJ3NF8cetQB8=",
@@ -1723,7 +1591,7 @@
         "type": "github"
       }
     },
-    "nixpkgs_6": {
+    "nixpkgs_5": {
       "locked": {
         "lastModified": 1621552131,
         "narHash": "sha256-AD/AEXv+QOYAg0PIqMYv2nbGOGTIwfOGKtz3rE+y+Tc=",
@@ -1737,7 +1605,7 @@
         "type": "indirect"
       }
     },
-    "nixpkgs_7": {
+    "nixpkgs_6": {
       "locked": {
         "lastModified": 1621552131,
         "narHash": "sha256-AD/AEXv+QOYAg0PIqMYv2nbGOGTIwfOGKtz3rE+y+Tc=",
@@ -1751,7 +1619,7 @@
         "type": "indirect"
       }
     },
-    "nixpkgs_8": {
+    "nixpkgs_7": {
       "locked": {
         "lastModified": 1680577567,
         "narHash": "sha256-Y4W57i0TzczqwMTjfVSbAZT5RJx7u+mpQIW/ofrkTQs=",
@@ -1803,7 +1671,7 @@
     },
     "poetry2nix": {
       "inputs": {
-        "flake-utils": "flake-utils_7",
+        "flake-utils": "flake-utils_6",
         "nix-github-actions": "nix-github-actions",
         "nixpkgs": [
           "kevm",
@@ -1858,16 +1726,16 @@
         "poetry2nix": "poetry2nix"
       },
       "locked": {
-        "lastModified": 1694024920,
-        "narHash": "sha256-3cThYtiNemeZXHHLPN07v+cY3pN2jmnTMi4EVxHoYhc=",
+        "lastModified": 1695114282,
+        "narHash": "sha256-B2xZMDk0mZVntA/jY276vt58NYe7trhZAFT2kg3q3jE=",
         "owner": "runtimeverification",
         "repo": "pyk",
-        "rev": "e16401475cf16636e48cbd4e41b9fc85d2b614ef",
+        "rev": "89b7f4bd0f8a9d8ec8755d9a48cca57c5c709107",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.434",
+        "ref": "v0.1.446",
         "repo": "pyk",
         "type": "github"
       }
@@ -1979,26 +1847,9 @@
         "type": "github"
       }
     },
-    "secp256k1_2": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1502408521,
-        "narHash": "sha256-PyqNZGER9VypH35S/aU4EBeepieI3BGXrYsJ141os24=",
-        "owner": "bitcoin-core",
-        "repo": "secp256k1",
-        "rev": "f532bdc9f77f7bbf7e93faabfbe9c483f0a9f75f",
-        "type": "github"
-      },
-      "original": {
-        "owner": "bitcoin-core",
-        "repo": "secp256k1",
-        "rev": "f532bdc9f77f7bbf7e93faabfbe9c483f0a9f75f",
-        "type": "github"
-      }
-    },
     "solc": {
       "inputs": {
-        "flake-utils": "flake-utils_8",
+        "flake-utils": "flake-utils_7",
         "nixpkgs": [
           "kevm",
           "nixpkgs"
@@ -2020,7 +1871,7 @@
     },
     "solc_2": {
       "inputs": {
-        "flake-utils": "flake-utils_9",
+        "flake-utils": "flake-utils_8",
         "nixpkgs": [
           "nixpkgs"
         ]
@@ -2042,11 +1893,11 @@
     "stackage": {
       "flake": false,
       "locked": {
-        "lastModified": 1687911052,
-        "narHash": "sha256-iWrKX6JfcN1+uUQimaFXzvLwj3tLMvWTwf0zqflCf1s=",
+        "lastModified": 1691971763,
+        "narHash": "sha256-P98EuYKYhKLRTwHQTW7vvpNtHxEDwc7T5EUEMgoWH14=",
         "owner": "input-output-hk",
         "repo": "stackage.nix",
-        "rev": "8e758d849bd7cf8c423d9f9308a9c1b5f56c286c",
+        "rev": "4f3ebb68981d7bec84f010a950a85bd360d7b3af",
         "type": "github"
       },
       "original": {
@@ -2058,11 +1909,11 @@
     "stackage_2": {
       "flake": false,
       "locked": {
-        "lastModified": 1687911052,
-        "narHash": "sha256-iWrKX6JfcN1+uUQimaFXzvLwj3tLMvWTwf0zqflCf1s=",
+        "lastModified": 1690934965,
+        "narHash": "sha256-0uPK61CXFgsr074NALEtHScOhCM6kxsRFlixeZ8lonI=",
         "owner": "input-output-hk",
         "repo": "stackage.nix",
-        "rev": "8e758d849bd7cf8c423d9f9308a9c1b5f56c286c",
+        "rev": "182ad27462c196cfd8fd93998ba67d1ae8d5df4e",
         "type": "github"
       },
       "original": {
@@ -2116,21 +1967,6 @@
         "type": "github"
       }
     },
-    "systems_4": {
-      "locked": {
-        "lastModified": 1681028828,
-        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
-        "owner": "nix-systems",
-        "repo": "default",
-        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
-        "type": "github"
-      },
-      "original": {
-        "owner": "nix-systems",
-        "repo": "default",
-        "type": "github"
-      }
-    },
     "utils": {
       "locked": {
         "lastModified": 1620759905,
@@ -2148,7 +1984,7 @@
     },
     "utils_2": {
       "inputs": {
-        "systems": "systems_3"
+        "systems": "systems_2"
       },
       "locked": {
         "lastModified": 1681202837,
@@ -2196,23 +2032,6 @@
         "type": "github"
       }
     },
-    "xbyak_2": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1518572786,
-        "narHash": "sha256-jqDSNDcqK7010ig941hrJFkv1X7MbgXmhPOOE9wHmho=",
-        "owner": "herumi",
-        "repo": "xbyak",
-        "rev": "f0a8f7faa27121f28186c2a7f4222a9fc66c283d",
-        "type": "github"
-      },
-      "original": {
-        "owner": "herumi",
-        "repo": "xbyak",
-        "rev": "f0a8f7faa27121f28186c2a7f4222a9fc66c283d",
-        "type": "github"
-      }
-    },
     "z3-src": {
       "flake": false,
       "locked": {
diff --git a/flake.nix b/flake.nix
index 4f6adc5bc..0daf25eb8 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "Kontrol";
 
   inputs = {
-    kevm.url = "github:runtimeverification/evm-semantics/v1.0.296";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.297";
     nixpkgs.follows = "kevm/nixpkgs";
     k-framework.follows = "kevm/k-framework";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";