@sipa points out that we should cite these: https://eprint.iacr.org/2020/1244 https://hdevalence.ca/blog/2020-10-04-its-25519am (cc @hdevalence)