HaCl* Specifications: target for HMAC-SHA2_256
HaCl* Specifications: target for HMAC-SHA2_256

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star