Keep only Ed25519, use BearSSL for SHA512
Import tweetnacl 20140427
You can also use your local clone with git send-email.