src/crypto/internal/fips140/ed25519