AEAD construction

Perform authenticated encryption on a plaintext and some additional authenticated data, given a 256-bit key and 96-bit nonce, using AEAD-ChaCha20-Poly1305.

Produces a ciphertext and 128-bit message authentication code pair.

Providing an invalid key or nonce will result in an ErrorCall exception being thrown.

>>> let key = "don't tell anyone my secret key!"
>>> let non = "or my nonce!"
>>> let pan = "and here's my plaintext"
>>> let aad = "i approve this message"
>>> let (cip, mac) = encrypt aad key nonce pan
>>> (cip, mac)
<(ciphertext, 128-bit MAC)>

Decrypt an authenticated ciphertext, given a message authentication code and some additional authenticated data, via a 256-bit key and 96-bit nonce.

Returns Nothing if the MAC fails to validate.

Providing an invalid key or nonce will result in an ErrorCall exception being thrown.

>>> decrypt aad key non (cip, mac)
Just "and here's my plaintext"
>>> decrypt aad key non (cip, "it's a valid mac")
Nothing