diff --git a/dune-project b/dune-project
index 2874c70..7a2472e 100644
--- a/dune-project
+++ b/dune-project
@@ -23,6 +23,7 @@
    (bls12-381 (= "6.1.0"))
    (ppx_yojson_conv (>= "v0.16.0"))
    ppx_yojson_conv_lib
+   hacl-star
    hex
    ppxlib)
  (version "1.0.0"))
diff --git a/zukelang.opam b/zukelang.opam
index 1083fd7..5fb08f3 100644
--- a/zukelang.opam
+++ b/zukelang.opam
@@ -15,6 +15,7 @@ depends: [
   "bls12-381" {= "6.1.0"}
   "ppx_yojson_conv" {>= "v0.16.0"}
   "ppx_yojson_conv_lib"
+  "hacl-star"
   "hex"
   "ppxlib"
   "odoc" {with-doc}