1*f0865ec9SKyle Evans /* 2*f0865ec9SKyle Evans * Copyright (C) 2017 - 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 * Jean-Pierre FLORI <jean-pierre.flori@ssi.gouv.fr> 8*f0865ec9SKyle Evans * 9*f0865ec9SKyle Evans * Contributors: 10*f0865ec9SKyle Evans * Nicolas VIVET <nicolas.vivet@ssi.gouv.fr> 11*f0865ec9SKyle Evans * Karim KHALFALLAH <karim.khalfallah@ssi.gouv.fr> 12*f0865ec9SKyle Evans * 13*f0865ec9SKyle Evans * This software is licensed under a dual BSD and GPL v2 license. 14*f0865ec9SKyle Evans * See LICENSE file at the root folder of the project. 15*f0865ec9SKyle Evans */ 16*f0865ec9SKyle Evans #include <libecc/nn/nn_add.h> 17*f0865ec9SKyle Evans #include <libecc/nn/nn.h> 18*f0865ec9SKyle Evans /* Use internal API header */ 19*f0865ec9SKyle Evans #include "nn_mul.h" 20*f0865ec9SKyle Evans 21*f0865ec9SKyle Evans /* 22*f0865ec9SKyle Evans * Compute out = (in1 * in2) & (2^(WORD_BYTES * wlimits) - 1). 23*f0865ec9SKyle Evans * 24*f0865ec9SKyle Evans * The function is constant time for all sets of parameters of given 25*f0865ec9SKyle Evans * lengths. 26*f0865ec9SKyle Evans * 27*f0865ec9SKyle Evans * Implementation: while most generic library implement some advanced 28*f0865ec9SKyle Evans * algorithm (Karatsuba, Toom-Cook, or FFT based algorithms) 29*f0865ec9SKyle Evans * which provide a performance advantage for large numbers, the code 30*f0865ec9SKyle Evans * below is mainly oriented towards simplicity and readibility. It is 31*f0865ec9SKyle Evans * a direct writing of the naive multiplication algorithm one has 32*f0865ec9SKyle Evans * learned in school. 33*f0865ec9SKyle Evans * 34*f0865ec9SKyle Evans * Portability: in order for the code to be portable, all word by 35*f0865ec9SKyle Evans * word multiplication are actually performed by an helper macro 36*f0865ec9SKyle Evans * on half words. 37*f0865ec9SKyle Evans * 38*f0865ec9SKyle Evans * Note: 'out' is initialized by the function (caller can omit it) 39*f0865ec9SKyle Evans * 40*f0865ec9SKyle Evans * Internal use only. Check on input nn left to the caller. 41*f0865ec9SKyle Evans * 42*f0865ec9SKyle Evans * The function returns 0 on succes, -1 on error. 43*f0865ec9SKyle Evans */ 44*f0865ec9SKyle Evans ATTRIBUTE_WARN_UNUSED_RET static int _nn_mul_low(nn_t out, nn_src_t in1, nn_src_t in2, 45*f0865ec9SKyle Evans u8 wlimit) 46*f0865ec9SKyle Evans { 47*f0865ec9SKyle Evans word_t carry, prod_high, prod_low; 48*f0865ec9SKyle Evans u8 i, j, pos; 49*f0865ec9SKyle Evans int ret; 50*f0865ec9SKyle Evans 51*f0865ec9SKyle Evans /* We have to check that wlimit does not exceed our NN_MAX_WORD_LEN */ 52*f0865ec9SKyle Evans MUST_HAVE(((wlimit * WORD_BYTES) <= NN_MAX_BYTE_LEN), ret, err); 53*f0865ec9SKyle Evans 54*f0865ec9SKyle Evans ret = nn_init(out, (u16)(wlimit * WORD_BYTES)); EG(ret, err); 55*f0865ec9SKyle Evans 56*f0865ec9SKyle Evans for (i = 0; i < in1->wlen; i++) { 57*f0865ec9SKyle Evans carry = 0; 58*f0865ec9SKyle Evans pos = 0; 59*f0865ec9SKyle Evans 60*f0865ec9SKyle Evans for (j = 0; j < in2->wlen; j++) { 61*f0865ec9SKyle Evans pos = (u8)(i + j); 62*f0865ec9SKyle Evans 63*f0865ec9SKyle Evans /* 64*f0865ec9SKyle Evans * size of the result provided by the caller may not 65*f0865ec9SKyle Evans * be large enough for what multiplication may 66*f0865ec9SKyle Evans * generate. 67*f0865ec9SKyle Evans */ 68*f0865ec9SKyle Evans if (pos >= wlimit) { 69*f0865ec9SKyle Evans continue; 70*f0865ec9SKyle Evans } 71*f0865ec9SKyle Evans 72*f0865ec9SKyle Evans /* 73*f0865ec9SKyle Evans * Compute the result of the multiplication of 74*f0865ec9SKyle Evans * two words. 75*f0865ec9SKyle Evans */ 76*f0865ec9SKyle Evans WORD_MUL(prod_high, prod_low, 77*f0865ec9SKyle Evans in1->val[i], in2->val[j]); 78*f0865ec9SKyle Evans /* 79*f0865ec9SKyle Evans * And add previous carry. 80*f0865ec9SKyle Evans */ 81*f0865ec9SKyle Evans prod_low = (word_t)(prod_low + carry); 82*f0865ec9SKyle Evans prod_high = (word_t)(prod_high + (prod_low < carry)); 83*f0865ec9SKyle Evans 84*f0865ec9SKyle Evans /* 85*f0865ec9SKyle Evans * Add computed word to what we can currently 86*f0865ec9SKyle Evans * find at current position in result. 87*f0865ec9SKyle Evans */ 88*f0865ec9SKyle Evans out->val[pos] = (word_t)(out->val[pos] + prod_low); 89*f0865ec9SKyle Evans carry = (word_t)(prod_high + (out->val[pos] < prod_low)); 90*f0865ec9SKyle Evans } 91*f0865ec9SKyle Evans 92*f0865ec9SKyle Evans /* 93*f0865ec9SKyle Evans * What remains in acc_high at end of previous loop should 94*f0865ec9SKyle Evans * be added to next word after pos in result. 95*f0865ec9SKyle Evans */ 96*f0865ec9SKyle Evans if ((pos + 1) < wlimit) { 97*f0865ec9SKyle Evans out->val[pos + 1] = (word_t)(out->val[pos + 1] + carry); 98*f0865ec9SKyle Evans } 99*f0865ec9SKyle Evans } 100*f0865ec9SKyle Evans 101*f0865ec9SKyle Evans err: 102*f0865ec9SKyle Evans return ret; 103*f0865ec9SKyle Evans } 104*f0865ec9SKyle Evans 105*f0865ec9SKyle Evans /* Aliased version. Internal use only. Check on input nn left to the caller */ 106*f0865ec9SKyle Evans ATTRIBUTE_WARN_UNUSED_RET static int _nn_mul_low_aliased(nn_t out, nn_src_t in1, nn_src_t in2, 107*f0865ec9SKyle Evans u8 wlimit) 108*f0865ec9SKyle Evans { 109*f0865ec9SKyle Evans nn out_cpy; 110*f0865ec9SKyle Evans int ret; 111*f0865ec9SKyle Evans out_cpy.magic = WORD(0); 112*f0865ec9SKyle Evans 113*f0865ec9SKyle Evans ret = _nn_mul_low(&out_cpy, in1, in2, wlimit); EG(ret, err); 114*f0865ec9SKyle Evans ret = nn_init(out, out_cpy.wlen); EG(ret, err); 115*f0865ec9SKyle Evans ret = nn_copy(out, &out_cpy); 116*f0865ec9SKyle Evans 117*f0865ec9SKyle Evans err: 118*f0865ec9SKyle Evans nn_uninit(&out_cpy); 119*f0865ec9SKyle Evans 120*f0865ec9SKyle Evans return ret; 121*f0865ec9SKyle Evans } 122*f0865ec9SKyle Evans 123*f0865ec9SKyle Evans /* Public version supporting aliasing. */ 124*f0865ec9SKyle Evans int nn_mul_low(nn_t out, nn_src_t in1, nn_src_t in2, u8 wlimit) 125*f0865ec9SKyle Evans { 126*f0865ec9SKyle Evans int ret; 127*f0865ec9SKyle Evans 128*f0865ec9SKyle Evans ret = nn_check_initialized(in1); EG(ret, err); 129*f0865ec9SKyle Evans ret = nn_check_initialized(in2); EG(ret, err); 130*f0865ec9SKyle Evans 131*f0865ec9SKyle Evans /* Handle output aliasing */ 132*f0865ec9SKyle Evans if ((out == in1) || (out == in2)) { 133*f0865ec9SKyle Evans ret = _nn_mul_low_aliased(out, in1, in2, wlimit); 134*f0865ec9SKyle Evans } else { 135*f0865ec9SKyle Evans ret = _nn_mul_low(out, in1, in2, wlimit); 136*f0865ec9SKyle Evans } 137*f0865ec9SKyle Evans 138*f0865ec9SKyle Evans err: 139*f0865ec9SKyle Evans return ret; 140*f0865ec9SKyle Evans } 141*f0865ec9SKyle Evans 142*f0865ec9SKyle Evans /* 143*f0865ec9SKyle Evans * Compute out = in1 * in2. 'out' is initialized by the function. 144*f0865ec9SKyle Evans * The function returns 0 on success, -1 on error. 145*f0865ec9SKyle Evans * 146*f0865ec9SKyle Evans * Aliasing supported. 147*f0865ec9SKyle Evans */ 148*f0865ec9SKyle Evans int nn_mul(nn_t out, nn_src_t in1, nn_src_t in2) 149*f0865ec9SKyle Evans { 150*f0865ec9SKyle Evans int ret; 151*f0865ec9SKyle Evans 152*f0865ec9SKyle Evans ret = nn_check_initialized(in1); EG(ret, err); 153*f0865ec9SKyle Evans ret = nn_check_initialized(in2); EG(ret, err); 154*f0865ec9SKyle Evans ret = nn_mul_low(out, in1, in2, (u8)(in1->wlen + in2->wlen)); 155*f0865ec9SKyle Evans 156*f0865ec9SKyle Evans err: 157*f0865ec9SKyle Evans return ret; 158*f0865ec9SKyle Evans } 159*f0865ec9SKyle Evans 160*f0865ec9SKyle Evans int nn_sqr_low(nn_t out, nn_src_t in, u8 wlimit) 161*f0865ec9SKyle Evans { 162*f0865ec9SKyle Evans return nn_mul_low(out, in, in, wlimit); 163*f0865ec9SKyle Evans } 164*f0865ec9SKyle Evans 165*f0865ec9SKyle Evans /* 166*f0865ec9SKyle Evans * Compute out = in * in. 'out' is initialized by the function. 167*f0865ec9SKyle Evans * The function returns 0 on success, -1 on error. 168*f0865ec9SKyle Evans * 169*f0865ec9SKyle Evans * Aliasing supported. 170*f0865ec9SKyle Evans */ 171*f0865ec9SKyle Evans int nn_sqr(nn_t out, nn_src_t in) 172*f0865ec9SKyle Evans { 173*f0865ec9SKyle Evans return nn_mul(out, in, in); 174*f0865ec9SKyle Evans } 175*f0865ec9SKyle Evans 176*f0865ec9SKyle Evans /* 177*f0865ec9SKyle Evans * Multiply a multiprecision number by a word, i.e. out = in * w. The function 178*f0865ec9SKyle Evans * returns 0 on success, -1 on error. 179*f0865ec9SKyle Evans * 180*f0865ec9SKyle Evans * Aliasing supported. 181*f0865ec9SKyle Evans */ 182*f0865ec9SKyle Evans int nn_mul_word(nn_t out, nn_src_t in, word_t w) 183*f0865ec9SKyle Evans { 184*f0865ec9SKyle Evans nn w_nn; 185*f0865ec9SKyle Evans int ret; 186*f0865ec9SKyle Evans w_nn.magic = WORD(0); 187*f0865ec9SKyle Evans 188*f0865ec9SKyle Evans ret = nn_check_initialized(in); EG(ret, err); 189*f0865ec9SKyle Evans ret = nn_init(&w_nn, WORD_BYTES); EG(ret, err); 190*f0865ec9SKyle Evans w_nn.val[0] = w; 191*f0865ec9SKyle Evans ret = nn_mul(out, in, &w_nn); 192*f0865ec9SKyle Evans 193*f0865ec9SKyle Evans err: 194*f0865ec9SKyle Evans nn_uninit(&w_nn); 195*f0865ec9SKyle Evans 196*f0865ec9SKyle Evans return ret; 197*f0865ec9SKyle Evans } 198