Nick Mathewson authored Jun 13, 2023 and David Goulet committed Jun 13, 2023

These layers use SHA3 instead of SHA1 and AES256 instead of AES128.
Their SENDME tags are made with SHA3 too, but they are truncated to
20 bytes.

Closes #204.