Line | Count | Source (jump to first uncovered line) |
1 | | /* ecc-mul-g.c |
2 | | |
3 | | Copyright (C) 2013 Niels Möller |
4 | | |
5 | | This file is part of GNU Nettle. |
6 | | |
7 | | GNU Nettle is free software: you can redistribute it and/or |
8 | | modify it under the terms of either: |
9 | | |
10 | | * the GNU Lesser General Public License as published by the Free |
11 | | Software Foundation; either version 3 of the License, or (at your |
12 | | option) any later version. |
13 | | |
14 | | or |
15 | | |
16 | | * the GNU General Public License as published by the Free |
17 | | Software Foundation; either version 2 of the License, or (at your |
18 | | option) any later version. |
19 | | |
20 | | or both in parallel, as here. |
21 | | |
22 | | GNU Nettle is distributed in the hope that it will be useful, |
23 | | but WITHOUT ANY WARRANTY; without even the implied warranty of |
24 | | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
25 | | General Public License for more details. |
26 | | |
27 | | You should have received copies of the GNU General Public License and |
28 | | the GNU Lesser General Public License along with this program. If |
29 | | not, see http://www.gnu.org/licenses/. |
30 | | */ |
31 | | |
32 | | /* Development of Nettle's ECC support was funded by the .SE Internet Fund. */ |
33 | | |
34 | | #if HAVE_CONFIG_H |
35 | | # include "config.h" |
36 | | #endif |
37 | | |
38 | | #include <assert.h> |
39 | | |
40 | | #include "ecc.h" |
41 | | #include "ecc-internal.h" |
42 | | |
43 | | void |
44 | | ecc_mul_g (const struct ecc_curve *ecc, mp_limb_t *r, |
45 | | const mp_limb_t *np, mp_limb_t *scratch) |
46 | 0 | { |
47 | | /* Scratch need determined by the ecc_add_jja call. Current total is |
48 | | 8 * ecc->p.size, at most 576 bytes. */ |
49 | 0 | #define tp scratch |
50 | 0 | #define scratch_out (scratch + 3*ecc->p.size) |
51 | |
|
52 | 0 | unsigned k, c; |
53 | 0 | unsigned i, j; |
54 | 0 | unsigned bit_rows; |
55 | |
|
56 | 0 | int is_zero; |
57 | |
|
58 | 0 | k = ecc->pippenger_k; |
59 | 0 | c = ecc->pippenger_c; |
60 | |
|
61 | 0 | bit_rows = (ecc->p.bit_size + k - 1) / k; |
62 | | |
63 | 0 | mpn_zero (r, 3*ecc->p.size); |
64 | | |
65 | 0 | for (i = k, is_zero = 1; i-- > 0; ) |
66 | 0 | { |
67 | 0 | ecc_dup_jj (ecc, r, r, scratch); |
68 | 0 | for (j = 0; j * c < bit_rows; j++) |
69 | 0 | { |
70 | 0 | unsigned bits; |
71 | | /* Avoid the mp_bitcnt_t type for compatibility with older GMP |
72 | | versions. */ |
73 | 0 | unsigned bit_index; |
74 | | |
75 | | /* Extract c bits from n, stride k, starting at i + kcj, |
76 | | ending at i + k (cj + c - 1)*/ |
77 | 0 | for (bits = 0, bit_index = i + k*(c*j+c); bit_index > i + k*c*j; ) |
78 | 0 | { |
79 | 0 | mp_size_t limb_index; |
80 | 0 | unsigned shift; |
81 | | |
82 | 0 | bit_index -= k; |
83 | |
|
84 | 0 | limb_index = bit_index / GMP_NUMB_BITS; |
85 | 0 | if (limb_index >= ecc->p.size) |
86 | 0 | continue; |
87 | | |
88 | 0 | shift = bit_index % GMP_NUMB_BITS; |
89 | 0 | bits = (bits << 1) | ((np[limb_index] >> shift) & 1); |
90 | 0 | } |
91 | 0 | mpn_sec_tabselect (tp, |
92 | 0 | (ecc->pippenger_table |
93 | 0 | + (2*ecc->p.size * (mp_size_t) j << c)), |
94 | 0 | 2*ecc->p.size, 1<<c, bits); |
95 | 0 | cnd_copy (is_zero, r, tp, 2*ecc->p.size); |
96 | 0 | cnd_copy (is_zero, r + 2*ecc->p.size, ecc->unit, ecc->p.size); |
97 | | |
98 | 0 | ecc_add_jja (ecc, tp, r, tp, scratch_out); |
99 | | /* Use the sum when valid. ecc_add_jja produced garbage if |
100 | | is_zero != 0 or bits == 0, . */ |
101 | 0 | cnd_copy (bits & (is_zero - 1), r, tp, 3*ecc->p.size); |
102 | 0 | is_zero &= (bits == 0); |
103 | 0 | } |
104 | 0 | } |
105 | 0 | #undef tp |
106 | 0 | #undef scratch_out |
107 | 0 | } |