diff --git a/Cargo.lock b/Cargo.lock
index 520bdf1e..0b1abecd 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -734,9 +734,9 @@ dependencies = [
 
 [[package]]
 name = "hax-lib"
-version = "0.3.7"
+version = "0.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "01a33cb227f97ee5c419064c31d7c55a7d895f28d8019ccdadc311cc036500c4"
+checksum = "e14b91f3c959e69795166fb5b61e46c6c41f32e6627443a329618c01fb2798b1"
 dependencies = [
  "hax-lib-macros",
  "num-bigint 0.4.8",
@@ -745,12 +745,11 @@ dependencies = [
 
 [[package]]
 name = "hax-lib-macros"
-version = "0.3.7"
+version = "0.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "28da835a5f153e9f3d0cc1f42ee605a1cfa9093c93348193793d60a1b0908b51"
+checksum = "914ab66e650cd1b2109185e7175e1407754efafda5da5fff854fb7473e376f48"
 dependencies = [
  "hax-lib-macros-types",
- "proc-macro-error2",
  "proc-macro2",
  "quote",
  "syn 2.0.119",
@@ -758,9 +757,9 @@ dependencies = [
 
 [[package]]
 name = "hax-lib-macros-types"
-version = "0.3.7"
+version = "0.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "eed327e9a28d6ee018a4a9ba842d4ee27e378c8a591d2beb6f42f32b24a02fcb"
+checksum = "4eb1a610adbc947efc77adb73875320fef6f5f134ea88dcef5fdd02d62294159"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -2430,24 +2429,6 @@ dependencies = [
  "zerocopy",
 ]
 
-[[package]]
-name = "proc-macro-error-attr2"
-version = "2.0.0"
-dependencies = [
- "proc-macro2",
- "quote",
-]
-
-[[package]]
-name = "proc-macro-error2"
-version = "2.0.1"
-dependencies = [
- "proc-macro-error-attr2",
- "proc-macro2",
- "quote",
- "syn 2.0.119",
-]
-
 [[package]]
 name = "proc-macro2"
 version = "1.0.107"
@@ -3257,3 +3238,7 @@ name = "zmij"
 version = "1.0.23"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "29666d0abbfad1e3dc4dcf6144730dd3a3ab225bbbdac83319345b1b44ccfc1b"
+
+[[patch.unused]]
+name = "proc-macro-error2"
+version = "2.0.1"
diff --git a/Cargo.toml b/Cargo.toml
index cbe95bd0..7fa870fd 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -117,7 +117,7 @@ categories = ["cryptography", "wasm"]
 
 [workspace.dependencies]
 # Misc
-hax-lib = "0.3.7"
+hax-lib = "0.4.0"
 blobby = "0.4.0"
 # WASM
 wasm-bindgen = "0.2.127"