xref: /freebsd-src/crypto/libecc/src/examples/sig/kcdsa/kcdsa.c (revision f0865ec9906d5a18fa2a3b61381f22ce16e606ad)
1*f0865ec9SKyle Evans /*
2*f0865ec9SKyle Evans  *  Copyright (C) 2021 - This file is part of libecc project
3*f0865ec9SKyle Evans  *
4*f0865ec9SKyle Evans  *  Authors:
5*f0865ec9SKyle Evans  *      Ryad BENADJILA <ryadbenadjila@gmail.com>
6*f0865ec9SKyle Evans  *      Arnaud EBALARD <arnaud.ebalard@ssi.gouv.fr>
7*f0865ec9SKyle Evans  *
8*f0865ec9SKyle Evans  *  This software is licensed under a dual BSD and GPL v2 license.
9*f0865ec9SKyle Evans  *  See LICENSE file at the root folder of the project.
10*f0865ec9SKyle Evans  */
11*f0865ec9SKyle Evans #include "kcdsa.h"
12*f0865ec9SKyle Evans 
13*f0865ec9SKyle Evans /* We include the rand external dependency because we have to generate
14*f0865ec9SKyle Evans  * some random data for the nonces.
15*f0865ec9SKyle Evans  */
16*f0865ec9SKyle Evans #include <libecc/external_deps/rand.h>
17*f0865ec9SKyle Evans /* We include the printf external dependency for printf output */
18*f0865ec9SKyle Evans #include <libecc/external_deps/print.h>
19*f0865ec9SKyle Evans /* We include our common helpers */
20*f0865ec9SKyle Evans #include "../common/common.h"
21*f0865ec9SKyle Evans 
22*f0865ec9SKyle Evans /*
23*f0865ec9SKyle Evans  * The purpose of this example is to implement the KCDSA signature scheme
24*f0865ec9SKyle Evans  * based on libecc arithmetic primitives, as described in the ISO14888-3
25*f0865ec9SKyle Evans  * standard.
26*f0865ec9SKyle Evans  *
27*f0865ec9SKyle Evans  * XXX: Please be aware that libecc has been designed for Elliptic
28*f0865ec9SKyle Evans  * Curve cryptography, and as so the arithmetic primitives are
29*f0865ec9SKyle Evans  * not optimized for big numbers >= 1024 bits usually used for KCDSA.
30*f0865ec9SKyle Evans  * Additionnaly, a hard limit of our NN values makes it impossible
31*f0865ec9SKyle Evans  * to exceed ~5300 bits in the best case (words of size 64 bits).
32*f0865ec9SKyle Evans  *
33*f0865ec9SKyle Evans  * All in all, please see this as a proof of concept.
34*f0865ec9SKyle Evans  * Use it at your own risk!
35*f0865ec9SKyle Evans  *
36*f0865ec9SKyle Evans  * !! DISCLAIMER !!
37*f0865ec9SKyle Evans  * ================
38*f0865ec9SKyle Evans  *
39*f0865ec9SKyle Evans  * Althoug some efforts have been made to secure this implementation
40*f0865ec9SKyle Evans  * of KCDSA (e.g. by protecting the private key and nonces using constant
41*f0865ec9SKyle Evans  * time and blinding WHEN activated with BLINDING=1), please consider this
42*f0865ec9SKyle Evans  * code as a proof of concept and use it at your own risk.
43*f0865ec9SKyle Evans  *
44*f0865ec9SKyle Evans  * All-in-all, this piece of code can be useful in some contexts, or risky to
45*f0865ec9SKyle Evans  * use in other sensitive ones where advanced side-channels or fault attacks
46*f0865ec9SKyle Evans  * have to be considered. Use this KCDSA code knowingly and at your own risk!
47*f0865ec9SKyle Evans  *
48*f0865ec9SKyle Evans  */
49*f0865ec9SKyle Evans 
50*f0865ec9SKyle Evans /* NOTE: since KCDSA is very similar to DSA, we reuse some of our DSA
51*f0865ec9SKyle Evans  * primitives to factorize some code. Also, KCDSA private and public keys
52*f0865ec9SKyle Evans  * have the exact same type as DSA keys.
53*f0865ec9SKyle Evans  */
54*f0865ec9SKyle Evans 
55*f0865ec9SKyle Evans /* Import a KCDSA private key from buffers */
56*f0865ec9SKyle Evans int kcdsa_import_priv_key(kcdsa_priv_key *priv, const u8 *p, u16 plen,
57*f0865ec9SKyle Evans 			const u8 *q, u16 qlen,
58*f0865ec9SKyle Evans 			const u8 *g, u16 glen,
59*f0865ec9SKyle Evans 			const u8 *x, u16 xlen)
60*f0865ec9SKyle Evans {
61*f0865ec9SKyle Evans 	return dsa_import_priv_key(priv, p, plen, q, qlen, g, glen, x, xlen);
62*f0865ec9SKyle Evans }
63*f0865ec9SKyle Evans 
64*f0865ec9SKyle Evans /* Import a KCDSA public key from buffers */
65*f0865ec9SKyle Evans int kcdsa_import_pub_key(kcdsa_pub_key *pub, const u8 *p, u16 plen,
66*f0865ec9SKyle Evans 			const u8 *q, u16 qlen,
67*f0865ec9SKyle Evans 			const u8 *g, u16 glen,
68*f0865ec9SKyle Evans 			const u8 *y, u16 ylen)
69*f0865ec9SKyle Evans {
70*f0865ec9SKyle Evans 	return dsa_import_pub_key(pub, p, plen, q, qlen, g, glen, y, ylen);
71*f0865ec9SKyle Evans }
72*f0865ec9SKyle Evans 
73*f0865ec9SKyle Evans 
74*f0865ec9SKyle Evans 
75*f0865ec9SKyle Evans /* Compute a KCDSA public key from a private key.
76*f0865ec9SKyle Evans  * The public key is computed using modular exponentiation of the generator
77*f0865ec9SKyle Evans  * with the private key inverse.
78*f0865ec9SKyle Evans  */
79*f0865ec9SKyle Evans int kcdsa_compute_pub_from_priv(kcdsa_pub_key *pub, const kcdsa_priv_key *priv)
80*f0865ec9SKyle Evans {
81*f0865ec9SKyle Evans 	int ret;
82*f0865ec9SKyle Evans 	kcdsa_priv_key priv_;
83*f0865ec9SKyle Evans 
84*f0865ec9SKyle Evans 	MUST_HAVE((priv != NULL), ret, err);
85*f0865ec9SKyle Evans 
86*f0865ec9SKyle Evans 	ret = local_memcpy(&priv_, priv, sizeof(kcdsa_priv_key)); EG(ret, err);
87*f0865ec9SKyle Evans 	/* Replace the x of the private key by its inverse */
88*f0865ec9SKyle Evans 	ret = nn_modinv_fermat(&(priv_.x), &(priv_.x), &(priv_.q)); EG(ret, err);
89*f0865ec9SKyle Evans 
90*f0865ec9SKyle Evans 	/* Use the DSA computation with the computed inverse x */
91*f0865ec9SKyle Evans 	ret = dsa_compute_pub_from_priv(pub, &priv_);
92*f0865ec9SKyle Evans 
93*f0865ec9SKyle Evans err:
94*f0865ec9SKyle Evans 	IGNORE_RET_VAL(local_memset(&priv_, 0, sizeof(kcdsa_priv_key)));
95*f0865ec9SKyle Evans 
96*f0865ec9SKyle Evans 	return ret;
97*f0865ec9SKyle Evans }
98*f0865ec9SKyle Evans 
99*f0865ec9SKyle Evans 
100*f0865ec9SKyle Evans ATTRIBUTE_WARN_UNUSED_RET static int buf_lshift(u8 *buf, u16 buflen, u16 shift)
101*f0865ec9SKyle Evans {
102*f0865ec9SKyle Evans         u16 i;
103*f0865ec9SKyle Evans         int ret;
104*f0865ec9SKyle Evans 
105*f0865ec9SKyle Evans         MUST_HAVE((buf != NULL), ret, err);
106*f0865ec9SKyle Evans 
107*f0865ec9SKyle Evans         if (shift > buflen) {
108*f0865ec9SKyle Evans                 shift = buflen;
109*f0865ec9SKyle Evans         }
110*f0865ec9SKyle Evans 
111*f0865ec9SKyle Evans         /* Start by shifting all trailing bytes to the left ... */
112*f0865ec9SKyle Evans         for (i = shift; i < buflen; i++) {
113*f0865ec9SKyle Evans                 buf[i - shift] = buf[i];
114*f0865ec9SKyle Evans         }
115*f0865ec9SKyle Evans 
116*f0865ec9SKyle Evans         /* Let's now zeroize the end of the buffer ... */
117*f0865ec9SKyle Evans         for (i = 1; i <= shift; i++) {
118*f0865ec9SKyle Evans                 buf[buflen - i] = 0;
119*f0865ec9SKyle Evans         }
120*f0865ec9SKyle Evans 
121*f0865ec9SKyle Evans         ret = 0;
122*f0865ec9SKyle Evans 
123*f0865ec9SKyle Evans err:
124*f0865ec9SKyle Evans         return ret;
125*f0865ec9SKyle Evans }
126*f0865ec9SKyle Evans 
127*f0865ec9SKyle Evans /* Generate a KCDSA signature
128*f0865ec9SKyle Evans  */
129*f0865ec9SKyle Evans int kcdsa_sign(const kcdsa_priv_key *priv, const u8 *msg, u32 msglen,
130*f0865ec9SKyle Evans 	     const u8 *nonce, u16 noncelen,
131*f0865ec9SKyle Evans 	     u8 *sig, u16 siglen, gen_hash_alg_type kcdsa_hash)
132*f0865ec9SKyle Evans {
133*f0865ec9SKyle Evans 	int ret, iszero;
134*f0865ec9SKyle Evans 	u16 curr_rlen, curr_siglen;
135*f0865ec9SKyle Evans 	/* alpha is the bit length of p, beta is the bit length of q */
136*f0865ec9SKyle Evans 	bitcnt_t alpha, beta;
137*f0865ec9SKyle Evans 	/* Length of the hash function (hlen is "gamma") */
138*f0865ec9SKyle Evans 	u8 hlen, block_size;
139*f0865ec9SKyle Evans 	nn_src_t p, q, g, x;
140*f0865ec9SKyle Evans 	/* The public key for the witness */
141*f0865ec9SKyle Evans 	kcdsa_pub_key pub;
142*f0865ec9SKyle Evans 	nn_src_t y;
143*f0865ec9SKyle Evans 	/* The nonce and its protected version */
144*f0865ec9SKyle Evans 	nn k, k_;
145*f0865ec9SKyle Evans 	/* r, s, pi */
146*f0865ec9SKyle Evans 	nn r, s;
147*f0865ec9SKyle Evans 	nn_t pi;
148*f0865ec9SKyle Evans 	/* This is a bit too much for stack space, but we need it for
149*f0865ec9SKyle Evans 	 * the computation of "pi" I2BS representation ...
150*f0865ec9SKyle Evans 	 */
151*f0865ec9SKyle Evans 	u8 pi_buf[NN_USABLE_MAX_BYTE_LEN];
152*f0865ec9SKyle Evans 	/* hash context */
153*f0865ec9SKyle Evans 	gen_hash_context hash_ctx;
154*f0865ec9SKyle Evans 	u8 hash[MAX_DIGEST_SIZE];
155*f0865ec9SKyle Evans #ifdef USE_SIG_BLINDING
156*f0865ec9SKyle Evans 	/* b is the blinding mask */
157*f0865ec9SKyle Evans 	nn b;
158*f0865ec9SKyle Evans 	b.magic = WORD(0);
159*f0865ec9SKyle Evans #endif /* USE_SIG_BLINDING */
160*f0865ec9SKyle Evans 	k.magic = k_.magic = r.magic = s.magic = WORD(0);
161*f0865ec9SKyle Evans 
162*f0865ec9SKyle Evans 	/* Sanity checks */
163*f0865ec9SKyle Evans 	MUST_HAVE((priv != NULL) && (msg != NULL) && (sig != NULL), ret, err);
164*f0865ec9SKyle Evans 
165*f0865ec9SKyle Evans 	ret = local_memset(&pub, 0, sizeof(kcdsa_pub_key)); EG(ret, err);
166*f0865ec9SKyle Evans 	ret = local_memset(hash, 0, sizeof(hash)); EG(ret, err);
167*f0865ec9SKyle Evans 	ret = local_memset(pi_buf, 0, sizeof(pi_buf)); EG(ret, err);
168*f0865ec9SKyle Evans 
169*f0865ec9SKyle Evans 	/* Make things more readable */
170*f0865ec9SKyle Evans 	p = &(priv->p);
171*f0865ec9SKyle Evans 	q = &(priv->q);
172*f0865ec9SKyle Evans 	g = &(priv->g);
173*f0865ec9SKyle Evans 	x = &(priv->x);
174*f0865ec9SKyle Evans 
175*f0865ec9SKyle Evans 	/* Sanity checks */
176*f0865ec9SKyle Evans 	ret = nn_check_initialized(p); EG(ret, err);
177*f0865ec9SKyle Evans 	ret = nn_check_initialized(q); EG(ret, err);
178*f0865ec9SKyle Evans 	ret = nn_check_initialized(g); EG(ret, err);
179*f0865ec9SKyle Evans 	ret = nn_check_initialized(x); EG(ret, err);
180*f0865ec9SKyle Evans 
181*f0865ec9SKyle Evans 	/* Let alpha be the bit length of p */
182*f0865ec9SKyle Evans 	ret = nn_bitlen(p, &alpha); EG(ret, err);
183*f0865ec9SKyle Evans 	/* Let beta be the bit length of q */
184*f0865ec9SKyle Evans 	ret = nn_bitlen(q, &beta); EG(ret, err);
185*f0865ec9SKyle Evans 	/* Get the hash sizes (8*"gamma") */
186*f0865ec9SKyle Evans 	ret = gen_hash_get_hash_sizes(kcdsa_hash, &hlen, &block_size); EG(ret, err);
187*f0865ec9SKyle Evans 	MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
188*f0865ec9SKyle Evans 
189*f0865ec9SKyle Evans 	/* Sanity check on the signature length:
190*f0865ec9SKyle Evans 	 * If "gamma" <= beta, length of R is "gamma", else length of R
191*f0865ec9SKyle Evans 	 * The signature size is either "gamma" + beta or 2 * beta
192*f0865ec9SKyle Evans 	 */
193*f0865ec9SKyle Evans 	if(hlen <= (u16)BYTECEIL(beta)){
194*f0865ec9SKyle Evans 		curr_rlen = hlen;
195*f0865ec9SKyle Evans 	}
196*f0865ec9SKyle Evans 	else{
197*f0865ec9SKyle Evans 		curr_rlen = (u16)BYTECEIL(beta);
198*f0865ec9SKyle Evans 	}
199*f0865ec9SKyle Evans 	curr_siglen = (u16)(curr_rlen + BYTECEIL(beta));
200*f0865ec9SKyle Evans 	MUST_HAVE((siglen == curr_siglen), ret, err);
201*f0865ec9SKyle Evans 
202*f0865ec9SKyle Evans 	/* Compute our public key for the witness */
203*f0865ec9SKyle Evans 	ret = kcdsa_compute_pub_from_priv(&pub, priv); EG(ret, err);
204*f0865ec9SKyle Evans 	y = &(pub.y);
205*f0865ec9SKyle Evans 
206*f0865ec9SKyle Evans restart:
207*f0865ec9SKyle Evans 	/* If the nonce is imposed, use it. Else get a random modulo q */
208*f0865ec9SKyle Evans 	if(nonce != NULL){
209*f0865ec9SKyle Evans 		ret = _os2ip(&k, nonce, noncelen); EG(ret, err);
210*f0865ec9SKyle Evans 	}
211*f0865ec9SKyle Evans 	else{
212*f0865ec9SKyle Evans 		ret = nn_get_random_mod(&k, q); EG(ret, err);
213*f0865ec9SKyle Evans 	}
214*f0865ec9SKyle Evans 
215*f0865ec9SKyle Evans 	/* Fix the MSB of our scalar */
216*f0865ec9SKyle Evans 	ret = nn_copy(&k_, &k); EG(ret, err);
217*f0865ec9SKyle Evans #ifdef USE_SIG_BLINDING
218*f0865ec9SKyle Evans 	/* Blind the scalar */
219*f0865ec9SKyle Evans 	ret = _blind_scalar(&k_, q, &k_); EG(ret, err);
220*f0865ec9SKyle Evans #endif /* USE_SIG_BLINDING */
221*f0865ec9SKyle Evans 	ret = _fix_scalar_msb(&k_, q, &k_); EG(ret, err);
222*f0865ec9SKyle Evans 	/* Use r as aliasing for pi to save some space */
223*f0865ec9SKyle Evans 	pi = &r;
224*f0865ec9SKyle Evans 	/* pi = (g**k mod p) */
225*f0865ec9SKyle Evans 	ret = nn_init(pi, 0); EG(ret, err);
226*f0865ec9SKyle Evans 	/* Exponentiation modulo p */
227*f0865ec9SKyle Evans 	ret = nn_mod_pow(pi, g, &k_, p); EG(ret, err);
228*f0865ec9SKyle Evans 
229*f0865ec9SKyle Evans 	/* Compute I2BS(alpha, pi)
230*f0865ec9SKyle Evans 	 */
231*f0865ec9SKyle Evans 	MUST_HAVE((sizeof(pi_buf) >= (u16)BYTECEIL(alpha)), ret, err);
232*f0865ec9SKyle Evans 	ret = _i2osp(pi, pi_buf, (u16)BYTECEIL(alpha)); EG(ret, err);
233*f0865ec9SKyle Evans 
234*f0865ec9SKyle Evans 	if(hlen <= (u16)BYTECEIL(beta)){
235*f0865ec9SKyle Evans 		unsigned int i;
236*f0865ec9SKyle Evans 		/* r = h(I2BS(alpha, pi)) */
237*f0865ec9SKyle Evans 		ret = gen_hash_init(&hash_ctx, kcdsa_hash); EG(ret, err);
238*f0865ec9SKyle Evans 		ret = gen_hash_update(&hash_ctx, pi_buf, (u16)BYTECEIL(alpha), kcdsa_hash); EG(ret, err);
239*f0865ec9SKyle Evans 		/* Export r result of the hash function in sig */
240*f0865ec9SKyle Evans 		ret = gen_hash_final(&hash_ctx, sig, kcdsa_hash); EG(ret, err);
241*f0865ec9SKyle Evans 		/* Compute v */
242*f0865ec9SKyle Evans 		MUST_HAVE((block_size <= (u16)BYTECEIL(alpha)), ret, err);
243*f0865ec9SKyle Evans 		ret = _i2osp(y, pi_buf, (u16)BYTECEIL(alpha)); EG(ret, err);
244*f0865ec9SKyle Evans 		ret = buf_lshift(pi_buf, (u16)BYTECEIL(alpha), (u16)(BYTECEIL(alpha) - block_size)); EG(ret, err);
245*f0865ec9SKyle Evans 		ret = gen_hash_init(&hash_ctx, kcdsa_hash); EG(ret, err);
246*f0865ec9SKyle Evans 		ret = gen_hash_update(&hash_ctx, pi_buf, block_size, kcdsa_hash); EG(ret, err);
247*f0865ec9SKyle Evans 		ret = gen_hash_update(&hash_ctx, msg, msglen, kcdsa_hash); EG(ret, err);
248*f0865ec9SKyle Evans 		ret = gen_hash_final(&hash_ctx, hash, kcdsa_hash); EG(ret, err);
249*f0865ec9SKyle Evans 		for(i = 0; i < hlen; i++){
250*f0865ec9SKyle Evans 			hash[i] = (hash[i] ^ sig[i]);
251*f0865ec9SKyle Evans 		}
252*f0865ec9SKyle Evans 		ret = _os2ip(&s, hash, hlen); EG(ret, err);
253*f0865ec9SKyle Evans 	}
254*f0865ec9SKyle Evans 	else{
255*f0865ec9SKyle Evans 		unsigned int i;
256*f0865ec9SKyle Evans 		/* h(I2BS(alpha, pi)) */
257*f0865ec9SKyle Evans 		ret = gen_hash_init(&hash_ctx, kcdsa_hash); EG(ret, err);
258*f0865ec9SKyle Evans 		ret = gen_hash_update(&hash_ctx, pi_buf, (u16)BYTECEIL(alpha), kcdsa_hash); EG(ret, err);
259*f0865ec9SKyle Evans 		/* Export r result of the hash function in sig ... */
260*f0865ec9SKyle Evans 		ret = gen_hash_final(&hash_ctx, hash, kcdsa_hash); EG(ret, err);
261*f0865ec9SKyle Evans 		/* ... and proceed with the appropriate tuncation */
262*f0865ec9SKyle Evans 		ret = buf_lshift(hash, hlen, (u16)(hlen - BYTECEIL(beta))); EG(ret, err);
263*f0865ec9SKyle Evans 		ret = local_memcpy(sig, hash, (u16)BYTECEIL(beta)); EG(ret, err);
264*f0865ec9SKyle Evans 		/* Compute v */
265*f0865ec9SKyle Evans 		MUST_HAVE((block_size <= (u16)BYTECEIL(alpha)), ret, err);
266*f0865ec9SKyle Evans 		ret = _i2osp(y, pi_buf, (u16)BYTECEIL(alpha)); EG(ret, err);
267*f0865ec9SKyle Evans 		ret = buf_lshift(pi_buf, (u16)BYTECEIL(alpha), (u16)(BYTECEIL(alpha) - block_size)); EG(ret, err);
268*f0865ec9SKyle Evans 		ret = gen_hash_init(&hash_ctx, kcdsa_hash); EG(ret, err);
269*f0865ec9SKyle Evans 		ret = gen_hash_update(&hash_ctx, pi_buf, block_size, kcdsa_hash); EG(ret, err);
270*f0865ec9SKyle Evans 		ret = gen_hash_update(&hash_ctx, msg, msglen, kcdsa_hash); EG(ret, err);
271*f0865ec9SKyle Evans 		ret = gen_hash_final(&hash_ctx, hash, kcdsa_hash); EG(ret, err);
272*f0865ec9SKyle Evans 		/* ... and proceed with the appropriate tuncation */
273*f0865ec9SKyle Evans 		ret = buf_lshift(hash, hlen, (u16)(hlen - BYTECEIL(beta))); EG(ret, err);
274*f0865ec9SKyle Evans 		for(i = 0; i < (u16)BYTECEIL(beta); i++){
275*f0865ec9SKyle Evans 			hash[i] = (hash[i] ^ sig[i]);
276*f0865ec9SKyle Evans 		}
277*f0865ec9SKyle Evans 		ret = _os2ip(&s, hash, (u16)BYTECEIL(beta)); EG(ret, err);
278*f0865ec9SKyle Evans 	}
279*f0865ec9SKyle Evans 
280*f0865ec9SKyle Evans 	/* Reduce v modulo q */
281*f0865ec9SKyle Evans 	ret = nn_mod(&s, &s, q); EG(ret, err);
282*f0865ec9SKyle Evans 
283*f0865ec9SKyle Evans #ifdef USE_SIG_BLINDING
284*f0865ec9SKyle Evans 	/* Note: if we use blinding, v and k are multiplied by
285*f0865ec9SKyle Evans 	 * a random value b in ]0,q[ */
286*f0865ec9SKyle Evans 	ret = nn_get_random_mod(&b, q); EG(ret, err);
287*f0865ec9SKyle Evans         /* Blind r with b */
288*f0865ec9SKyle Evans         ret = nn_mod_mul(&s, &s, &b, q); EG(ret, err);
289*f0865ec9SKyle Evans         /* Blind k with b */
290*f0865ec9SKyle Evans         ret = nn_mod_mul(&k, &k, &b, q); EG(ret, err);
291*f0865ec9SKyle Evans         /*
292*f0865ec9SKyle Evans          * In case of blinding, we compute b^-1 with
293*f0865ec9SKyle Evans 	 * little Fermat theorem. This will be used to
294*f0865ec9SKyle Evans 	 * unblind s.
295*f0865ec9SKyle Evans          */
296*f0865ec9SKyle Evans         ret = nn_modinv_fermat(&b, &b, q); EG(ret, err);
297*f0865ec9SKyle Evans #endif /* USE_SIG_BLINDING */
298*f0865ec9SKyle Evans 
299*f0865ec9SKyle Evans 	/* Compute s = x (k - v) mod q  */
300*f0865ec9SKyle Evans 	ret = nn_mod_sub(&s, &k, &s, q); EG(ret, err);
301*f0865ec9SKyle Evans 	ret = nn_mod_mul(&s, &s, x, q); EG(ret, err);
302*f0865ec9SKyle Evans 
303*f0865ec9SKyle Evans #ifdef USE_SIG_BLINDING
304*f0865ec9SKyle Evans 	/* In case of blinding, unblind s */
305*f0865ec9SKyle Evans 	ret = nn_mod_mul(&s, &s, &b, q); EG(ret, err);
306*f0865ec9SKyle Evans #endif /* USE_SIG_BLINDING */
307*f0865ec9SKyle Evans 	/* If s is 0, restart the process */
308*f0865ec9SKyle Evans 	ret = nn_iszero(&s, &iszero); EG(ret, err);
309*f0865ec9SKyle Evans 	if (iszero) {
310*f0865ec9SKyle Evans 		goto restart;
311*f0865ec9SKyle Evans  	}
312*f0865ec9SKyle Evans 
313*f0865ec9SKyle Evans 	/* Export s */
314*f0865ec9SKyle Evans 	ret = _i2osp(&s, sig + curr_rlen, (u16)BYTECEIL(beta));
315*f0865ec9SKyle Evans 
316*f0865ec9SKyle Evans err:
317*f0865ec9SKyle Evans 	if(ret && (sig != NULL)){
318*f0865ec9SKyle Evans 		IGNORE_RET_VAL(local_memset(sig, 0, siglen));
319*f0865ec9SKyle Evans 	}
320*f0865ec9SKyle Evans 
321*f0865ec9SKyle Evans 	IGNORE_RET_VAL(local_memset(&pub, 0, sizeof(kcdsa_pub_key)));
322*f0865ec9SKyle Evans 
323*f0865ec9SKyle Evans 	nn_uninit(&k);
324*f0865ec9SKyle Evans 	nn_uninit(&k_);
325*f0865ec9SKyle Evans #ifdef USE_SIG_BLINDING
326*f0865ec9SKyle Evans 	nn_uninit(&b);
327*f0865ec9SKyle Evans #endif
328*f0865ec9SKyle Evans 	nn_uninit(&r);
329*f0865ec9SKyle Evans 	nn_uninit(&s);
330*f0865ec9SKyle Evans 
331*f0865ec9SKyle Evans 	PTR_NULLIFY(pi);
332*f0865ec9SKyle Evans 	PTR_NULLIFY(y);
333*f0865ec9SKyle Evans 	PTR_NULLIFY(p);
334*f0865ec9SKyle Evans 	PTR_NULLIFY(q);
335*f0865ec9SKyle Evans 	PTR_NULLIFY(g);
336*f0865ec9SKyle Evans 	PTR_NULLIFY(x);
337*f0865ec9SKyle Evans 
338*f0865ec9SKyle Evans 	return ret;
339*f0865ec9SKyle Evans }
340*f0865ec9SKyle Evans 
341*f0865ec9SKyle Evans 
342*f0865ec9SKyle Evans 
343*f0865ec9SKyle Evans /* Verify a KCDSA signature
344*f0865ec9SKyle Evans  */
345*f0865ec9SKyle Evans int kcdsa_verify(const kcdsa_pub_key *pub, const u8 *msg, u32 msglen,
346*f0865ec9SKyle Evans 	     const u8 *sig, u16 siglen, gen_hash_alg_type kcdsa_hash)
347*f0865ec9SKyle Evans {
348*f0865ec9SKyle Evans 	int ret, iszero, cmp;
349*f0865ec9SKyle Evans 	u16 curr_rlen, curr_siglen;
350*f0865ec9SKyle Evans 	/* alpha is the bit length of p, beta is the bit length of q */
351*f0865ec9SKyle Evans 	bitcnt_t alpha, beta;
352*f0865ec9SKyle Evans 	/* Length of the hash function */
353*f0865ec9SKyle Evans 	u8 hlen, block_size;
354*f0865ec9SKyle Evans 	nn_src_t p, q, g, y;
355*f0865ec9SKyle Evans 	/* s */
356*f0865ec9SKyle Evans 	nn s;
357*f0865ec9SKyle Evans 	/* u, v and pi */
358*f0865ec9SKyle Evans 	nn u, v, pi;
359*f0865ec9SKyle Evans 	/* This is a bit too much for stack space, but we need it for
360*f0865ec9SKyle Evans 	 * the computation of "pi" I2BS representation ...
361*f0865ec9SKyle Evans 	 */
362*f0865ec9SKyle Evans 	u8 pi_buf[NN_USABLE_MAX_BYTE_LEN];
363*f0865ec9SKyle Evans 	/* Hash */
364*f0865ec9SKyle Evans 	u8 hash[MAX_DIGEST_SIZE];
365*f0865ec9SKyle Evans 	/* hash context */
366*f0865ec9SKyle Evans 	gen_hash_context hash_ctx;
367*f0865ec9SKyle Evans 	s.magic = v.magic = u.magic = pi.magic = WORD(0);
368*f0865ec9SKyle Evans 
369*f0865ec9SKyle Evans 	/* Sanity checks */
370*f0865ec9SKyle Evans 	MUST_HAVE((pub != NULL) && (msg != NULL) && (sig != NULL), ret, err);
371*f0865ec9SKyle Evans 
372*f0865ec9SKyle Evans 	ret = local_memset(pi_buf, 0, sizeof(pi_buf)); EG(ret, err);
373*f0865ec9SKyle Evans 	ret = local_memset(hash, 0, sizeof(hash)); EG(ret, err);
374*f0865ec9SKyle Evans 
375*f0865ec9SKyle Evans 	/* Make things more readable */
376*f0865ec9SKyle Evans 	p = &(pub->p);
377*f0865ec9SKyle Evans 	q = &(pub->q);
378*f0865ec9SKyle Evans 	g = &(pub->g);
379*f0865ec9SKyle Evans 	y = &(pub->y);
380*f0865ec9SKyle Evans 
381*f0865ec9SKyle Evans 	/* Sanity checks */
382*f0865ec9SKyle Evans 	ret = nn_check_initialized(p); EG(ret, err);
383*f0865ec9SKyle Evans 	ret = nn_check_initialized(q); EG(ret, err);
384*f0865ec9SKyle Evans 	ret = nn_check_initialized(g); EG(ret, err);
385*f0865ec9SKyle Evans 	ret = nn_check_initialized(y); EG(ret, err);
386*f0865ec9SKyle Evans 
387*f0865ec9SKyle Evans 	/* Let alpha be the bit length of p */
388*f0865ec9SKyle Evans 	ret = nn_bitlen(p, &alpha); EG(ret, err);
389*f0865ec9SKyle Evans 	/* Let beta be the bit length of q */
390*f0865ec9SKyle Evans 	ret = nn_bitlen(q, &beta); EG(ret, err);
391*f0865ec9SKyle Evans 	/* Get the hash sizes (8*"gamma") */
392*f0865ec9SKyle Evans 	ret = gen_hash_get_hash_sizes(kcdsa_hash, &hlen, &block_size); EG(ret, err);
393*f0865ec9SKyle Evans 	MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
394*f0865ec9SKyle Evans 
395*f0865ec9SKyle Evans 	/* Sanity check on the signature length:
396*f0865ec9SKyle Evans 	 * If "gamma" <= beta, length of R is "gamma", else length of R
397*f0865ec9SKyle Evans 	 * The signature size is either "gamma" + beta or 2 * beta
398*f0865ec9SKyle Evans 	 */
399*f0865ec9SKyle Evans 	if(hlen <= (u16)BYTECEIL(beta)){
400*f0865ec9SKyle Evans 		curr_rlen = hlen;
401*f0865ec9SKyle Evans 	}
402*f0865ec9SKyle Evans 	else{
403*f0865ec9SKyle Evans 		curr_rlen = (u16)BYTECEIL(beta);
404*f0865ec9SKyle Evans 	}
405*f0865ec9SKyle Evans 	curr_siglen = (u16)(curr_rlen + BYTECEIL(beta));
406*f0865ec9SKyle Evans 	MUST_HAVE((siglen == curr_siglen), ret, err);
407*f0865ec9SKyle Evans 
408*f0865ec9SKyle Evans 	/* Extract s */
409*f0865ec9SKyle Evans 	ret = _os2ip(&s, sig + curr_rlen, (u16)(siglen - curr_rlen)); EG(ret, err);
410*f0865ec9SKyle Evans 
411*f0865ec9SKyle Evans 	/* Return an error if s = 0 */
412*f0865ec9SKyle Evans 	ret = nn_iszero(&s, &iszero); EG(ret, err);
413*f0865ec9SKyle Evans 	MUST_HAVE((!iszero), ret, err);
414*f0865ec9SKyle Evans 	/* Check that 0 < s < q */
415*f0865ec9SKyle Evans 	ret = nn_cmp(&s, q, &cmp); EG(ret, err);
416*f0865ec9SKyle Evans 	MUST_HAVE((cmp < 0), ret, err);
417*f0865ec9SKyle Evans 
418*f0865ec9SKyle Evans 	/* Initialize internal variables */
419*f0865ec9SKyle Evans 	ret = nn_init(&u, 0); EG(ret, err);
420*f0865ec9SKyle Evans 	ret = nn_init(&pi, 0); EG(ret, err);
421*f0865ec9SKyle Evans 
422*f0865ec9SKyle Evans 	/* Compute v */
423*f0865ec9SKyle Evans 	if(hlen <= (u16)BYTECEIL(beta)){
424*f0865ec9SKyle Evans 		unsigned int i;
425*f0865ec9SKyle Evans 		/* r is of size hlen */
426*f0865ec9SKyle Evans 		MUST_HAVE((block_size <= (u16)BYTECEIL(alpha)), ret, err);
427*f0865ec9SKyle Evans 		ret = _i2osp(y, pi_buf, (u16)BYTECEIL(alpha)); EG(ret, err);
428*f0865ec9SKyle Evans 		ret = buf_lshift(pi_buf, (u16)BYTECEIL(alpha), (u16)(BYTECEIL(alpha) - block_size)); EG(ret, err);
429*f0865ec9SKyle Evans 		ret = gen_hash_init(&hash_ctx, kcdsa_hash); EG(ret, err);
430*f0865ec9SKyle Evans 		ret = gen_hash_update(&hash_ctx, pi_buf, block_size, kcdsa_hash); EG(ret, err);
431*f0865ec9SKyle Evans 		ret = gen_hash_update(&hash_ctx, msg, msglen, kcdsa_hash); EG(ret, err);
432*f0865ec9SKyle Evans 		ret = gen_hash_final(&hash_ctx, hash, kcdsa_hash); EG(ret, err);
433*f0865ec9SKyle Evans 		for(i = 0; i < hlen; i++){
434*f0865ec9SKyle Evans 			hash[i] = (hash[i] ^ sig[i]);
435*f0865ec9SKyle Evans 		}
436*f0865ec9SKyle Evans 		ret = _os2ip(&v, hash, hlen); EG(ret, err);
437*f0865ec9SKyle Evans 	}
438*f0865ec9SKyle Evans 	else{
439*f0865ec9SKyle Evans 		unsigned int i;
440*f0865ec9SKyle Evans 		/* r is of size beta */
441*f0865ec9SKyle Evans 		MUST_HAVE((block_size <= (u16)BYTECEIL(alpha)), ret, err);
442*f0865ec9SKyle Evans 		ret = _i2osp(y, pi_buf, (u16)BYTECEIL(alpha)); EG(ret, err);
443*f0865ec9SKyle Evans 		ret = buf_lshift(pi_buf, (u16)BYTECEIL(alpha), (u16)(BYTECEIL(alpha) - block_size)); EG(ret, err);
444*f0865ec9SKyle Evans 		ret = gen_hash_init(&hash_ctx, kcdsa_hash); EG(ret, err);
445*f0865ec9SKyle Evans 		ret = gen_hash_update(&hash_ctx, pi_buf, block_size, kcdsa_hash); EG(ret, err);
446*f0865ec9SKyle Evans 		ret = gen_hash_update(&hash_ctx, msg, msglen, kcdsa_hash); EG(ret, err);
447*f0865ec9SKyle Evans 		ret = gen_hash_final(&hash_ctx, hash, kcdsa_hash); EG(ret, err);
448*f0865ec9SKyle Evans 		/* ... and proceed with the appropriate tuncation */
449*f0865ec9SKyle Evans 		ret = buf_lshift(hash, hlen, (u16)(hlen - BYTECEIL(beta))); EG(ret, err);
450*f0865ec9SKyle Evans 		for(i = 0; i < (u16)BYTECEIL(beta); i++){
451*f0865ec9SKyle Evans 			hash[i] = (hash[i] ^ sig[i]);
452*f0865ec9SKyle Evans 		}
453*f0865ec9SKyle Evans 		ret = _os2ip(&v, hash, (u16)BYTECEIL(beta)); EG(ret, err);
454*f0865ec9SKyle Evans 	}
455*f0865ec9SKyle Evans 
456*f0865ec9SKyle Evans 	/* Reduce v modulo q */
457*f0865ec9SKyle Evans 	ret = nn_mod(&v, &v, q); EG(ret, err);
458*f0865ec9SKyle Evans 
459*f0865ec9SKyle Evans 	/* NOTE: no need to use a secure exponentiation here as we only
460*f0865ec9SKyle Evans 	 * manipulate public data.
461*f0865ec9SKyle Evans 	 */
462*f0865ec9SKyle Evans 	/* Compute (y ** s) mod (p) */
463*f0865ec9SKyle Evans 	ret = _nn_mod_pow_insecure(&u, y, &s, p); EG(ret, err);
464*f0865ec9SKyle Evans 	/* Compute (g ** v) mod (p) */
465*f0865ec9SKyle Evans 	ret = _nn_mod_pow_insecure(&pi, g, &v, p); EG(ret, err);
466*f0865ec9SKyle Evans 	/* Compute (y ** s) (g ** v) mod (p) */
467*f0865ec9SKyle Evans 	ret = nn_mod_mul(&pi, &pi, &u, p); EG(ret, err);
468*f0865ec9SKyle Evans 
469*f0865ec9SKyle Evans 	/* Compute I2BS(alpha, pi)
470*f0865ec9SKyle Evans 	 */
471*f0865ec9SKyle Evans 	MUST_HAVE((sizeof(pi_buf) >= (u16)BYTECEIL(alpha)), ret, err);
472*f0865ec9SKyle Evans 	ret = _i2osp(&pi, pi_buf, (u16)BYTECEIL(alpha)); EG(ret, err);
473*f0865ec9SKyle Evans 
474*f0865ec9SKyle Evans 	if(hlen <= (u16)BYTECEIL(beta)){
475*f0865ec9SKyle Evans 		/* r = h(I2BS(alpha, pi)) */
476*f0865ec9SKyle Evans 		ret = gen_hash_init(&hash_ctx, kcdsa_hash); EG(ret, err);
477*f0865ec9SKyle Evans 		ret = gen_hash_update(&hash_ctx, pi_buf, (u16)BYTECEIL(alpha), kcdsa_hash); EG(ret, err);
478*f0865ec9SKyle Evans 		/* Export r result of the hash function in sig */
479*f0865ec9SKyle Evans 		ret = gen_hash_final(&hash_ctx, hash, kcdsa_hash); EG(ret, err);
480*f0865ec9SKyle Evans 	}
481*f0865ec9SKyle Evans 	else{
482*f0865ec9SKyle Evans 		/* h(I2BS(alpha, pi)) */
483*f0865ec9SKyle Evans 		ret = gen_hash_init(&hash_ctx, kcdsa_hash); EG(ret, err);
484*f0865ec9SKyle Evans 		ret = gen_hash_update(&hash_ctx, pi_buf, (u16)BYTECEIL(alpha), kcdsa_hash); EG(ret, err);
485*f0865ec9SKyle Evans 		/* Export r result of the hash function in sig ... */
486*f0865ec9SKyle Evans 		ret = gen_hash_final(&hash_ctx, hash, kcdsa_hash); EG(ret, err);
487*f0865ec9SKyle Evans 		/* ... and proceed with the appropriate tuncation */
488*f0865ec9SKyle Evans 		ret = buf_lshift(hash, hlen, (u16)(hlen - BYTECEIL(beta))); EG(ret, err);
489*f0865ec9SKyle Evans 	}
490*f0865ec9SKyle Evans 
491*f0865ec9SKyle Evans 	/* Now check that r == r' */
492*f0865ec9SKyle Evans 	ret = are_equal(sig, hash, curr_rlen, &cmp); EG(ret, err);
493*f0865ec9SKyle Evans 	ret = (cmp != 1) ? -1 : 0;
494*f0865ec9SKyle Evans 
495*f0865ec9SKyle Evans err:
496*f0865ec9SKyle Evans 	nn_uninit(&s);
497*f0865ec9SKyle Evans 	nn_uninit(&u);
498*f0865ec9SKyle Evans 	nn_uninit(&v);
499*f0865ec9SKyle Evans 	nn_uninit(&pi);
500*f0865ec9SKyle Evans 
501*f0865ec9SKyle Evans 	PTR_NULLIFY(p);
502*f0865ec9SKyle Evans 	PTR_NULLIFY(q);
503*f0865ec9SKyle Evans 	PTR_NULLIFY(g);
504*f0865ec9SKyle Evans 	PTR_NULLIFY(y);
505*f0865ec9SKyle Evans 
506*f0865ec9SKyle Evans 	return ret;
507*f0865ec9SKyle Evans }
508*f0865ec9SKyle Evans 
509*f0865ec9SKyle Evans #ifdef KCDSA
510*f0865ec9SKyle Evans #include <libecc/utils/print_buf.h>
511*f0865ec9SKyle Evans int main(int argc, char *argv[])
512*f0865ec9SKyle Evans {
513*f0865ec9SKyle Evans  	int ret = 0;
514*f0865ec9SKyle Evans 
515*f0865ec9SKyle Evans #if 0
516*f0865ec9SKyle Evans 	/* This example is taken from ISO14888-3 KCDSA (Appendix F "Numerical examples" */
517*f0865ec9SKyle Evans 	const u8 p[] = {
518*f0865ec9SKyle Evans 0x8D, 0xA8, 0xC1, 0xB5, 0xC9, 0x5D, 0x11, 0xBE, 0x46, 0x66, 0x1D, 0xF5, 0x8C, 0x9F, 0x80, 0x3E, 0xB7, 0x29, 0xB8, 0x00, 0xDD, 0x92, 0x75, 0x1B,
519*f0865ec9SKyle Evans 0x3A, 0x4F, 0x10, 0xC6, 0xA5, 0x44, 0x8E, 0x9F, 0x3B, 0xC0, 0xE9, 0x16, 0xF0, 0x42, 0xE3, 0x99, 0xB3, 0x4A, 0xF9, 0xBE, 0xE5, 0x82, 0xCC, 0xFC,
520*f0865ec9SKyle Evans 0x3F, 0xF5, 0x00, 0x0C, 0xFF, 0x23, 0x56, 0x94, 0x94, 0x35, 0x1C, 0xFE, 0xA5, 0x52, 0x9E, 0xA3, 0x47, 0xDC, 0xF4, 0x3F, 0x30, 0x2F, 0x58, 0x94,
521*f0865ec9SKyle Evans 0x38, 0x07, 0x09, 0xEA, 0x2E, 0x1C, 0x41, 0x6B, 0x51, 0xA5, 0xCD, 0xFC, 0x75, 0x93, 0xB1, 0x8B, 0x7E, 0x37, 0x88, 0xD5, 0x1B, 0x9C, 0xC9, 0xAE,
522*f0865ec9SKyle Evans 0x82, 0x8B, 0x4F, 0x8F, 0xB0, 0x6E, 0x0E, 0x90, 0x57, 0xF7, 0xFA, 0x0F, 0x93, 0xBB, 0x03, 0x97, 0x03, 0x1F, 0xE7, 0xD5, 0x0A, 0x68, 0x28, 0xDA,
523*f0865ec9SKyle Evans 0x0C, 0x11, 0x60, 0xA0, 0xE6, 0x6D, 0x4E, 0x5D, 0x2A, 0x18, 0xAD, 0x17, 0xA8, 0x11, 0xE7, 0x0B, 0x14, 0xF4, 0xF4, 0x31, 0x1A, 0x02, 0x82, 0x60,
524*f0865ec9SKyle Evans 0x32, 0x33, 0x44, 0x4F, 0x98, 0x76, 0x3C, 0x5A, 0x1E, 0x82, 0x9C, 0x76, 0x4C, 0xF3, 0x6A, 0xDB, 0x56, 0x98, 0x0B, 0xD4, 0xC5, 0x4B, 0xBE, 0x29,
525*f0865ec9SKyle Evans 0x7E, 0x79, 0x02, 0x28, 0x42, 0x92, 0xD7, 0x5C, 0xA3, 0x60, 0x0F, 0xF4, 0x59, 0x31, 0x0B, 0x09, 0x29, 0x1C, 0xBE, 0xFB, 0xC7, 0x21, 0x52, 0x8A,
526*f0865ec9SKyle Evans 0x13, 0x40, 0x3B, 0x8B, 0x93, 0xB7, 0x11, 0xC3, 0x03, 0xA2, 0x18, 0x2B, 0x6E, 0x63, 0x97, 0xE0, 0x83, 0x38, 0x0B, 0xF2, 0x88, 0x6A, 0xF3, 0xB9,
527*f0865ec9SKyle Evans 0xAF, 0xCC, 0x9F, 0x50, 0x55, 0xD8, 0xB7, 0x13, 0x6C, 0x0E, 0xBD, 0x08, 0xC5, 0xCF, 0x0B, 0x38, 0x88, 0x8C, 0xD1, 0x15, 0x72, 0x78, 0x7F, 0x6D,
528*f0865ec9SKyle Evans 0xF3, 0x84, 0xC9, 0x7C, 0x91, 0xB5, 0x8C, 0x31, 0xDE, 0xE5, 0x65, 0x5E, 0xCB, 0xF3, 0xFA, 0x53,
529*f0865ec9SKyle Evans 	};
530*f0865ec9SKyle Evans 
531*f0865ec9SKyle Evans 	const u8 q[] = {
532*f0865ec9SKyle Evans 0x86, 0x4F, 0x18, 0x84, 0x1E, 0xC1, 0x03, 0xCD, 0xFD, 0x1B, 0xE7, 0xFE, 0xE5, 0x46, 0x50, 0xF2, 0x2A, 0x3B, 0xB9, 0x97, 0x53, 0x7F, 0x32, 0xCC,
533*f0865ec9SKyle Evans 0x79, 0xA5, 0x1F, 0x53,
534*f0865ec9SKyle Evans 	};
535*f0865ec9SKyle Evans 
536*f0865ec9SKyle Evans 	const u8 g[] = {
537*f0865ec9SKyle Evans 0x0E, 0x9B, 0xE1, 0xF8, 0x7A, 0x41, 0x4D, 0x16, 0x7A, 0x9A, 0x5A, 0x96, 0x8B, 0x07, 0x9E, 0x4A, 0xD3, 0x85, 0xA3, 0x57, 0x3E, 0xDB, 0x21, 0xAA,
538*f0865ec9SKyle Evans 0x67, 0xA6, 0xF6, 0x1C, 0x0D, 0x00, 0xC1, 0x4A, 0x7A, 0x22, 0x50, 0x44, 0xB6, 0xE9, 0xEB, 0x03, 0x68, 0xC1, 0xEB, 0x57, 0xB2, 0x4B, 0x45, 0xCD,
539*f0865ec9SKyle Evans 0x85, 0x4F, 0xD9, 0x3C, 0x1B, 0x2D, 0xFB, 0x0A, 0x3E, 0xA3, 0x02, 0xD2, 0x36, 0x7E, 0x4E, 0xC7, 0x2F, 0x6E, 0x7E, 0xE8, 0xEA, 0x7F, 0x80, 0x02,
540*f0865ec9SKyle Evans 0xF7, 0x70, 0x4E, 0x99, 0x0B, 0x95, 0x4F, 0x25, 0xBA, 0xDA, 0x8D, 0xA6, 0x2B, 0xAE, 0xB6, 0xF0, 0x69, 0x53, 0xC0, 0xC8, 0x51, 0x04, 0xAD, 0x03,
541*f0865ec9SKyle Evans 0xF3, 0x66, 0x18, 0xF7, 0x6C, 0x62, 0xF4, 0xEC, 0xF3, 0x48, 0x01, 0x83, 0x69, 0x85, 0x0A, 0x56, 0x17, 0xC9, 0x99, 0xDB, 0xE6, 0x8B, 0xA1, 0x7D,
542*f0865ec9SKyle Evans 0x5B, 0xC7, 0x25, 0x56, 0x74, 0xEF, 0x48, 0x39, 0x22, 0xC6, 0xA3, 0xF9, 0x9D, 0x3C, 0x3C, 0x6F, 0x35, 0x88, 0x96, 0xC4, 0xE6, 0x3C, 0x60, 0x5E,
543*f0865ec9SKyle Evans 0xE7, 0xDB, 0x16, 0xFC, 0xBD, 0x9B, 0xE3, 0x54, 0xE2, 0x81, 0xF7, 0xFE, 0x78, 0x13, 0xD0, 0x54, 0x27, 0xED, 0x19, 0x12, 0xB5, 0xC7, 0x65, 0x3A,
544*f0865ec9SKyle Evans 0x16, 0x7B, 0x94, 0x34, 0x91, 0x47, 0xEE, 0xAF, 0x85, 0xCC, 0x9C, 0xE2, 0xE8, 0x16, 0x61, 0xF3, 0x21, 0x51, 0x2D, 0x5D, 0x2C, 0x05, 0x80, 0xB0,
545*f0865ec9SKyle Evans 0x3D, 0x17, 0x04, 0xEE, 0xF2, 0x31, 0x7F, 0x45, 0x18, 0x5C, 0x82, 0x58, 0x38, 0x7E, 0x7E, 0xC9, 0x79, 0xC0, 0x47, 0x07, 0xEF, 0x54, 0x62, 0x41,
546*f0865ec9SKyle Evans 0x27, 0x84, 0xAF, 0xE4, 0x1A, 0x7B, 0x45, 0xC8, 0x3B, 0x9C, 0xBE, 0x48, 0xF9, 0x12, 0x7C, 0xB4, 0x40, 0x0B, 0xE9, 0xE9, 0x6A, 0xC5, 0xDE, 0x17,
547*f0865ec9SKyle Evans 0xF2, 0xC9, 0xDE, 0xA3, 0x5E, 0x37, 0x34, 0xE7, 0x9B, 0x64, 0x67, 0x3F, 0x85, 0x68, 0x1C, 0x4E,
548*f0865ec9SKyle Evans 	};
549*f0865ec9SKyle Evans 
550*f0865ec9SKyle Evans 	const u8 x[] = {
551*f0865ec9SKyle Evans 0x2F, 0x19, 0x91, 0xC1, 0xAF, 0x40, 0x18, 0x72, 0x8A, 0x5A, 0x43, 0x1B, 0x9B, 0x54, 0x59, 0xDF, 0xB1, 0x6F, 0x6D, 0x25, 0x67, 0x97, 0xFE, 0x57,
552*f0865ec9SKyle Evans 0x0E, 0xC6, 0xBC, 0x65,
553*f0865ec9SKyle Evans 	};
554*f0865ec9SKyle Evans 
555*f0865ec9SKyle Evans 	const u8 y[] = {
556*f0865ec9SKyle Evans 0x04, 0xED, 0xE5, 0xC6, 0x7E, 0xA2, 0x92, 0x97, 0xA8, 0xCA, 0xCB, 0x6B, 0xDE, 0x6F, 0x46, 0x66, 0xAE, 0xA2, 0x7D, 0x10, 0x3D, 0xD1, 0xE9, 0xE9,
557*f0865ec9SKyle Evans 0x58, 0x2F, 0x76, 0xA2, 0xF2, 0x2B, 0x8B, 0x1B, 0x32, 0x23, 0x0B, 0xC5, 0x8F, 0x06, 0xB7, 0x68, 0xF8, 0x10, 0x2B, 0x49, 0xFA, 0x1C, 0xAE, 0x5E,
558*f0865ec9SKyle Evans 0x18, 0x92, 0x14, 0x94, 0x7F, 0x62, 0x39, 0xB6, 0xC6, 0xCE, 0x7C, 0x9B, 0xC2, 0xD2, 0x30, 0xE8, 0x9A, 0x40, 0xBE, 0xE2, 0xC3, 0x3A, 0x88, 0x61,
559*f0865ec9SKyle Evans 0xFD, 0x4F, 0x7D, 0x35, 0xB7, 0x88, 0xFE, 0x95, 0xB2, 0xD5, 0x88, 0x5D, 0x8C, 0x8F, 0xAE, 0xA8, 0x1C, 0x90, 0xBE, 0x4C, 0xEE, 0x27, 0x84, 0xE3,
560*f0865ec9SKyle Evans 0x35, 0x77, 0xA7, 0x1D, 0x3B, 0x7F, 0x08, 0x5D, 0x71, 0xE9, 0xA1, 0xD4, 0x78, 0x15, 0xC7, 0x3F, 0xA0, 0x87, 0xAC, 0xAA, 0xB9, 0xFC, 0xB5, 0x65,
561*f0865ec9SKyle Evans 0x5A, 0xC9, 0x57, 0x0E, 0x68, 0x52, 0xBE, 0x7C, 0x9C, 0x0A, 0xEC, 0xEA, 0x8B, 0xD9, 0xAA, 0x75, 0xA4, 0x4F, 0xC3, 0x14, 0x7F, 0x73, 0x3E, 0x90,
562*f0865ec9SKyle Evans 0x6A, 0xDB, 0x0F, 0xD7, 0x6D, 0x61, 0x35, 0x61, 0xB1, 0xDB, 0x36, 0x4B, 0xBD, 0xC9, 0xAF, 0xD3, 0xCE, 0x8F, 0x5F, 0x17, 0xE3, 0xE7, 0x12, 0x03,
563*f0865ec9SKyle Evans 0x4A, 0x99, 0x93, 0x50, 0x80, 0x59, 0xFA, 0x52, 0x44, 0x1F, 0xA9, 0x0D, 0xDF, 0xE9, 0xA0, 0xF2, 0xA0, 0xB9, 0x19, 0x2F, 0xE2, 0x22, 0x0C, 0x08,
564*f0865ec9SKyle Evans 0x1B, 0xD0, 0xC0, 0xF0, 0xE0, 0x7C, 0xB5, 0xF1, 0xEE, 0x4F, 0xF4, 0x05, 0x23, 0x59, 0x1F, 0x17, 0x8A, 0x4F, 0xC7, 0xCB, 0x50, 0x65, 0xF6, 0xA3,
565*f0865ec9SKyle Evans 0x82, 0x16, 0xE9, 0xA0, 0x99, 0xC2, 0x05, 0xB2, 0x9B, 0x87, 0x46, 0xD8, 0x65, 0xE1, 0xAF, 0x6D, 0x90, 0x3E, 0x5A, 0x13, 0x80, 0x04, 0x91, 0x0B,
566*f0865ec9SKyle Evans 0x70, 0xEB, 0x5B, 0x84, 0xEE, 0xD9, 0x76, 0x0E, 0xA6, 0x05, 0x78, 0xBF, 0x08, 0x85, 0x28, 0x98,
567*f0865ec9SKyle Evans 	};
568*f0865ec9SKyle Evans 
569*f0865ec9SKyle Evans 	const u8 msg[] = "This is a test message for KCDSA usage!";
570*f0865ec9SKyle Evans 
571*f0865ec9SKyle Evans 	const u8 nonce[] = {
572*f0865ec9SKyle Evans 0x49, 0x56, 0x19, 0x94, 0xFD, 0x2B, 0xAD, 0x5E, 0x41, 0x0C, 0xA1, 0xC1, 0x5C, 0x3F, 0xD3, 0xF1, 0x2E, 0x70, 0x26, 0x3F, 0x28, 0x20, 0xAD, 0x5C,
573*f0865ec9SKyle Evans 0x56, 0x6D, 0xED, 0x80,
574*f0865ec9SKyle Evans 	};
575*f0865ec9SKyle Evans 	u8 sig[28*2] = { 0 };
576*f0865ec9SKyle Evans 	gen_hash_alg_type kcdsa_hash = HASH_SHA224;
577*f0865ec9SKyle Evans #endif
578*f0865ec9SKyle Evans 
579*f0865ec9SKyle Evans #if 0
580*f0865ec9SKyle Evans 	/* This example is taken from ISO14888-3 KCDSA (Appendix F "Numerical examples" */
581*f0865ec9SKyle Evans 	const u8 p[] = {
582*f0865ec9SKyle Evans 0x8D, 0xA8, 0xC1, 0xB5, 0xC9, 0x5D, 0x11, 0xBE, 0x46, 0x66, 0x1D, 0xF5, 0x8C, 0x9F, 0x80, 0x3E, 0xB7, 0x29, 0xB8, 0x00, 0xDD, 0x92, 0x75, 0x1B,
583*f0865ec9SKyle Evans 0x3A, 0x4F, 0x10, 0xC6, 0xA5, 0x44, 0x8E, 0x9F, 0x3B, 0xC0, 0xE9, 0x16, 0xF0, 0x42, 0xE3, 0x99, 0xB3, 0x4A, 0xF9, 0xBE, 0xE5, 0x82, 0xCC, 0xFC,
584*f0865ec9SKyle Evans 0x3F, 0xF5, 0x00, 0x0C, 0xFF, 0x23, 0x56, 0x94, 0x94, 0x35, 0x1C, 0xFE, 0xA5, 0x52, 0x9E, 0xA3, 0x47, 0xDC, 0xF4, 0x3F, 0x30, 0x2F, 0x58, 0x94,
585*f0865ec9SKyle Evans 0x38, 0x07, 0x09, 0xEA, 0x2E, 0x1C, 0x41, 0x6B, 0x51, 0xA5, 0xCD, 0xFC, 0x75, 0x93, 0xB1, 0x8B, 0x7E, 0x37, 0x88, 0xD5, 0x1B, 0x9C, 0xC9, 0xAE,
586*f0865ec9SKyle Evans 0x82, 0x8B, 0x4F, 0x8F, 0xB0, 0x6E, 0x0E, 0x90, 0x57, 0xF7, 0xFA, 0x0F, 0x93, 0xBB, 0x03, 0x97, 0x03, 0x1F, 0xE7, 0xD5, 0x0A, 0x68, 0x28, 0xDA,
587*f0865ec9SKyle Evans 0x0C, 0x11, 0x60, 0xA0, 0xE6, 0x6D, 0x4E, 0x5D, 0x2A, 0x18, 0xAD, 0x17, 0xA8, 0x11, 0xE7, 0x0B, 0x14, 0xF4, 0xF4, 0x31, 0x1A, 0x02, 0x82, 0x60,
588*f0865ec9SKyle Evans 0x32, 0x33, 0x44, 0x4F, 0x98, 0x76, 0x3C, 0x5A, 0x1E, 0x82, 0x9C, 0x76, 0x4C, 0xF3, 0x6A, 0xDB, 0x56, 0x98, 0x0B, 0xD4, 0xC5, 0x4B, 0xBE, 0x29,
589*f0865ec9SKyle Evans 0x7E, 0x79, 0x02, 0x28, 0x42, 0x92, 0xD7, 0x5C, 0xA3, 0x60, 0x0F, 0xF4, 0x59, 0x31, 0x0B, 0x09, 0x29, 0x1C, 0xBE, 0xFB, 0xC7, 0x21, 0x52, 0x8A,
590*f0865ec9SKyle Evans 0x13, 0x40, 0x3B, 0x8B, 0x93, 0xB7, 0x11, 0xC3, 0x03, 0xA2, 0x18, 0x2B, 0x6E, 0x63, 0x97, 0xE0, 0x83, 0x38, 0x0B, 0xF2, 0x88, 0x6A, 0xF3, 0xB9,
591*f0865ec9SKyle Evans 0xAF, 0xCC, 0x9F, 0x50, 0x55, 0xD8, 0xB7, 0x13, 0x6C, 0x0E, 0xBD, 0x08, 0xC5, 0xCF, 0x0B, 0x38, 0x88, 0x8C, 0xD1, 0x15, 0x72, 0x78, 0x7F, 0x6D,
592*f0865ec9SKyle Evans 0xF3, 0x84, 0xC9, 0x7C, 0x91, 0xB5, 0x8C, 0x31, 0xDE, 0xE5, 0x65, 0x5E, 0xCB, 0xF3, 0xFA, 0x53,
593*f0865ec9SKyle Evans 	};
594*f0865ec9SKyle Evans 
595*f0865ec9SKyle Evans 	const u8 q[] = {
596*f0865ec9SKyle Evans 0x86, 0x4F, 0x18, 0x84, 0x1E, 0xC1, 0x03, 0xCD, 0xFD, 0x1B, 0xE7, 0xFE, 0xE5, 0x46, 0x50, 0xF2, 0x2A, 0x3B, 0xB9, 0x97, 0x53, 0x7F, 0x32, 0xCC,
597*f0865ec9SKyle Evans 0x79, 0xA5, 0x1F, 0x53,
598*f0865ec9SKyle Evans 	};
599*f0865ec9SKyle Evans 
600*f0865ec9SKyle Evans 	const u8 g[] = {
601*f0865ec9SKyle Evans 0x0E, 0x9B, 0xE1, 0xF8, 0x7A, 0x41, 0x4D, 0x16, 0x7A, 0x9A, 0x5A, 0x96, 0x8B, 0x07, 0x9E, 0x4A, 0xD3, 0x85, 0xA3, 0x57, 0x3E, 0xDB, 0x21, 0xAA,
602*f0865ec9SKyle Evans 0x67, 0xA6, 0xF6, 0x1C, 0x0D, 0x00, 0xC1, 0x4A, 0x7A, 0x22, 0x50, 0x44, 0xB6, 0xE9, 0xEB, 0x03, 0x68, 0xC1, 0xEB, 0x57, 0xB2, 0x4B, 0x45, 0xCD,
603*f0865ec9SKyle Evans 0x85, 0x4F, 0xD9, 0x3C, 0x1B, 0x2D, 0xFB, 0x0A, 0x3E, 0xA3, 0x02, 0xD2, 0x36, 0x7E, 0x4E, 0xC7, 0x2F, 0x6E, 0x7E, 0xE8, 0xEA, 0x7F, 0x80, 0x02,
604*f0865ec9SKyle Evans 0xF7, 0x70, 0x4E, 0x99, 0x0B, 0x95, 0x4F, 0x25, 0xBA, 0xDA, 0x8D, 0xA6, 0x2B, 0xAE, 0xB6, 0xF0, 0x69, 0x53, 0xC0, 0xC8, 0x51, 0x04, 0xAD, 0x03,
605*f0865ec9SKyle Evans 0xF3, 0x66, 0x18, 0xF7, 0x6C, 0x62, 0xF4, 0xEC, 0xF3, 0x48, 0x01, 0x83, 0x69, 0x85, 0x0A, 0x56, 0x17, 0xC9, 0x99, 0xDB, 0xE6, 0x8B, 0xA1, 0x7D,
606*f0865ec9SKyle Evans 0x5B, 0xC7, 0x25, 0x56, 0x74, 0xEF, 0x48, 0x39, 0x22, 0xC6, 0xA3, 0xF9, 0x9D, 0x3C, 0x3C, 0x6F, 0x35, 0x88, 0x96, 0xC4, 0xE6, 0x3C, 0x60, 0x5E,
607*f0865ec9SKyle Evans 0xE7, 0xDB, 0x16, 0xFC, 0xBD, 0x9B, 0xE3, 0x54, 0xE2, 0x81, 0xF7, 0xFE, 0x78, 0x13, 0xD0, 0x54, 0x27, 0xED, 0x19, 0x12, 0xB5, 0xC7, 0x65, 0x3A,
608*f0865ec9SKyle Evans 0x16, 0x7B, 0x94, 0x34, 0x91, 0x47, 0xEE, 0xAF, 0x85, 0xCC, 0x9C, 0xE2, 0xE8, 0x16, 0x61, 0xF3, 0x21, 0x51, 0x2D, 0x5D, 0x2C, 0x05, 0x80, 0xB0,
609*f0865ec9SKyle Evans 0x3D, 0x17, 0x04, 0xEE, 0xF2, 0x31, 0x7F, 0x45, 0x18, 0x5C, 0x82, 0x58, 0x38, 0x7E, 0x7E, 0xC9, 0x79, 0xC0, 0x47, 0x07, 0xEF, 0x54, 0x62, 0x41,
610*f0865ec9SKyle Evans 0x27, 0x84, 0xAF, 0xE4, 0x1A, 0x7B, 0x45, 0xC8, 0x3B, 0x9C, 0xBE, 0x48, 0xF9, 0x12, 0x7C, 0xB4, 0x40, 0x0B, 0xE9, 0xE9, 0x6A, 0xC5, 0xDE, 0x17,
611*f0865ec9SKyle Evans 0xF2, 0xC9, 0xDE, 0xA3, 0x5E, 0x37, 0x34, 0xE7, 0x9B, 0x64, 0x67, 0x3F, 0x85, 0x68, 0x1C, 0x4E,
612*f0865ec9SKyle Evans 	};
613*f0865ec9SKyle Evans 
614*f0865ec9SKyle Evans 	const u8 x[] = {
615*f0865ec9SKyle Evans 0x2F, 0x19, 0x91, 0xC1, 0xAF, 0x40, 0x18, 0x72, 0x8A, 0x5A, 0x43, 0x1B, 0x9B, 0x54, 0x59, 0xDF, 0xB1, 0x6F, 0x6D, 0x25, 0x67, 0x97, 0xFE, 0x57,
616*f0865ec9SKyle Evans 0x0E, 0xC6, 0xBC, 0x65,
617*f0865ec9SKyle Evans 	};
618*f0865ec9SKyle Evans 
619*f0865ec9SKyle Evans 	const u8 y[] = {
620*f0865ec9SKyle Evans 0x04, 0xED, 0xE5, 0xC6, 0x7E, 0xA2, 0x92, 0x97, 0xA8, 0xCA, 0xCB, 0x6B, 0xDE, 0x6F, 0x46, 0x66, 0xAE, 0xA2, 0x7D, 0x10, 0x3D, 0xD1, 0xE9, 0xE9,
621*f0865ec9SKyle Evans 0x58, 0x2F, 0x76, 0xA2, 0xF2, 0x2B, 0x8B, 0x1B, 0x32, 0x23, 0x0B, 0xC5, 0x8F, 0x06, 0xB7, 0x68, 0xF8, 0x10, 0x2B, 0x49, 0xFA, 0x1C, 0xAE, 0x5E,
622*f0865ec9SKyle Evans 0x18, 0x92, 0x14, 0x94, 0x7F, 0x62, 0x39, 0xB6, 0xC6, 0xCE, 0x7C, 0x9B, 0xC2, 0xD2, 0x30, 0xE8, 0x9A, 0x40, 0xBE, 0xE2, 0xC3, 0x3A, 0x88, 0x61,
623*f0865ec9SKyle Evans 0xFD, 0x4F, 0x7D, 0x35, 0xB7, 0x88, 0xFE, 0x95, 0xB2, 0xD5, 0x88, 0x5D, 0x8C, 0x8F, 0xAE, 0xA8, 0x1C, 0x90, 0xBE, 0x4C, 0xEE, 0x27, 0x84, 0xE3,
624*f0865ec9SKyle Evans 0x35, 0x77, 0xA7, 0x1D, 0x3B, 0x7F, 0x08, 0x5D, 0x71, 0xE9, 0xA1, 0xD4, 0x78, 0x15, 0xC7, 0x3F, 0xA0, 0x87, 0xAC, 0xAA, 0xB9, 0xFC, 0xB5, 0x65,
625*f0865ec9SKyle Evans 0x5A, 0xC9, 0x57, 0x0E, 0x68, 0x52, 0xBE, 0x7C, 0x9C, 0x0A, 0xEC, 0xEA, 0x8B, 0xD9, 0xAA, 0x75, 0xA4, 0x4F, 0xC3, 0x14, 0x7F, 0x73, 0x3E, 0x90,
626*f0865ec9SKyle Evans 0x6A, 0xDB, 0x0F, 0xD7, 0x6D, 0x61, 0x35, 0x61, 0xB1, 0xDB, 0x36, 0x4B, 0xBD, 0xC9, 0xAF, 0xD3, 0xCE, 0x8F, 0x5F, 0x17, 0xE3, 0xE7, 0x12, 0x03,
627*f0865ec9SKyle Evans 0x4A, 0x99, 0x93, 0x50, 0x80, 0x59, 0xFA, 0x52, 0x44, 0x1F, 0xA9, 0x0D, 0xDF, 0xE9, 0xA0, 0xF2, 0xA0, 0xB9, 0x19, 0x2F, 0xE2, 0x22, 0x0C, 0x08,
628*f0865ec9SKyle Evans 0x1B, 0xD0, 0xC0, 0xF0, 0xE0, 0x7C, 0xB5, 0xF1, 0xEE, 0x4F, 0xF4, 0x05, 0x23, 0x59, 0x1F, 0x17, 0x8A, 0x4F, 0xC7, 0xCB, 0x50, 0x65, 0xF6, 0xA3,
629*f0865ec9SKyle Evans 0x82, 0x16, 0xE9, 0xA0, 0x99, 0xC2, 0x05, 0xB2, 0x9B, 0x87, 0x46, 0xD8, 0x65, 0xE1, 0xAF, 0x6D, 0x90, 0x3E, 0x5A, 0x13, 0x80, 0x04, 0x91, 0x0B,
630*f0865ec9SKyle Evans 0x70, 0xEB, 0x5B, 0x84, 0xEE, 0xD9, 0x76, 0x0E, 0xA6, 0x05, 0x78, 0xBF, 0x08, 0x85, 0x28, 0x98,
631*f0865ec9SKyle Evans 	};
632*f0865ec9SKyle Evans 
633*f0865ec9SKyle Evans 	const u8 msg[] = "This is a test message for KCDSA usage!";
634*f0865ec9SKyle Evans 
635*f0865ec9SKyle Evans 	const u8 nonce[] = {
636*f0865ec9SKyle Evans 0x49, 0x56, 0x19, 0x94, 0xFD, 0x2B, 0xAD, 0x5E, 0x41, 0x0C, 0xA1, 0xC1, 0x5C, 0x3F, 0xD3, 0xF1, 0x2E, 0x70, 0x26, 0x3F, 0x28, 0x20, 0xAD, 0x5C,
637*f0865ec9SKyle Evans 0x56, 0x6D, 0xED, 0x80,
638*f0865ec9SKyle Evans 	};
639*f0865ec9SKyle Evans 	u8 sig[28*2] = { 0 };
640*f0865ec9SKyle Evans 	gen_hash_alg_type kcdsa_hash = HASH_SHA256;
641*f0865ec9SKyle Evans #endif
642*f0865ec9SKyle Evans 
643*f0865ec9SKyle Evans #if 1
644*f0865ec9SKyle Evans 	/* This example is taken from ISO14888-3 KCDSA (Appendix F "Numerical examples" */
645*f0865ec9SKyle Evans 	const u8 p[] = {
646*f0865ec9SKyle Evans 0xCB, 0xAE, 0xAC, 0xE3, 0x67, 0x7E, 0x98, 0xAD, 0xB2, 0xE4, 0x9C, 0x00, 0x2B, 0x8B, 0x0F, 0x43, 0x41, 0x43, 0xB4, 0x66, 0x51, 0x58, 0x39, 0xBF,
647*f0865ec9SKyle Evans 0x81, 0x3B, 0x09, 0x7D, 0x2D, 0x1E, 0xE6, 0x81, 0x50, 0x08, 0xC2, 0x7A, 0x34, 0x15, 0xBC, 0x22, 0x31, 0x60, 0x98, 0x74, 0x5E, 0x58, 0x44, 0xF3,
648*f0865ec9SKyle Evans 0x3E, 0xCC, 0x88, 0x87, 0xC1, 0x6D, 0xFB, 0x1C, 0xFB, 0x77, 0xDC, 0x4C, 0x3F, 0x35, 0x71, 0xCC, 0xEE, 0xFD, 0x42, 0x91, 0x8F, 0x6C, 0x48, 0xC3,
649*f0865ec9SKyle Evans 0x70, 0x2A, 0xB6, 0xEF, 0x09, 0x19, 0xB7, 0xE8, 0x40, 0x2F, 0xC8, 0x9B, 0x35, 0xD0, 0x9A, 0x0E, 0x50, 0x40, 0xE3, 0x09, 0x1E, 0xE4, 0x67, 0x4B,
650*f0865ec9SKyle Evans 0xE8, 0x91, 0x93, 0x3C, 0x10, 0x07, 0xE0, 0x17, 0xED, 0xD4, 0x08, 0x18, 0x7E, 0x41, 0x14, 0xB6, 0xBE, 0x55, 0x48, 0xD7, 0x8D, 0xB5, 0x8B, 0x84,
651*f0865ec9SKyle Evans 0x84, 0x75, 0xA4, 0x22, 0x62, 0xD7, 0xEB, 0x79, 0x5F, 0x08, 0xD1, 0x61, 0x10, 0x55, 0xEF, 0xEA, 0x8A, 0x6A, 0xEB, 0x20, 0xEB, 0x0F, 0x1C, 0x22,
652*f0865ec9SKyle Evans 0xF0, 0x02, 0xA2, 0xE8, 0x19, 0x5B, 0xCB, 0xBA, 0x83, 0x0B, 0x84, 0x61, 0x35, 0x31, 0xBD, 0xD9, 0xEC, 0x71, 0xE5, 0xA9, 0x7A, 0x9D, 0xCC, 0xC6,
653*f0865ec9SKyle Evans 0x5D, 0x61, 0x17, 0xB8, 0x5D, 0x0C, 0xA6, 0x6C, 0x3F, 0xDA, 0xA3, 0x47, 0x6E, 0x97, 0xAD, 0xCD, 0x05, 0xA1, 0xF4, 0x90, 0x2B, 0xD0, 0x4B, 0x92,
654*f0865ec9SKyle Evans 0xF4, 0x00, 0xC4, 0x2B, 0xA0, 0xC9, 0x94, 0x0A, 0x32, 0x60, 0x04, 0x43, 0x3B, 0x6D, 0x30, 0x01, 0x28, 0xBF, 0x93, 0x0F, 0x48, 0x4E, 0xAA, 0x63,
655*f0865ec9SKyle Evans 0x02, 0xCD, 0x7A, 0x31, 0x9E, 0xE5, 0xE5, 0x61, 0xA1, 0x2A, 0x36, 0x25, 0x59, 0x40, 0x20, 0xC2, 0x40, 0xDB, 0xA3, 0xBE, 0xBD, 0x8A, 0x47, 0x51,
656*f0865ec9SKyle Evans 0x58, 0x41, 0xF1, 0x98, 0xEB, 0xE4, 0x32, 0x18, 0x26, 0x39, 0x61, 0x6F, 0x6A, 0x7F, 0x9B, 0xD7, 0x43, 0x4F, 0x05, 0x34, 0x8F, 0x7F, 0x1D, 0xB3,
657*f0865ec9SKyle Evans 0x11, 0x5A, 0x9F, 0xEE, 0xBA, 0x98, 0x4A, 0x2B, 0x73, 0x78, 0x43, 0x34, 0xDE, 0x77, 0x37, 0xEE, 0x37, 0x04, 0x53, 0x5F, 0xCA, 0x2F, 0x49, 0x04,
658*f0865ec9SKyle Evans 0xCB, 0x4A, 0xD5, 0x8F, 0x17, 0x2F, 0x26, 0x48, 0xE1, 0xD6, 0x2D, 0x05, 0x85, 0x39, 0xAC, 0x78, 0x3D, 0x03, 0x2D, 0x18, 0x33, 0xD2, 0xB9, 0xAA,
659*f0865ec9SKyle Evans 0xD9, 0x69, 0x82, 0xC9, 0x69, 0x2E, 0x0D, 0xDB, 0xB6, 0x61, 0x55, 0x08, 0x83, 0xED, 0x66, 0xF7, 0xAA, 0x8B, 0xCE, 0x8F, 0xF0, 0x66, 0x3A, 0x0A,
660*f0865ec9SKyle Evans 0xDD, 0xA2, 0x26, 0xC7, 0xBD, 0x0E, 0x06, 0xDF, 0xC7, 0x25, 0x94, 0xA3, 0x87, 0xC6, 0x76, 0xA3, 0xCA, 0x06, 0xA3, 0x00, 0x62, 0xBE, 0x1D, 0x85,
661*f0865ec9SKyle Evans 0xF2, 0x3E, 0x3E, 0x02, 0xC4, 0xD6, 0x5E, 0x06, 0x1B, 0x61, 0x9B, 0x04, 0xE8, 0x3A, 0x31, 0x8E, 0xC5, 0x5E, 0xCA, 0x06, 0x9E, 0xB8, 0x56, 0x03,
662*f0865ec9SKyle Evans 	};
663*f0865ec9SKyle Evans 
664*f0865ec9SKyle Evans 	const u8 q[] = {
665*f0865ec9SKyle Evans 0xC2, 0xA8, 0xCA, 0xF4, 0x87, 0x18, 0x00, 0x79, 0x66, 0xF2, 0xEC, 0x13, 0x4E, 0xAB, 0xA3, 0xCB, 0xB0, 0x7F, 0x31, 0xA8, 0xF2, 0x66, 0x7A, 0xCB,
666*f0865ec9SKyle Evans 0x5D, 0x9B, 0x87, 0x2F, 0xA7, 0x60, 0xA4, 0x01,
667*f0865ec9SKyle Evans 	};
668*f0865ec9SKyle Evans 
669*f0865ec9SKyle Evans 	const u8 g[] = {
670*f0865ec9SKyle Evans 0x17, 0xA1, 0xC1, 0x67, 0xAF, 0x83, 0x6C, 0xC8, 0x51, 0x49, 0xBE, 0x43, 0x63, 0xF1, 0xBB, 0x4F, 0x00, 0x10, 0x84, 0x8F, 0xC9, 0xB6, 0x78, 0xB4,
671*f0865ec9SKyle Evans 0xE0, 0x26, 0xF1, 0xF3, 0x87, 0x13, 0x37, 0x49, 0xA4, 0xB1, 0xBB, 0xA4, 0xC2, 0x32, 0x52, 0xA4, 0xC8, 0x6F, 0x31, 0xE2, 0x1E, 0x8A, 0xCA, 0xCB,
672*f0865ec9SKyle Evans 0x4E, 0x33, 0xAD, 0x89, 0xB7, 0xC3, 0xD7, 0x9A, 0x54, 0x09, 0x26, 0x8B, 0xFB, 0xA8, 0x2B, 0x45, 0x81, 0x4E, 0x43, 0x52, 0x0C, 0x09, 0xD6, 0x31,
673*f0865ec9SKyle Evans 0x61, 0x3F, 0xA3, 0x5D, 0xB9, 0xCA, 0xF1, 0x8F, 0x79, 0x1C, 0x27, 0x29, 0xA4, 0xB0, 0x14, 0xBC, 0x79, 0xA8, 0x5A, 0x90, 0xCD, 0x54, 0x10, 0x37,
674*f0865ec9SKyle Evans 0x11, 0x9E, 0xCC, 0xDE, 0x07, 0x78, 0x86, 0x3F, 0xFC, 0xB9, 0xC2, 0x59, 0x31, 0xFC, 0xD3, 0x3A, 0x67, 0x06, 0xE5, 0xFE, 0x1F, 0x49, 0x5B, 0xB8,
675*f0865ec9SKyle Evans 0xBC, 0xB3, 0xD0, 0xEE, 0xC9, 0xB6, 0xD5, 0xA9, 0x37, 0x31, 0x27, 0xA2, 0x12, 0x1E, 0x37, 0xD9, 0x8A, 0x84, 0x03, 0x30, 0x25, 0x8D, 0xBF, 0xCE,
676*f0865ec9SKyle Evans 0xE7, 0xE0, 0x6F, 0x81, 0x5B, 0x69, 0xC1, 0x6C, 0x5D, 0x17, 0x28, 0x9C, 0x4C, 0xC3, 0x7E, 0x71, 0x9B, 0x85, 0x62, 0x98, 0xD4, 0xE1, 0x57, 0x4E,
677*f0865ec9SKyle Evans 0x4F, 0x4F, 0x85, 0x15, 0xBA, 0xF9, 0xA8, 0x50, 0xD1, 0x1D, 0xDA, 0x09, 0x55, 0xBC, 0x30, 0xFA, 0x5B, 0x16, 0x79, 0x2D, 0x67, 0x3A, 0x3B, 0x1F,
678*f0865ec9SKyle Evans 0x41, 0x51, 0x2F, 0xC3, 0xEB, 0x89, 0x45, 0x2D, 0x51, 0x50, 0x9F, 0x97, 0x4D, 0x87, 0x8B, 0x48, 0x2D, 0x2A, 0xD2, 0xED, 0x32, 0xBE, 0x19, 0x05,
679*f0865ec9SKyle Evans 0x6F, 0x57, 0x45, 0x04, 0x2B, 0xFF, 0x80, 0x4F, 0xB7, 0x48, 0x27, 0x96, 0x61, 0x2B, 0x74, 0x6F, 0xE8, 0xD7, 0x0A, 0x83, 0x8C, 0xC6, 0xF4, 0x96,
680*f0865ec9SKyle Evans 0xDD, 0x0F, 0xFC, 0x3D, 0x95, 0xC1, 0xE0, 0xB1, 0x98, 0x18, 0x4D, 0x73, 0x52, 0x36, 0x56, 0xA0, 0x64, 0x31, 0xBC, 0x52, 0x5C, 0x2B, 0xC1, 0x61,
681*f0865ec9SKyle Evans 0x97, 0x29, 0xE8, 0xC0, 0x88, 0xF6, 0xDF, 0x91, 0x56, 0x45, 0xE0, 0x60, 0x92, 0x2A, 0x4A, 0xF3, 0xED, 0xD6, 0x30, 0x47, 0xC7, 0xB6, 0x07, 0x7C,
682*f0865ec9SKyle Evans 0x66, 0x7C, 0x07, 0xD8, 0x8E, 0xB0, 0x0F, 0x4C, 0xFE, 0x59, 0xD3, 0x2E, 0x5F, 0x54, 0x50, 0x12, 0xC5, 0x66, 0x51, 0x6B, 0x78, 0x74, 0xFB, 0x3D,
683*f0865ec9SKyle Evans 0xAE, 0xD5, 0x14, 0x03, 0x31, 0xF2, 0x95, 0x28, 0xB3, 0x0F, 0xC8, 0xB8, 0xA9, 0x37, 0x1C, 0x28, 0x18, 0x01, 0x7B, 0x09, 0x53, 0xA8, 0x4F, 0xFC,
684*f0865ec9SKyle Evans 0x9F, 0xBF, 0xF8, 0x4B, 0x64, 0xBF, 0x02, 0x38, 0xAA, 0x7E, 0x2A, 0xF2, 0xEC, 0xAD, 0xC1, 0x5A, 0x1C, 0x06, 0xDA, 0xDC, 0xF1, 0xF2, 0xE7, 0xB1,
685*f0865ec9SKyle Evans 0x24, 0x0A, 0x5E, 0x64, 0x5A, 0x64, 0x69, 0xC9, 0xB0, 0x02, 0x21, 0x5D, 0x9A, 0x91, 0xC2, 0xA4, 0xED, 0x2F, 0xB5, 0x47, 0xA9, 0x42, 0xD7, 0x77,
686*f0865ec9SKyle Evans 	};
687*f0865ec9SKyle Evans 
688*f0865ec9SKyle Evans 	const u8 x[] = {
689*f0865ec9SKyle Evans 0x7C, 0x28, 0x56, 0x9A, 0x94, 0xB4, 0x6F, 0xA7, 0x45, 0xC8, 0xD3, 0x06, 0xAD, 0x7D, 0xC1, 0x89, 0x96, 0xCE, 0x04, 0x6E, 0xEB, 0xE0, 0x43, 0x83,
690*f0865ec9SKyle Evans 0x83, 0x91, 0xC2, 0x32, 0x07, 0x8D, 0xB0, 0x5A,
691*f0865ec9SKyle Evans 	};
692*f0865ec9SKyle Evans 
693*f0865ec9SKyle Evans 	const u8 y[] = {
694*f0865ec9SKyle Evans 0x25, 0x74, 0xE1, 0x0E, 0x80, 0x6F, 0x1C, 0x42, 0x58, 0xF7, 0xCF, 0x8F, 0xA4, 0xA6, 0xCF, 0x2B, 0xEB, 0x17, 0x7D, 0xBE, 0x60, 0xE4, 0xEC, 0x17,
695*f0865ec9SKyle Evans 0xDF, 0x21, 0xDC, 0xDB, 0xA7, 0x20, 0x73, 0xF6, 0x55, 0x65, 0x50, 0x6D, 0xA3, 0xDF, 0x98, 0xD5, 0xA6, 0xC8, 0xEE, 0xE6, 0x1B, 0x6B, 0x5D, 0x88,
696*f0865ec9SKyle Evans 0xB9, 0x8C, 0x47, 0xC2, 0xB2, 0xF6, 0xFC, 0x6F, 0x50, 0x4F, 0xA4, 0xFB, 0xC7, 0xF4, 0x11, 0xE2, 0x3E, 0xAA, 0x3B, 0x18, 0x7A, 0x35, 0x3D, 0xAE,
697*f0865ec9SKyle Evans 0xD4, 0x15, 0x33, 0xA9, 0x55, 0x8A, 0xB9, 0x32, 0x0A, 0x15, 0x4C, 0xAE, 0xCC, 0x54, 0x4E, 0x43, 0x00, 0x08, 0x88, 0x9A, 0x2C, 0x89, 0x93, 0x73,
698*f0865ec9SKyle Evans 0xEC, 0x75, 0xA2, 0x4C, 0xFF, 0x26, 0x24, 0x7C, 0xF2, 0x97, 0xD2, 0x93, 0x74, 0x7E, 0xCC, 0x05, 0xB3, 0x48, 0x36, 0x47, 0xA8, 0x7B, 0xCB, 0xB8,
699*f0865ec9SKyle Evans 0xD4, 0x50, 0x00, 0x92, 0x09, 0xF5, 0xE4, 0x49, 0xA0, 0x0A, 0x65, 0x9B, 0x63, 0x7C, 0xE1, 0x39, 0xCF, 0x64, 0x87, 0xAC, 0xA7, 0x0F, 0x9C, 0x00,
700*f0865ec9SKyle Evans 0xCB, 0x67, 0x0C, 0x7F, 0x3B, 0x95, 0xBF, 0xD7, 0xCF, 0x23, 0x6A, 0x0A, 0x6F, 0x3C, 0x93, 0xBE, 0x8D, 0x9C, 0xF5, 0x91, 0xC9, 0xD3, 0x06, 0x86,
701*f0865ec9SKyle Evans 0x94, 0x15, 0xB1, 0xAA, 0x97, 0x26, 0x4B, 0x90, 0x41, 0x67, 0x85, 0x0A, 0x47, 0x94, 0xC7, 0x80, 0xBE, 0x45, 0x27, 0xDF, 0xFE, 0xB6, 0x7B, 0xE6,
702*f0865ec9SKyle Evans 0xE6, 0x67, 0x86, 0xC5, 0xCC, 0xE0, 0x37, 0x8C, 0xCB, 0x49, 0x92, 0x0D, 0x85, 0x55, 0x58, 0xF4, 0xDA, 0xC4, 0xC4, 0x2F, 0x92, 0xDD, 0x22, 0x9B,
703*f0865ec9SKyle Evans 0x48, 0x3B, 0x22, 0x57, 0xDB, 0x0C, 0xE3, 0x5D, 0xC7, 0x37, 0xF9, 0x80, 0x1A, 0x26, 0x1A, 0x02, 0xBD, 0xF7, 0x18, 0xC2, 0xFD, 0x4D, 0x69, 0xC5,
704*f0865ec9SKyle Evans 0x2E, 0x0D, 0x97, 0x12, 0xB4, 0x2C, 0x48, 0x97, 0xBA, 0xE7, 0xC6, 0x84, 0xD3, 0xD3, 0x5B, 0xC5, 0x72, 0x6C, 0xE8, 0x99, 0x26, 0x96, 0xB0, 0x44,
705*f0865ec9SKyle Evans 0xD7, 0x22, 0xAF, 0xBA, 0x78, 0xEF, 0xA8, 0x58, 0xC4, 0xD1, 0x0F, 0x19, 0x72, 0x11, 0x2C, 0xE8, 0xFF, 0xD3, 0x97, 0x92, 0x49, 0xBF, 0x14, 0xE4,
706*f0865ec9SKyle Evans 0x9D, 0x8E, 0x0D, 0x9A, 0xCB, 0x1B, 0x0A, 0x9C, 0xA9, 0x0D, 0x05, 0x51, 0x18, 0x03, 0x84, 0x5D, 0x7C, 0x67, 0x0B, 0xCF, 0x1B, 0x06, 0x64, 0x97,
707*f0865ec9SKyle Evans 0xA7, 0x74, 0x3B, 0x08, 0xA2, 0x19, 0xE7, 0x64, 0xEA, 0x0A, 0x3A, 0x2A, 0x61, 0x76, 0x61, 0xC1, 0x6A, 0x37, 0x2F, 0xE0, 0x58, 0xB5, 0x47, 0xA2,
708*f0865ec9SKyle Evans 0x8B, 0x62, 0x6E, 0xCF, 0x44, 0x22, 0x22, 0xE1, 0x8E, 0xEF, 0x48, 0x7C, 0xC1, 0x01, 0xDB, 0xFB, 0x71, 0x5B, 0xC3, 0x3A, 0xB8, 0x59, 0x28, 0xEC,
709*f0865ec9SKyle Evans 0xF0, 0xBD, 0x4D, 0xEA, 0x30, 0xF2, 0x50, 0xA6, 0xA5, 0xC8, 0x61, 0x78, 0x83, 0xEA, 0x0F, 0x87, 0x3E, 0x7A, 0x46, 0x51, 0x98, 0xC4, 0x64, 0x4B,
710*f0865ec9SKyle Evans 	};
711*f0865ec9SKyle Evans 
712*f0865ec9SKyle Evans 	const u8 msg[] = "This is a test message for KCDSA usage!";
713*f0865ec9SKyle Evans 
714*f0865ec9SKyle Evans 	const u8 nonce[] = {
715*f0865ec9SKyle Evans 0x83, 0xF3, 0x00, 0x8F, 0xCE, 0xBA, 0xE5, 0x7E, 0xC7, 0xA6, 0x4A, 0x3A, 0xF7, 0xEE, 0x6E, 0xE1, 0x9C, 0xC1, 0x97, 0xA6, 0xD5, 0xEB, 0xA3, 0xA5,
716*f0865ec9SKyle Evans 0xB3, 0xEF, 0x79, 0xB2, 0xF8, 0xF3, 0xDD, 0x53,
717*f0865ec9SKyle Evans 	};
718*f0865ec9SKyle Evans 	u8 sig[32*2] = { 0 };
719*f0865ec9SKyle Evans 	gen_hash_alg_type kcdsa_hash = HASH_SHA256;
720*f0865ec9SKyle Evans #endif
721*f0865ec9SKyle Evans 
722*f0865ec9SKyle Evans 	kcdsa_priv_key priv;
723*f0865ec9SKyle Evans 	kcdsa_pub_key pub;
724*f0865ec9SKyle Evans 	kcdsa_pub_key pub2;
725*f0865ec9SKyle Evans 
726*f0865ec9SKyle Evans 	FORCE_USED_VAR(argc);
727*f0865ec9SKyle Evans 	FORCE_USED_VAR(argv);
728*f0865ec9SKyle Evans 
729*f0865ec9SKyle Evans 	/* Sanity check on size for DSA.
730*f0865ec9SKyle Evans 	 * NOTE: the double parentheses are here to handle -Wunreachable-code
731*f0865ec9SKyle Evans 	 */
732*f0865ec9SKyle Evans 	if((NN_USABLE_MAX_BIT_LEN) < (4096)){
733*f0865ec9SKyle Evans 		ext_printf("Error: you seem to have compiled libecc with usable NN size < 4096, not suitable for DSA.\n");
734*f0865ec9SKyle Evans 		ext_printf("  => Please recompile libecc with EXTRA_CFLAGS=\"-DUSER_NN_BIT_LEN=4096\"\n");
735*f0865ec9SKyle Evans 		ext_printf("     This will increase usable NN for proper DSA up to 4096 bits.\n");
736*f0865ec9SKyle Evans 		ext_printf("     Then recompile the current examples with the same EXTRA_CFLAGS=\"-DUSER_NN_BIT_LEN=4096\" flag and execute again!\n");
737*f0865ec9SKyle Evans 		/* NOTE: ret = 0 here to pass self tests even if the library is not compatible */
738*f0865ec9SKyle Evans 		ret = 0;
739*f0865ec9SKyle Evans 		goto err;
740*f0865ec9SKyle Evans 	}
741*f0865ec9SKyle Evans 
742*f0865ec9SKyle Evans 
743*f0865ec9SKyle Evans 	ret = kcdsa_import_priv_key(&priv, p, sizeof(p), q, sizeof(q), g, sizeof(g), x, sizeof(x)); EG(ret, err);
744*f0865ec9SKyle Evans 	ret = kcdsa_import_pub_key(&pub, p, sizeof(p), q, sizeof(q), g, sizeof(g), y, sizeof(y)); EG(ret, err);
745*f0865ec9SKyle Evans 	ret = kcdsa_compute_pub_from_priv(&pub2, &priv); EG(ret, err);
746*f0865ec9SKyle Evans 
747*f0865ec9SKyle Evans 	nn_print("y", &(pub2.y));
748*f0865ec9SKyle Evans 
749*f0865ec9SKyle Evans 	ret = kcdsa_sign(&priv, msg, sizeof(msg)-1, nonce, sizeof(nonce), sig, sizeof(sig), kcdsa_hash); EG(ret, err);
750*f0865ec9SKyle Evans 
751*f0865ec9SKyle Evans 	buf_print("sig", sig, sizeof(sig));
752*f0865ec9SKyle Evans 
753*f0865ec9SKyle Evans 	ret = kcdsa_verify(&pub, msg, sizeof(msg)-1, sig, sizeof(sig), kcdsa_hash);
754*f0865ec9SKyle Evans 	ext_printf("Signature result %d\n", ret);
755*f0865ec9SKyle Evans 
756*f0865ec9SKyle Evans err:
757*f0865ec9SKyle Evans 	return ret;
758*f0865ec9SKyle Evans }
759*f0865ec9SKyle Evans #endif
760