hacl sha3

Author: franziskuskiefer

crypto/Kconfig

@@ -1044,6 +1044,12 @@ config CRYPTO_SHA3
 	help
 	  SHA-3 secure hash algorithms (FIPS 202, ISO/IEC 10118-3)
 
+config CRYPTO_SHA3_HACL
+	tristate "SHA-3"
+	select CRYPTO_HASH
+	help
+	  SHA-3 secure hash algorithms (FIPS 202, ISO/IEC 10118-3) from HACL*
+
 config CRYPTO_SM3
 	tristate
 

crypto/Makefile

@@ -80,6 +80,7 @@ obj-$(CONFIG_CRYPTO_SHA256) += sha256_generic.o
 obj-$(CONFIG_CRYPTO_SHA2_HACL) += sha2-hacl-generated.o sha2-hacl.o
 obj-$(CONFIG_CRYPTO_SHA512) += sha512_generic.o
 obj-$(CONFIG_CRYPTO_SHA3) += sha3_generic.o
+obj-$(CONFIG_CRYPTO_SHA3_HACL) += sha3-hacl-generated.o sha3-hacl.o
 obj-$(CONFIG_CRYPTO_SM3) += sm3.o
 obj-$(CONFIG_CRYPTO_SM3_GENERIC) += sm3_generic.o
 obj-$(CONFIG_CRYPTO_STREEBOG) += streebog_generic.o

crypto/hacl_hash.h

@@ -9,6 +9,15 @@
 
 #include "hacl_lib.h"
 
+#define Spec_Hash_Definitions_SHA3_256 8
+#define Spec_Hash_Definitions_SHA3_224 9
+#define Spec_Hash_Definitions_SHA3_384 10
+#define Spec_Hash_Definitions_SHA3_512 11
+#define Spec_Hash_Definitions_Shake128 12
+#define Spec_Hash_Definitions_Shake256 13
+
+typedef uint8_t Spec_Hash_Definitions_hash_alg;
+
 #define Hacl_Streaming_Types_Success               0
 #define Hacl_Streaming_Types_InvalidAlgorithm      1
 #define Hacl_Streaming_Types_InvalidLength         2
@@ -222,4 +231,37 @@ void Hacl_Streaming_SHA2_finish_384(struct Hacl_Streaming_MD_state_64_s *p,
 void Hacl_Streaming_SHA2_hash_384(uint8_t *input, uint32_t input_len,
                                   uint8_t *dst);
 
+struct Hacl_Streaming_Keccak_hash_buf_s {
+        Spec_Hash_Definitions_hash_alg fst;
+        uint64_t *snd;
+};
+
+struct Hacl_Streaming_Keccak_state_s {
+        struct Hacl_Streaming_Keccak_hash_buf_s block_state;
+        uint8_t *buf;
+        uint64_t total_len;
+};
+
+Hacl_Streaming_Types_error_code
+Hacl_Streaming_Keccak_update(struct Hacl_Streaming_Keccak_state_s *p,
+                             uint8_t *data, uint32_t len);
+
+Hacl_Streaming_Types_error_code
+Hacl_Streaming_Keccak_finish(struct Hacl_Streaming_Keccak_state_s *p,
+                             uint8_t *out);
+
+void Hacl_SHA3_shake128_hacl(uint32_t inputByteLen, uint8_t *input,
+                             uint32_t outputByteLen, uint8_t *output);
+
+void Hacl_SHA3_shake256_hacl(uint32_t inputByteLen, uint8_t *input,
+                             uint32_t outputByteLen, uint8_t *output);
+
+void Hacl_SHA3_sha3_224(uint32_t inputByteLen, uint8_t *input, uint8_t *output);
+
+void Hacl_SHA3_sha3_256(uint32_t inputByteLen, uint8_t *input, uint8_t *output);
+
+void Hacl_SHA3_sha3_384(uint32_t inputByteLen, uint8_t *input, uint8_t *output);
+
+void Hacl_SHA3_sha3_512(uint32_t inputByteLen, uint8_t *input, uint8_t *output);
+
 #endif  // CRYPTO_HACL_HASH_H_

crypto/hacl_lib.h

@@ -40,6 +40,11 @@ static inline u128 FStar_UInt128_uint64_to_uint128(u64 x)
 #define load64_be(b)     (get_unaligned_be64(b))
 #define store64_be(b, i) put_unaligned_be64(i, b);
 
+#define load32_le(b)     (get_unaligned_le32(b))
+#define store32_le(b, i) put_unaligned_le32(i, b);
+#define load64_le(b)     (get_unaligned_le64(b))
+#define store64_le(b, i) put_unaligned_le64(i, b);
+
 static inline void store128_be(u8 *buf, u128 x)
 {
         store64_be(buf, (u64)(x >> 64));
@@ -230,4 +235,8 @@ static inline void store128_be(u8 *buf, u128 x)
 #define KRML_MAYBE_FOR16(i, z, n, k, x) KRML_ACTUAL_FOR(i, z, n, k, x)
 #endif
 
+#ifndef KRML_HOST_IGNORE
+#define KRML_HOST_IGNORE(x) (void)(x)
+#endif
+
 #endif  // CRYPTO_HACL_LIB_H_