add blake2 from libcrux

Cargo.lock

@@ -1,6 +1,6 @@
 # This file is automatically @generated by Cargo.
 # It is not intended for manual editing.
-version = 3
+version = 4
 
 [[package]]
 name = "addr2line"
@@ -1225,6 +1225,16 @@ dependencies = [
  "rand 0.8.5",
 ]
 
+[[package]]
+name = "libcrux-blake2"
+version = "0.0.2-beta.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "3ce649c4eb25a6cae0f59d758052ffe9285e4eb5f3de36e67a584c04845fa92a"
+dependencies = [
+ "libcrux-hacl-rs",
+ "libcrux-macros",
+]
+
 [[package]]
 name = "libcrux-chacha20poly1305"
 version = "0.0.2-beta.3"
@@ -2025,6 +2035,7 @@ dependencies = [
  "blake2",
  "chacha20poly1305",
  "libcrux",
+ "libcrux-blake2",
  "libcrux-chacha20poly1305",
  "libcrux-ml-kem",
  "rand 0.8.5",