diff --git a/flake.lock b/flake.lock
index 7544543..cd6e5f5 100644
--- a/flake.lock
+++ b/flake.lock
@@ -96,11 +96,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1787412565,
-        "narHash": "sha256-M1y7JYDUzvOSYv0DWcCCmkL2DqDfQZePsKDrQf/Or6U=",
+        "lastModified": 1790187117,
+        "narHash": "sha256-/OTAjmwL0vZlQ5BDbT94W2X3iuNvr8VYtqtN5Ov1egA=",
         "owner": "argumentcomputer",
         "repo": "lean4-nix",
-        "rev": "1ecad9d6f99cf3255a858861c9a2e6966cdd0290",
+        "rev": "c8bce66594bbf62073d0097ca5ddc44321f2d14e",
         "type": "github"
       },
       "original": {
diff --git a/lean-toolchain b/lean-toolchain
index a8afa7d..12359f9 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.33.1
+leanprover/lean4:v4.34.0
diff --git a/rust/Cargo.lock b/rust/Cargo.lock
index f22a78d..2ed0404 100644
--- a/rust/Cargo.lock
+++ b/rust/Cargo.lock
@@ -26,7 +26,7 @@ checksum = "f2032f911046de80f0a198e0901378627c33f59ea0ac00e363d481118bd70a53"
 [[package]]
 name = "bignat"
 version = "0.1.0"
-source = "git+https://github.com/argumentcomputer/lean-ffi?rev=93c7e52952ae94546be08313f4ff3922984c84d5#93c7e52952ae94546be08313f4ff3922984c84d5"
+source = "git+https://github.com/argumentcomputer/lean-ffi?rev=163a661847d8171a685570ed12b4c03bfa092778#163a661847d8171a685570ed12b4c03bfa092778"
 dependencies = [
  "num-bigint",
 ]
@@ -159,7 +159,7 @@ dependencies = [
 [[package]]
 name = "lean-ffi"
 version = "0.1.0"
-source = "git+https://github.com/argumentcomputer/lean-ffi?rev=93c7e52952ae94546be08313f4ff3922984c84d5#93c7e52952ae94546be08313f4ff3922984c84d5"
+source = "git+https://github.com/argumentcomputer/lean-ffi?rev=163a661847d8171a685570ed12b4c03bfa092778#163a661847d8171a685570ed12b4c03bfa092778"
 dependencies = [
  "bignat",
  "bindgen",
diff --git a/rust/Cargo.toml b/rust/Cargo.toml
index 319c06b..4e0be0e 100644
--- a/rust/Cargo.toml
+++ b/rust/Cargo.toml
@@ -15,7 +15,7 @@ crate-type = ["staticlib"]
 
 [dependencies]
 blake3 = "1.8.7"
-lean-ffi = { git = "https://github.com/argumentcomputer/lean-ffi", rev = "93c7e52952ae94546be08313f4ff3922984c84d5" }
+lean-ffi = { git = "https://github.com/argumentcomputer/lean-ffi", rev = "163a661847d8171a685570ed12b4c03bfa092778" }
 
 [profile.dev]
 panic = "abort"