HMAC: Hints (verification time is ~1min without using them)
HMAC: Hints (verification time is ~1min without using them)

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