COMMITS
/ Modules/_hacl/include/krml/lowstar_endianness.h October 16, 2025
J
gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188)
Jonathan Protzenko committed
October 17, 2024
J
GH-99108: Make vectorized versions of Blake2 available on x86, too (#125244)
Jonathan Protzenko committed
May 8, 2023
J
gh-99108: Replace SHA3 implementation HACL* version (#103597)
Jonathan Protzenko committed
February 7, 2023
J
gh-99108: Replace SHA2-224 & 256 with verified code from HACL* (#99109)
Jonathan Protzenko committed