1
2 #include <string.h>
3
4 #include "crypto_hash_sha512.h"
5 #include "crypto_sign_ed25519.h"
6 #include "sign_ed25519_ref10.h"
7 #include "private/ed25519_ref10.h"
8 #include "randombytes.h"
9 #include "utils.h"
10
11 void
_crypto_sign_ed25519_ref10_hinit(crypto_hash_sha512_state * hs,int prehashed)12 _crypto_sign_ed25519_ref10_hinit(crypto_hash_sha512_state *hs, int prehashed)
13 {
14 static const unsigned char DOM2PREFIX[32 + 2] = {
15 'S', 'i', 'g', 'E', 'd', '2', '5', '5', '1', '9', ' ',
16 'n', 'o', ' ',
17 'E', 'd', '2', '5', '5', '1', '9', ' ',
18 'c', 'o', 'l', 'l', 'i', 's', 'i', 'o', 'n', 's', 1, 0
19 };
20
21 crypto_hash_sha512_init(hs);
22 if (prehashed) {
23 crypto_hash_sha512_update(hs, DOM2PREFIX, sizeof DOM2PREFIX);
24 }
25 }
26
27 static inline void
_crypto_sign_ed25519_clamp(unsigned char k[32])28 _crypto_sign_ed25519_clamp(unsigned char k[32])
29 {
30 k[0] &= 248;
31 k[31] &= 127;
32 k[31] |= 64;
33 }
34
35 #ifdef ED25519_NONDETERMINISTIC
36 /* r = hash(B || empty_labelset || Z || pad1 || k || pad2 || empty_labelset || K || extra || M) (mod q) */
37 static void
_crypto_sign_ed25519_synthetic_r_hv(crypto_hash_sha512_state * hs,unsigned char Z[32],const unsigned char sk[64])38 _crypto_sign_ed25519_synthetic_r_hv(crypto_hash_sha512_state *hs,
39 unsigned char Z[32],
40 const unsigned char sk[64])
41 {
42 static const unsigned char B[32] = {
43 0x58, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66,
44 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66,
45 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66,
46 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66, 0x66,
47 };
48 static const unsigned char zeros[128] = { 0x00 };
49 static const unsigned char empty_labelset[3] = { 0x02, 0x00, 0x00 };
50
51 crypto_hash_sha512_update(hs, B, 32);
52 crypto_hash_sha512_update(hs, empty_labelset, 3);
53 randombytes_buf(Z, 32);
54 crypto_hash_sha512_update(hs, Z, 32);
55 crypto_hash_sha512_update(hs, zeros, 128 - (32 + 3 + 32) % 128);
56 crypto_hash_sha512_update(hs, sk, 32);
57 crypto_hash_sha512_update(hs, zeros, 128 - 32 % 128);
58 crypto_hash_sha512_update(hs, empty_labelset, 3);
59 crypto_hash_sha512_update(hs, sk + 32, 32);
60 /* empty extra */
61 }
62 #endif
63
64 int
_crypto_sign_ed25519_detached(unsigned char * sig,unsigned long long * siglen_p,const unsigned char * m,unsigned long long mlen,const unsigned char * sk,int prehashed)65 _crypto_sign_ed25519_detached(unsigned char *sig, unsigned long long *siglen_p,
66 const unsigned char *m, unsigned long long mlen,
67 const unsigned char *sk, int prehashed)
68 {
69 crypto_hash_sha512_state hs;
70 unsigned char az[64];
71 unsigned char nonce[64];
72 unsigned char hram[64];
73 ge25519_p3 R;
74
75 _crypto_sign_ed25519_ref10_hinit(&hs, prehashed);
76
77 crypto_hash_sha512(az, sk, 32);
78 #ifdef ED25519_NONDETERMINISTIC
79 _crypto_sign_ed25519_synthetic_r_hv(&hs, nonce /* Z */, az);
80 #else
81 crypto_hash_sha512_update(&hs, az + 32, 32);
82 #endif
83
84 crypto_hash_sha512_update(&hs, m, mlen);
85 crypto_hash_sha512_final(&hs, nonce);
86
87 memmove(sig + 32, sk + 32, 32);
88
89 sc25519_reduce(nonce);
90 ge25519_scalarmult_base(&R, nonce);
91 ge25519_p3_tobytes(sig, &R);
92
93 _crypto_sign_ed25519_ref10_hinit(&hs, prehashed);
94 crypto_hash_sha512_update(&hs, sig, 64);
95 crypto_hash_sha512_update(&hs, m, mlen);
96 crypto_hash_sha512_final(&hs, hram);
97
98 sc25519_reduce(hram);
99 _crypto_sign_ed25519_clamp(az);
100 sc25519_muladd(sig + 32, hram, az, nonce);
101
102 sodium_memzero(az, sizeof az);
103 sodium_memzero(nonce, sizeof nonce);
104
105 if (siglen_p != NULL) {
106 *siglen_p = 64U;
107 }
108 return 0;
109 }
110
111 int
crypto_sign_ed25519_detached(unsigned char * sig,unsigned long long * siglen_p,const unsigned char * m,unsigned long long mlen,const unsigned char * sk)112 crypto_sign_ed25519_detached(unsigned char *sig, unsigned long long *siglen_p,
113 const unsigned char *m, unsigned long long mlen,
114 const unsigned char *sk)
115 {
116 return _crypto_sign_ed25519_detached(sig, siglen_p, m, mlen, sk, 0);
117 }
118
119 int
crypto_sign_ed25519(unsigned char * sm,unsigned long long * smlen_p,const unsigned char * m,unsigned long long mlen,const unsigned char * sk)120 crypto_sign_ed25519(unsigned char *sm, unsigned long long *smlen_p,
121 const unsigned char *m, unsigned long long mlen,
122 const unsigned char *sk)
123 {
124 unsigned long long siglen;
125
126 memmove(sm + crypto_sign_ed25519_BYTES, m, mlen);
127 /* LCOV_EXCL_START */
128 if (crypto_sign_ed25519_detached(
129 sm, &siglen, sm + crypto_sign_ed25519_BYTES, mlen, sk) != 0 ||
130 siglen != crypto_sign_ed25519_BYTES) {
131 if (smlen_p != NULL) {
132 *smlen_p = 0;
133 }
134 memset(sm, 0, mlen + crypto_sign_ed25519_BYTES);
135 return -1;
136 }
137 /* LCOV_EXCL_STOP */
138
139 if (smlen_p != NULL) {
140 *smlen_p = mlen + siglen;
141 }
142 return 0;
143 }
144