Jonathan Protzenko 15665d896b gh-99108: Replace SHA3 implementation HACL* version (#103597) ... Replaces our built-in SHA3 implementation with a verified one from the HACL* project. This implementation is used when OpenSSL does not provide SHA3 or is not present. 3.11 shiped with a very slow tiny sha3 implementation to get off of the <=3.10 reference implementation that wound up having serious bugs. This brings us back to a reasonably performing built-in implementation consistent with what we've just replaced our other guaranteed available standard hash algorithms with: code from the HACL* project. --------- Co-authored-by: Gregory P. Smith <greg@krypto.org>		2023-05-07 20:50:04 -07:00
..
internal	gh-99108: Replace SHA3 implementation HACL* version (#103597)	2023-05-07 20:50:04 -07:00
fstar_uint128_struct_endianness.h	gh-99108: Import SHA2-384/512 from HACL* (#101707)	2023-02-14 01:25:16 -08:00
FStar_UInt128_Verified.h	gh-99108: Import MD5 and SHA1 from HACL* (#102089)	2023-02-22 13:18:43 -08:00
FStar_UInt_8_16_32_64.h	gh-99108: Import MD5 and SHA1 from HACL* (#102089)	2023-02-22 13:18:43 -08:00
lowstar_endianness.h	gh-99108: Replace SHA3 implementation HACL* version (#103597)	2023-05-07 20:50:04 -07:00
types.h	gh-99108: Import SHA2-384/512 from HACL* (#101707)	2023-02-14 01:25:16 -08:00