chacha20poly1305

ChaCha20-Poly1305 with HACL* and AVX2