ci: remove hacspec from matrix

actions were failing due to a weird bug,
e.g., see run #7831288886

Author: geonnave

.github/workflows/build-and-test.yml

@@ -43,7 +43,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        crypto_backend: [lakers-crypto/hacspec, lakers-crypto/psa, lakers-crypto/rustcrypto]
+        crypto_backend: [lakers-crypto/psa, lakers-crypto/rustcrypto]
         ead: [ead-none, ead-authz]
 
     steps:
@@ -61,7 +61,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        crypto_backend: [lakers-crypto/hacspec, lakers-crypto/psa, lakers-crypto/psa-baremetal, lakers-crypto/cryptocell310, lakers-crypto/rustcrypto]
+        crypto_backend: [lakers-crypto/psa, lakers-crypto/psa-baremetal, lakers-crypto/cryptocell310, lakers-crypto/rustcrypto]
         ead: [ead-none, ead-authz]
 
     steps:
@@ -90,7 +90,7 @@ jobs:
         cd lakers
 
         # generate the fstar files
-        cargo-hax -C -p lakers --no-default-features --features='lakers-crypto/hacspec, ead-none' --release \; into -i '-lakers::generate_connection_identifier_cbor -lakers::generate_connection_identifier' fstar
+        cargo-hax -C -p lakers --no-default-features --features='lakers-crypto/rustcrypto, ead-none' --release \; into -i '-lakers::generate_connection_identifier_cbor -lakers::generate_connection_identifier' fstar
         cargo-hax -C -p lakers-shared \; into -i '-lakers_shared::ffi::**' fstar
 
         # even if fstar generation was ok, fail if something is not implemented

Cargo.toml

@@ -6,7 +6,7 @@ members = [
   "ead/lakers-ead-authz",
   "crypto",
   "crypto/lakers-crypto-cc2538",
-  "crypto/lakers-crypto-hacspec",
+  # "crypto/lakers-crypto-hacspec",
   "crypto/lakers-crypto-psa",
   "crypto/lakers-crypto-rustcrypto",
   "crypto/lakers-crypto-cryptocell310-sys",
@@ -23,7 +23,7 @@ default-members = [
   "lib",
   "ead",
   "crypto",
-  "crypto/lakers-crypto-hacspec",
+  "crypto/lakers-crypto-rustcrypto",
   "examples/coap",
 ]
 
@@ -49,17 +49,17 @@ lakers-crypto = { path = "crypto/" }
 
 lakers-crypto-cc2538 = { path = "crypto/lakers-crypto-cc2538/" }
 lakers-crypto-cryptocell310 = { path = "crypto/lakers-crypto-cryptocell310-sys/" }
-lakers-crypto-hacspec = { path = "crypto/lakers-crypto-hacspec/" }
+# lakers-crypto-hacspec = { path = "crypto/lakers-crypto-hacspec/" }
 lakers-crypto-psa = { path = "crypto/lakers-crypto-psa/" }
 lakers-crypto-rustcrypto = { package = "lakers-crypto-rustcrypto", path = "crypto/lakers-crypto-rustcrypto/", version = "^0.4.1" }
 
 lakers = { package = "lakers", path = "lib/", version = "^0.4.1", default-features = false }
 
 [patch.crates-io]
-hacspec-lib = { git = "https://github.com/malishav/hacspec", branch = "aesccm" }
-hacspec-p256 = { git = "https://github.com/malishav/hacspec", branch = "aesccm" }
-hacspec-hkdf = { git = "https://github.com/malishav/hacspec", branch = "aesccm" }
-hacspec-sha256 = { git = "https://github.com/malishav/hacspec", branch = "aesccm" }
-hacspec-aes = { git = "https://github.com/malishav/hacspec", branch = "aesccm" }
-hacspec-aes-ccm = { git = "https://github.com/malishav/hacspec", branch = "aesccm" }
+# hacspec-lib = { git = "https://github.com/malishav/hacspec", branch = "aesccm" }
+# hacspec-p256 = { git = "https://github.com/malishav/hacspec", branch = "aesccm" }
+# hacspec-hkdf = { git = "https://github.com/malishav/hacspec", branch = "aesccm" }
+# hacspec-sha256 = { git = "https://github.com/malishav/hacspec", branch = "aesccm" }
+# hacspec-aes = { git = "https://github.com/malishav/hacspec", branch = "aesccm" }
+# hacspec-aes-ccm = { git = "https://github.com/malishav/hacspec", branch = "aesccm" }
 psa-crypto = { git = "https://github.com/malishav/rust-psa-crypto", branch = "baremetal" }

crypto/Cargo.toml

@@ -12,7 +12,7 @@ readme.workspace = true
 lakers-shared = { package = "lakers-shared", path = "../shared", default-features = false }
 
 # hacspec
-lakers-crypto-hacspec = { workspace = true, optional = true }
+# lakers-crypto-hacspec = { workspace = true, optional = true }
 
 # cc2538 hardware accelerated
 lakers-crypto-cc2538 = { workspace = true, optional = true }
@@ -29,7 +29,7 @@ rand_core = { version = "0.6.4", optional = true, default-features = false }
 
 [features]
 default = [  ]
-hacspec = [ "lakers-crypto-hacspec" ]
+# hacspec = [ "lakers-crypto-hacspec" ]
 cc2538 = [ "lakers-crypto-cc2538" ]
 psa = [ "lakers-crypto-psa" ]
 psa-baremetal = [ "psa", "lakers-crypto-psa/baremetal" ]

examples/coap/Cargo.toml

@@ -5,7 +5,7 @@ edition = "2021"
 
 [dependencies]
 lakers = { package = "lakers", path = "../../lib", features = ["ead-authz"] }
-lakers-crypto = { path = "../../crypto/", features = [ "hacspec" ] }
+lakers-crypto = { path = "../../crypto/", features = [ "rustcrypto" ] }
 hexlit = "0.5.3"
 coap = { version = "0.13" }
 coap-lite = { version = "0.11.3" }