Specification SHA2: refresh hints for Spec.SHA2_256
Specification SHA2: refresh hints for Spec.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