1 int ed25519_amd64_51_30k_seckey(unsigned char *sk);
2 int ed25519_amd64_51_30k_seckey_expand(unsigned char *sk,const unsigned char *seed);
3 int ed25519_amd64_51_30k_pubkey(unsigned char *pk,const unsigned char *sk);
4 int ed25519_amd64_51_30k_keygen(unsigned char *pk,unsigned char *sk);
5 int ed25519_amd64_51_30k_sign(
6     unsigned char *sm,unsigned long long *smlen,
7     const unsigned char *m,unsigned long long mlen,
8     const unsigned char *sk
9 );
10 int ed25519_amd64_51_30k_open(
11     unsigned char *m,unsigned long long *mlen,
12     const unsigned char *sm,unsigned long long smlen,
13     const unsigned char *pk
14 );
15 int ed25519_amd64_51_30k_batch(
16     unsigned char* const m[],unsigned long long mlen[],
17     unsigned char* const sm[],const unsigned long long smlen[],
18     unsigned char* const pk[],
19     unsigned long long num
20 );
21