Stateful HMAC-SHA2_256: interface enforcing the key wrapping
Stateful HMAC-SHA2_256: interface enforcing the key wrapping

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