diff --git a/kavm/poetry.lock b/kavm/poetry.lock
index 9256d37158..3fecfae05d 100644
--- a/kavm/poetry.lock
+++ b/kavm/poetry.lock
@@ -1069,7 +1069,7 @@ plugins = ["importlib-metadata"]
 
 [[package]]
 name = "pyk"
-version = "0.1.420"
+version = "0.1.421"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -1089,8 +1089,8 @@ tomli = "^2.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.420"
-resolved_reference = "a9221f8ee203245fa5222a01dbddda9ffba08935"
+reference = "v0.1.421"
+resolved_reference = "c4157e3b515eedfe560fc9356cd769cfaa9962ea"
 
 [[package]]
 name = "pynacl"
@@ -1445,4 +1445,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "1279b0efd4d9e2e19303e94b13b2b111720dc3e8fb2170f2102b791932664699"
+content-hash = "5f60662c58a1a30918df349bfa4c78ca42d0ee50b7537d7aa95854184e957066"
diff --git a/kavm/pyproject.toml b/kavm/pyproject.toml
index fde6ad9eb8..5f0cf7e30b 100644
--- a/kavm/pyproject.toml
+++ b/kavm/pyproject.toml
@@ -17,7 +17,7 @@ py-algorand-sdk = "1.20.1"
 pyteal = "0.20.1"
 tabulate = "0.8.10"
 types-tabulate = "0.8.10"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.420" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.421" }
 
 [tool.poetry.group.dev.dependencies]
 autoflake = "*"