diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
index 1abd130d4f..d25cbd1485 100644
--- a/deps/blockchain-k-plugin_release
+++ b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-c9264b240c00d1f6cc20e22aac83c94d1a499138
+759ce7f63b19336753206f436e565bc79cf5adc8
diff --git a/flake.lock b/flake.lock
index 18543bd90a..812da17312 100644
--- a/flake.lock
+++ b/flake.lock
@@ -20,6 +20,8 @@
     "blockchain-k-plugin": {
       "inputs": {
         "ate-pairing": "ate-pairing",
+        "blst": "blst",
+        "ckzg4844": "ckzg4844",
         "cpp-httplib": "cpp-httplib",
         "cryptopp": "cryptopp",
         "flake-utils": [
@@ -45,17 +47,51 @@
         "xbyak": "xbyak"
       },
       "locked": {
-        "lastModified": 1730140080,
-        "narHash": "sha256-veQr5Zx0zbg4ZOA2A3C+qrmcZ0zO0kKwzG+O3VhA318=",
+        "lastModified": 1738864080,
+        "narHash": "sha256-/aWIPd+7gt3bIFowE0e15qvwKpW4rcZHmgL8nKvc3o4=",
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "c9264b240c00d1f6cc20e22aac83c94d1a499138",
+        "rev": "759ce7f63b19336753206f436e565bc79cf5adc8",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "c9264b240c00d1f6cc20e22aac83c94d1a499138",
+        "rev": "759ce7f63b19336753206f436e565bc79cf5adc8",
+        "type": "github"
+      }
+    },
+    "blst": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1717085405,
+        "narHash": "sha256-z/xnttMuAOfoKn/yCBwdYbgcd6cDLD6tZxInAWn8XIk=",
+        "owner": "supranational",
+        "repo": "blst",
+        "rev": "e99f7db0db413e2efefcfd077a4e335766f39c27",
+        "type": "github"
+      },
+      "original": {
+        "owner": "supranational",
+        "repo": "blst",
+        "rev": "e99f7db0db413e2efefcfd077a4e335766f39c27",
+        "type": "github"
+      }
+    },
+    "ckzg4844": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1736965374,
+        "narHash": "sha256-uvdL0eUKK1LR4mYl4Url4sxvCpLQGpoYAiD9ZWYeuzY=",
+        "owner": "ethereum",
+        "repo": "c-kzg-4844",
+        "rev": "d1168fc791b910286c7308f7dd99fa566567e942",
+        "type": "github"
+      },
+      "original": {
+        "owner": "ethereum",
+        "repo": "c-kzg-4844",
+        "rev": "d1168fc791b910286c7308f7dd99fa566567e942",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index de0903f893..b18937c875 100644
--- a/flake.nix
+++ b/flake.nix
@@ -9,7 +9,7 @@
     poetry2nix.follows = "k-framework/poetry2nix";
     blockchain-k-plugin = {
       url =
-        "github:runtimeverification/blockchain-k-plugin/c9264b240c00d1f6cc20e22aac83c94d1a499138";
+        "github:runtimeverification/blockchain-k-plugin/759ce7f63b19336753206f436e565bc79cf5adc8";
       inputs.flake-utils.follows = "k-framework/flake-utils";
       inputs.nixpkgs.follows = "k-framework/nixpkgs";
     };
diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
index 58e03fe256..db96b6d778 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -641,14 +641,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve
 
 [[package]]
 name = "hypothesis"
-version = "6.125.1"
+version = "6.125.2"
 description = "A library for property-based testing"
 optional = false
 python-versions = ">=3.9"
 groups = ["main"]
 files = [
-    {file = "hypothesis-6.125.1-py3-none-any.whl", hash = "sha256:cd2541e1e47d13c3437a431621779791e0f683992a5283cf15774b98d5b49641"},
-    {file = "hypothesis-6.125.1.tar.gz", hash = "sha256:247fd85f965b3b3cfe648c10df87e8df7a26643baa3217f210a02e7590b040d5"},
+    {file = "hypothesis-6.125.2-py3-none-any.whl", hash = "sha256:55d4966d521b85d2f77e916dabb00d66d5530ea9fbb89c7489ee810625fac802"},
+    {file = "hypothesis-6.125.2.tar.gz", hash = "sha256:c70f0a12deb688ce90f2765a507070c4bff57e48ac86849f4350bbddc1df41a3"},
 ]
 
 [package.dependencies]
diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin
index c9264b240c..759ce7f63b 160000
--- a/kevm-pyk/src/kevm_pyk/kproj/plugin
+++ b/kevm-pyk/src/kevm_pyk/kproj/plugin
@@ -1 +1 @@
-Subproject commit c9264b240c00d1f6cc20e22aac83c94d1a499138
+Subproject commit 759ce7f63b19336753206f436e565bc79cf5adc8