update hacl-star

franziskuskiefer · Feb 24, 2021 · 2db8b7d · 2db8b7d
1 parent ef33fd4
commit 2db8b7d
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/evercrypt-sys/hacl-star b/evercrypt-sys/hacl-star
diff --git a/evercrypt-sys/src/bindings/bindings.rs b/evercrypt-sys/src/bindings/bindings.rs
@@ -6,6 +6,8 @@ pub const EverCrypt_Error_InvalidKey: u32 = 2;
 pub const EverCrypt_Error_AuthenticationFailure: u32 = 3;
 pub const EverCrypt_Error_InvalidIVLength: u32 = 4;
 pub const EverCrypt_Error_DecodeError: u32 = 5;
+pub const Spec_Blake2_Blake2S: u32 = 0;
+pub const Spec_Blake2_Blake2B: u32 = 1;
 pub const Spec_Hash_Definitions_SHA2_224: u32 = 0;
 pub const Spec_Hash_Definitions_SHA2_256: u32 = 1;
 pub const Spec_Hash_Definitions_SHA2_384: u32 = 2;
@@ -16,6 +18,11 @@ pub const Spec_Hash_Definitions_Blake2S: u32 = 6;
 pub const Spec_Hash_Definitions_Blake2B: u32 = 7;
 pub const Spec_ECDSA_NoHash: u32 = 0;
 pub const Spec_ECDSA_Hash: u32 = 1;
+pub const Spec_FFDHE_FFDHE2048: u32 = 0;
+pub const Spec_FFDHE_FFDHE3072: u32 = 1;
+pub const Spec_FFDHE_FFDHE4096: u32 = 2;
+pub const Spec_FFDHE_FFDHE6144: u32 = 3;
+pub const Spec_FFDHE_FFDHE8192: u32 = 4;
 pub const Spec_Agile_Cipher_AES128: u32 = 0;
 pub const Spec_Agile_Cipher_AES256: u32 = 1;
 pub const Spec_Agile_Cipher_CHACHA20: u32 = 2;
@@ -29,6 +36,8 @@ pub const Spec_Agile_AEAD_AES128_CCM: u32 = 3;
 pub const Spec_Agile_AEAD_AES256_CCM: u32 = 4;
 pub const Spec_Agile_AEAD_AES128_CCM8: u32 = 5;
 pub const Spec_Agile_AEAD_AES256_CCM8: u32 = 6;
+pub const Spec_Frodo_Params_SHAKE128: u32 = 0;
+pub const Spec_Frodo_Params_AES128: u32 = 1;
 pub type C_String_t = *const ::std::os::raw::c_char;
 extern "C" {
     pub fn EverCrypt_AutoConfig2_has_shaext() -> bool;