Define an additionnal function used by Chacha20Poly1305
Define an additionnal function used by Chacha20Poly1305

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