1 /* mpi-pow.c - MPI functions
2 * Copyright (C) 1994, 1996, 1998, 2000 Free Software Foundation, Inc.
4 * This file is part of GnuPG.
6 * GnuPG is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
11 * GnuPG is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program; if not, write to the Free Software
18 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
20 * Note: This code is heavily based on the GNU MP Library.
21 * Actually it's the same code with only minor changes in the
22 * way the data is stored; this is to support the abstraction
23 * of an optional secure memory allocation which may be used
24 * to avoid revealing of sensitive data due to paging etc.
25 * The GNU MP Library itself is published under the LGPL;
26 * however I decided to publish this code under the plain GPL.
29 #include <linux/sched.h>
30 #include <linux/string.h>
31 #include "mpi-internal.h"
35 * RES = BASE ^ EXP mod MOD
37 int mpi_powm(MPI res
, MPI base
, MPI exp
, MPI mod
)
39 mpi_ptr_t mp_marker
= NULL
, bp_marker
= NULL
, ep_marker
= NULL
;
40 mpi_ptr_t xp_marker
= NULL
;
41 mpi_ptr_t tspace
= NULL
;
42 mpi_ptr_t rp
, ep
, mp
, bp
;
43 mpi_size_t esize
, msize
, bsize
, rsize
;
44 int esign
, msign
, bsign
, rsign
;
49 mpi_size_t tsize
= 0; /* to avoid compiler warning */
50 /* fixme: we should check that the warning is void */
66 /* Exponent is zero, result is 1 mod MOD, i.e., 1 or 0
67 * depending on if MOD equals 1. */
68 res
->nlimbs
= (msize
== 1 && mod
->d
[0] == 1) ? 0 : 1;
70 if (mpi_resize(res
, 1) < 0)
79 /* Normalize MOD (i.e. make its most significant bit set) as required by
80 * mpn_divrem. This will make the intermediate values in the calculation
81 * slightly larger, but the correct result is obtained after a final
82 * reduction using the original MOD value. */
83 mp
= mp_marker
= mpi_alloc_limb_space(msize
);
86 mod_shift_cnt
= count_leading_zeros(mod
->d
[msize
- 1]);
88 mpihelp_lshift(mp
, mod
->d
, msize
, mod_shift_cnt
);
90 MPN_COPY(mp
, mod
->d
, msize
);
94 if (bsize
> msize
) { /* The base is larger than the module. Reduce it. */
95 /* Allocate (BSIZE + 1) with space for remainder and quotient.
96 * (The quotient is (bsize - msize + 1) limbs.) */
97 bp
= bp_marker
= mpi_alloc_limb_space(bsize
+ 1);
100 MPN_COPY(bp
, base
->d
, bsize
);
101 /* We don't care about the quotient, store it above the remainder,
103 mpihelp_divrem(bp
+ msize
, 0, bp
, bsize
, mp
, msize
);
105 /* Canonicalize the base, since we are going to multiply with it
106 * quite a few times. */
107 MPN_NORMALIZE(bp
, bsize
);
117 if (res
->alloced
< size
) {
118 /* We have to allocate more space for RES. If any of the input
119 * parameters are identical to RES, defer deallocation of the old
121 if (rp
== ep
|| rp
== mp
|| rp
== bp
) {
122 rp
= mpi_alloc_limb_space(size
);
127 if (mpi_resize(res
, size
) < 0)
131 } else { /* Make BASE, EXP and MOD not overlap with RES. */
133 /* RES and BASE are identical. Allocate temp. space for BASE. */
135 bp
= bp_marker
= mpi_alloc_limb_space(bsize
);
138 MPN_COPY(bp
, rp
, bsize
);
141 /* RES and EXP are identical. Allocate temp. space for EXP. */
142 ep
= ep_marker
= mpi_alloc_limb_space(esize
);
145 MPN_COPY(ep
, rp
, esize
);
148 /* RES and MOD are identical. Allocate temporary space for MOD. */
150 mp
= mp_marker
= mpi_alloc_limb_space(msize
);
153 MPN_COPY(mp
, rp
, msize
);
157 MPN_COPY(rp
, bp
, bsize
);
166 mpi_limb_t carry_limb
;
167 struct karatsuba_ctx karactx
;
169 xp
= xp_marker
= mpi_alloc_limb_space(2 * (msize
+ 1));
173 memset(&karactx
, 0, sizeof karactx
);
174 negative_result
= (ep
[0] & 1) && base
->sign
;
178 c
= count_leading_zeros(e
);
179 e
= (e
<< c
) << 1; /* shift the exp bits to the left, lose msb */
180 c
= BITS_PER_MPI_LIMB
- 1 - c
;
184 * Make the result be pointed to alternately by XP and RP. This
185 * helps us avoid block copying, which would otherwise be necessary
186 * with the overlap restrictions of mpihelp_divmod. With 50% probability
187 * the result after this loop will be in the area originally pointed
188 * by RP (==RES->d), and with 50% probability in the area originally
197 /*if (mpihelp_mul_n(xp, rp, rp, rsize) < 0) goto enomem */
198 if (rsize
< KARATSUBA_THRESHOLD
)
199 mpih_sqr_n_basecase(xp
, rp
, rsize
);
204 mpi_alloc_limb_space(tsize
);
207 } else if (tsize
< (2 * rsize
)) {
208 mpi_free_limb_space(tspace
);
211 mpi_alloc_limb_space(tsize
);
215 mpih_sqr_n(xp
, rp
, rsize
, tspace
);
220 mpihelp_divrem(xp
+ msize
, 0, xp
, xsize
,
230 if ((mpi_limb_signed_t
) e
< 0) {
231 /*mpihelp_mul( xp, rp, rsize, bp, bsize ); */
232 if (bsize
< KARATSUBA_THRESHOLD
) {
235 (xp
, rp
, rsize
, bp
, bsize
,
239 if (mpihelp_mul_karatsuba_case
240 (xp
, rp
, rsize
, bp
, bsize
,
245 xsize
= rsize
+ bsize
;
247 mpihelp_divrem(xp
+ msize
, 0,
267 c
= BITS_PER_MPI_LIMB
;
270 /* We shifted MOD, the modulo reduction argument, left MOD_SHIFT_CNT
271 * steps. Adjust the result by reducing it with the original MOD.
273 * Also make sure the result is put in RES->d (where it already
274 * might be, see above).
278 mpihelp_lshift(res
->d
, rp
, rsize
, mod_shift_cnt
);
281 rp
[rsize
] = carry_limb
;
285 MPN_COPY(res
->d
, rp
, rsize
);
289 if (rsize
>= msize
) {
290 mpihelp_divrem(rp
+ msize
, 0, rp
, rsize
, mp
, msize
);
294 /* Remove any leading zero words from the result. */
296 mpihelp_rshift(rp
, rp
, rsize
, mod_shift_cnt
);
297 MPN_NORMALIZE(rp
, rsize
);
299 mpihelp_release_karatsuba_ctx(&karactx
);
302 if (negative_result
&& rsize
) {
304 mpihelp_rshift(mp
, mp
, msize
, mod_shift_cnt
);
305 mpihelp_sub(rp
, mp
, msize
, rp
, rsize
);
308 MPN_NORMALIZE(rp
, rsize
);
317 mpi_assign_limb_space(res
, rp
, size
);
319 mpi_free_limb_space(mp_marker
);
321 mpi_free_limb_space(bp_marker
);
323 mpi_free_limb_space(ep_marker
);
325 mpi_free_limb_space(xp_marker
);
327 mpi_free_limb_space(tspace
);
330 EXPORT_SYMBOL_GPL(mpi_powm
);