dream
dream copied to clipboard
Switch cipher from AEAD_AES_256_GCM to AEAD_AES_256_GCM_SIV if/when available
See https://github.com/mirage/mirage-crypto/issues/111.
Dream has a cipher rotation scheme, so this should be transparent to users.