diff --git a/Cargo.toml b/Cargo.toml
index 3e87e3d..a7880bb 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -27,7 +27,7 @@ libcrux-ed25519 = { version = "0.0.3-alpha.1", git = "https://github.com/cryspen
 libcrux-ecdsa = { version = "0.0.3-alpha.1", git = "https://github.com/cryspen/libcrux", features = [
     "rand",
 ] }
-hax-lib = { version = "0.2", git = "https://github.com/cryspen/hax" }
+hax-lib = { version = "0.3", git = "https://github.com/cryspen/hax" }
 
 [features]
 default = ["api", "std"]