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