ED25519_PUBLIC_KEY_LENGTH
void ED25519_public_from_private(uint8_t out_public_key[ED25519_PUBLIC_KEY_LENGTH],
void ED25519_keypair(uint8_t out_public_key[ED25519_PUBLIC_KEY_LENGTH],
const uint8_t public_key[ED25519_PUBLIC_KEY_LENGTH],
const uint8_t public_key[ED25519_PUBLIC_KEY_LENGTH]) {
void ED25519_keypair(uint8_t out_public_key[ED25519_PUBLIC_KEY_LENGTH],
const uint8_t public_key[ED25519_PUBLIC_KEY_LENGTH],
const uint8_t public_key[ED25519_PUBLIC_KEY_LENGTH]);
const uint8_t pub_key[ED25519_PUBLIC_KEY_LENGTH];
hexdump(public_key, ED25519_PUBLIC_KEY_LENGTH);
uint8_t public_key[ED25519_PUBLIC_KEY_LENGTH];