diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
index ffe2cde4..6e239914 100644
--- a/deps/blockchain-k-plugin_release
+++ b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-f8a93660317c377fc7a16b3d49b0518892354a28
+415b8ce8fa594f41ce3a3f29fc83e954284f81cf
diff --git a/flake.lock b/flake.lock
index 22e574b1..e5a050e4 100644
--- a/flake.lock
+++ b/flake.lock
@@ -45,17 +45,17 @@
         "xbyak": "xbyak"
       },
       "locked": {
-        "lastModified": 1722014632,
-        "narHash": "sha256-/oOXPQPb877r6lgpLN3kD7xQJZ7xU8hHKteIG2qlq7I=",
+        "lastModified": 1722278516,
+        "narHash": "sha256-0lYbe95wN102wbsPKCqxIVOQmVbzQGdEf38QaOTTX1Q=",
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "f8a93660317c377fc7a16b3d49b0518892354a28",
+        "rev": "415b8ce8fa594f41ce3a3f29fc83e954284f81cf",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "f8a93660317c377fc7a16b3d49b0518892354a28",
+        "rev": "415b8ce8fa594f41ce3a3f29fc83e954284f81cf",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index 274f86ba..12fa7741 100644
--- a/flake.nix
+++ b/flake.nix
@@ -12,7 +12,7 @@
     poetry2nix.follows = "pyk/poetry2nix";
     blockchain-k-plugin = {
       url =
-        "github:runtimeverification/blockchain-k-plugin/f8a93660317c377fc7a16b3d49b0518892354a28";
+        "github:runtimeverification/blockchain-k-plugin/415b8ce8fa594f41ce3a3f29fc83e954284f81cf";
       inputs.flake-utils.follows = "k-framework/flake-utils";
       inputs.nixpkgs.follows = "k-framework/nixpkgs";
     };
diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock
index dd645a10..0a74b402 100644
--- a/kmultiversx/poetry.lock
+++ b/kmultiversx/poetry.lock
@@ -494,13 +494,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve
 
 [[package]]
 name = "hypothesis"
-version = "6.108.4"
+version = "6.108.5"
 description = "A library for property-based testing"
 optional = false
 python-versions = ">=3.8"
 files = [
-    {file = "hypothesis-6.108.4-py3-none-any.whl", hash = "sha256:901b1883b51207c4c3ecbae506bc8b65d66569f9bc34e023df7d8a821eb495c1"},
-    {file = "hypothesis-6.108.4.tar.gz", hash = "sha256:bab99a308ea39be53882f1d89ab77db48e0c03b5c37fbedd2f59f9b656ada301"},
+    {file = "hypothesis-6.108.5-py3-none-any.whl", hash = "sha256:46fd0f0d022e812940e19ef24ed0b090cc17cf505e0998960aca20c5091425f5"},
+    {file = "hypothesis-6.108.5.tar.gz", hash = "sha256:a009d777542d64691a3d27c87e4b94b2256c0bfb47791100d9e45499c304e1b9"},
 ]
 
 [package.dependencies]
@@ -1116,13 +1116,13 @@ testing = ["filelock"]
 
 [[package]]
 name = "pyupgrade"
-version = "3.16.0"
+version = "3.17.0"
 description = "A tool to automatically upgrade syntax for newer versions."
 optional = false
-python-versions = ">=3.8.1"
+python-versions = ">=3.9"
 files = [
-    {file = "pyupgrade-3.16.0-py2.py3-none-any.whl", hash = "sha256:7a54ee28f3024d027048d49d101e5c702e88c85edc3a1d08b636c50ebef2a97d"},
-    {file = "pyupgrade-3.16.0.tar.gz", hash = "sha256:237893a05d5b117259b31b423f23cbae4bce0b7eae57ba9a52c06098c2ddd76f"},
+    {file = "pyupgrade-3.17.0-py2.py3-none-any.whl", hash = "sha256:cbc8f67a61d3f4e7ca9c2ef57b9aae67f023d3780ce30c99fccec78401723754"},
+    {file = "pyupgrade-3.17.0.tar.gz", hash = "sha256:d5dd1dcaf9a016c31508bb9d3d09fd335d736578092f91df52bb26ac30c37919"},
 ]
 
 [package.dependencies]
@@ -1148,13 +1148,13 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"]
 
 [[package]]
 name = "setuptools"
-version = "71.1.0"
+version = "72.1.0"
 description = "Easily download, build, install, upgrade, and uninstall Python packages"
 optional = false
 python-versions = ">=3.8"
 files = [
-    {file = "setuptools-71.1.0-py3-none-any.whl", hash = "sha256:33874fdc59b3188304b2e7c80d9029097ea31627180896fb549c578ceb8a0855"},
-    {file = "setuptools-71.1.0.tar.gz", hash = "sha256:032d42ee9fb536e33087fb66cac5f840eb9391ed05637b3f2a76a7c8fb477936"},
+    {file = "setuptools-72.1.0-py3-none-any.whl", hash = "sha256:5a03e1860cf56bb6ef48ce186b0e557fdba433237481a9a625176c2831be15d1"},
+    {file = "setuptools-72.1.0.tar.gz", hash = "sha256:8d243eff56d095e5817f796ede6ae32941278f542e0f941867cc05ae52b162ec"},
 ]
 
 [package.extras]
diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml
index d5b61e28..9c752f89 100644
--- a/kmultiversx/pyproject.toml
+++ b/kmultiversx/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmultiversx"
-version = "0.1.106"
+version = "0.1.107"
 description = "Python tools for Elrond semantics"
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/kmultiversx/src/kmultiversx/kdist/plugin b/kmultiversx/src/kmultiversx/kdist/plugin
index f8a93660..415b8ce8 160000
--- a/kmultiversx/src/kmultiversx/kdist/plugin
+++ b/kmultiversx/src/kmultiversx/kdist/plugin
@@ -1 +1 @@
-Subproject commit f8a93660317c377fc7a16b3d49b0518892354a28
+Subproject commit 415b8ce8fa594f41ce3a3f29fc83e954284f81cf
diff --git a/package/version b/package/version
index 9e3db2aa..c72cf6b0 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.106
+0.1.107