diff options
Diffstat (limited to 'src/lib/libcrypto/bn/bn_mont.c')
-rw-r--r-- | src/lib/libcrypto/bn/bn_mont.c | 306 |
1 files changed, 306 insertions, 0 deletions
diff --git a/src/lib/libcrypto/bn/bn_mont.c b/src/lib/libcrypto/bn/bn_mont.c new file mode 100644 index 0000000000..e435df61f8 --- /dev/null +++ b/src/lib/libcrypto/bn/bn_mont.c | |||
@@ -0,0 +1,306 @@ | |||
1 | /* crypto/bn/bn_mont.c */ | ||
2 | /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com) | ||
3 | * All rights reserved. | ||
4 | * | ||
5 | * This package is an SSL implementation written | ||
6 | * by Eric Young (eay@cryptsoft.com). | ||
7 | * The implementation was written so as to conform with Netscapes SSL. | ||
8 | * | ||
9 | * This library is free for commercial and non-commercial use as long as | ||
10 | * the following conditions are aheared to. The following conditions | ||
11 | * apply to all code found in this distribution, be it the RC4, RSA, | ||
12 | * lhash, DES, etc., code; not just the SSL code. The SSL documentation | ||
13 | * included with this distribution is covered by the same copyright terms | ||
14 | * except that the holder is Tim Hudson (tjh@cryptsoft.com). | ||
15 | * | ||
16 | * Copyright remains Eric Young's, and as such any Copyright notices in | ||
17 | * the code are not to be removed. | ||
18 | * If this package is used in a product, Eric Young should be given attribution | ||
19 | * as the author of the parts of the library used. | ||
20 | * This can be in the form of a textual message at program startup or | ||
21 | * in documentation (online or textual) provided with the package. | ||
22 | * | ||
23 | * Redistribution and use in source and binary forms, with or without | ||
24 | * modification, are permitted provided that the following conditions | ||
25 | * are met: | ||
26 | * 1. Redistributions of source code must retain the copyright | ||
27 | * notice, this list of conditions and the following disclaimer. | ||
28 | * 2. Redistributions in binary form must reproduce the above copyright | ||
29 | * notice, this list of conditions and the following disclaimer in the | ||
30 | * documentation and/or other materials provided with the distribution. | ||
31 | * 3. All advertising materials mentioning features or use of this software | ||
32 | * must display the following acknowledgement: | ||
33 | * "This product includes cryptographic software written by | ||
34 | * Eric Young (eay@cryptsoft.com)" | ||
35 | * The word 'cryptographic' can be left out if the rouines from the library | ||
36 | * being used are not cryptographic related :-). | ||
37 | * 4. If you include any Windows specific code (or a derivative thereof) from | ||
38 | * the apps directory (application code) you must include an acknowledgement: | ||
39 | * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)" | ||
40 | * | ||
41 | * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND | ||
42 | * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE | ||
43 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE | ||
44 | * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE | ||
45 | * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL | ||
46 | * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS | ||
47 | * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) | ||
48 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT | ||
49 | * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY | ||
50 | * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF | ||
51 | * SUCH DAMAGE. | ||
52 | * | ||
53 | * The licence and distribution terms for any publically available version or | ||
54 | * derivative of this code cannot be changed. i.e. this code cannot simply be | ||
55 | * copied and put under another distribution licence | ||
56 | * [including the GNU Public Licence.] | ||
57 | */ | ||
58 | |||
59 | #include <stdio.h> | ||
60 | #include "cryptlib.h" | ||
61 | #include "bn_lcl.h" | ||
62 | |||
63 | int BN_mod_mul_montgomery(r,a,b,mont,ctx) | ||
64 | BIGNUM *r,*a,*b; | ||
65 | BN_MONT_CTX *mont; | ||
66 | BN_CTX *ctx; | ||
67 | { | ||
68 | BIGNUM *tmp; | ||
69 | |||
70 | tmp=ctx->bn[ctx->tos++]; | ||
71 | |||
72 | if (a == b) | ||
73 | { | ||
74 | if (!BN_sqr(tmp,a,ctx)) goto err; | ||
75 | } | ||
76 | else | ||
77 | { | ||
78 | if (!BN_mul(tmp,a,b)) goto err; | ||
79 | } | ||
80 | /* reduce from aRR to aR */ | ||
81 | if (!BN_from_montgomery(r,tmp,mont,ctx)) goto err; | ||
82 | ctx->tos--; | ||
83 | return(1); | ||
84 | err: | ||
85 | return(0); | ||
86 | } | ||
87 | |||
88 | #define MONT_WORD | ||
89 | |||
90 | #ifdef MONT_WORD | ||
91 | int BN_from_montgomery(ret,a,mont,ctx) | ||
92 | BIGNUM *ret; | ||
93 | BIGNUM *a; | ||
94 | BN_MONT_CTX *mont; | ||
95 | BN_CTX *ctx; | ||
96 | { | ||
97 | BIGNUM *n,*t1,*r; | ||
98 | BN_ULONG *ap,*np,*rp,n0,v; | ||
99 | int al,nl,max,i,x,ri; | ||
100 | int retn=0; | ||
101 | |||
102 | t1=ctx->bn[ctx->tos]; | ||
103 | r=ctx->bn[ctx->tos+1]; | ||
104 | |||
105 | if (!BN_copy(r,a)) goto err; | ||
106 | n=mont->N; | ||
107 | |||
108 | ap=a->d; | ||
109 | /* mont->ri is the size of mont->N in bits/words */ | ||
110 | al=ri=mont->ri/BN_BITS2; | ||
111 | |||
112 | nl=n->top; | ||
113 | if ((al == 0) || (nl == 0)) { r->top=0; return(1); } | ||
114 | |||
115 | max=(nl+al+1); /* allow for overflow (no?) XXX */ | ||
116 | if (bn_wexpand(r,max) == NULL) goto err; | ||
117 | if (bn_wexpand(ret,max) == NULL) goto err; | ||
118 | |||
119 | r->neg=a->neg^n->neg; | ||
120 | np=n->d; | ||
121 | rp=r->d; | ||
122 | |||
123 | /* clear the top words of T */ | ||
124 | #if 1 | ||
125 | for (i=r->top; i<max; i++) /* memset? XXX */ | ||
126 | r->d[i]=0; | ||
127 | #else | ||
128 | memset(&(r->d[r->top]),0,(max-r->top)*sizeof(BN_ULONG)); | ||
129 | #endif | ||
130 | |||
131 | r->top=max; | ||
132 | n0=mont->n0; | ||
133 | |||
134 | for (i=0; i<nl; i++) | ||
135 | { | ||
136 | #if 0 | ||
137 | int x1,x2; | ||
138 | |||
139 | if (i+4 > nl) | ||
140 | { | ||
141 | x2=nl; | ||
142 | x1=0; | ||
143 | } | ||
144 | else | ||
145 | { | ||
146 | x2=i+4; | ||
147 | x1=nl-x2; | ||
148 | } | ||
149 | v=bn_mul_add_words(&(rp[x1]),&(np[x1]),x2,(rp[x1]*n0)&BN_MASK2); | ||
150 | #else | ||
151 | v=bn_mul_add_words(rp,np,nl,(rp[0]*n0)&BN_MASK2); | ||
152 | #endif | ||
153 | |||
154 | if (((rp[nl]+=v)&BN_MASK2) < v) | ||
155 | { | ||
156 | for (x=(nl+1); (((++rp[x])&BN_MASK2) == 0); x++) | ||
157 | ; | ||
158 | } | ||
159 | rp++; | ||
160 | } | ||
161 | while (r->d[r->top-1] == 0) | ||
162 | r->top--; | ||
163 | |||
164 | /* mont->ri will be a multiple of the word size */ | ||
165 | #if 0 | ||
166 | BN_rshift(ret,r,mont->ri); | ||
167 | #else | ||
168 | ap=r->d; | ||
169 | rp=ret->d; | ||
170 | x=ri; | ||
171 | al=r->top-x; | ||
172 | for (i=0; i<al; i++) | ||
173 | { | ||
174 | rp[i]=ap[i+x]; | ||
175 | } | ||
176 | ret->top=al; | ||
177 | #endif | ||
178 | |||
179 | if (BN_ucmp(ret,mont->N) >= 0) | ||
180 | { | ||
181 | bn_qsub(ret,ret,mont->N); /* XXX */ | ||
182 | } | ||
183 | retn=1; | ||
184 | err: | ||
185 | return(retn); | ||
186 | } | ||
187 | #else | ||
188 | int BN_from_montgomery(r,a,mont,ctx) | ||
189 | BIGNUM *r; | ||
190 | BIGNUM *a; | ||
191 | BN_MONT_CTX *mont; | ||
192 | BN_CTX *ctx; | ||
193 | { | ||
194 | BIGNUM *t1,*t2; | ||
195 | |||
196 | t1=ctx->bn[ctx->tos]; | ||
197 | t2=ctx->bn[ctx->tos+1]; | ||
198 | |||
199 | if (!BN_copy(t1,a)) goto err; | ||
200 | /* can cheat */ | ||
201 | BN_mask_bits(t1,mont->ri); | ||
202 | |||
203 | if (!BN_mul(t2,t1,mont->Ni)) goto err; | ||
204 | BN_mask_bits(t2,mont->ri); | ||
205 | |||
206 | if (!BN_mul(t1,t2,mont->N)) goto err; | ||
207 | if (!BN_add(t2,a,t1)) goto err; | ||
208 | BN_rshift(r,t2,mont->ri); | ||
209 | |||
210 | if (BN_ucmp(r,mont->N) >= 0) | ||
211 | bn_qsub(r,r,mont->N); | ||
212 | |||
213 | return(1); | ||
214 | err: | ||
215 | return(0); | ||
216 | } | ||
217 | #endif | ||
218 | |||
219 | BN_MONT_CTX *BN_MONT_CTX_new() | ||
220 | { | ||
221 | BN_MONT_CTX *ret; | ||
222 | |||
223 | if ((ret=(BN_MONT_CTX *)Malloc(sizeof(BN_MONT_CTX))) == NULL) | ||
224 | return(NULL); | ||
225 | ret->ri=0; | ||
226 | ret->RR=BN_new(); | ||
227 | ret->N=BN_new(); | ||
228 | ret->Ni=NULL; | ||
229 | if ((ret->RR == NULL) || (ret->N == NULL)) | ||
230 | { | ||
231 | BN_MONT_CTX_free(ret); | ||
232 | return(NULL); | ||
233 | } | ||
234 | return(ret); | ||
235 | } | ||
236 | |||
237 | void BN_MONT_CTX_free(mont) | ||
238 | BN_MONT_CTX *mont; | ||
239 | { | ||
240 | if (mont->RR != NULL) BN_free(mont->RR); | ||
241 | if (mont->N != NULL) BN_free(mont->N); | ||
242 | if (mont->Ni != NULL) BN_free(mont->Ni); | ||
243 | Free(mont); | ||
244 | } | ||
245 | |||
246 | int BN_MONT_CTX_set(mont,mod,ctx) | ||
247 | BN_MONT_CTX *mont; | ||
248 | BIGNUM *mod; | ||
249 | BN_CTX *ctx; | ||
250 | { | ||
251 | BIGNUM *Ri=NULL,*R=NULL; | ||
252 | |||
253 | if (mont->RR == NULL) mont->RR=BN_new(); | ||
254 | if (mont->N == NULL) mont->N=BN_new(); | ||
255 | |||
256 | R=mont->RR; /* grab RR as a temp */ | ||
257 | BN_copy(mont->N,mod); /* Set N */ | ||
258 | |||
259 | #ifdef MONT_WORD | ||
260 | { | ||
261 | BIGNUM tmod; | ||
262 | BN_ULONG buf[2]; | ||
263 | /* int z; */ | ||
264 | |||
265 | mont->ri=(BN_num_bits(mod)+(BN_BITS2-1))/BN_BITS2*BN_BITS2; | ||
266 | BN_lshift(R,BN_value_one(),BN_BITS2); /* R */ | ||
267 | /* I was bad, this modification of a passed variable was | ||
268 | * breaking the multithreaded stuff :-( | ||
269 | * z=mod->top; | ||
270 | * mod->top=1; */ | ||
271 | |||
272 | buf[0]=mod->d[0]; | ||
273 | buf[1]=0; | ||
274 | tmod.d=buf; | ||
275 | tmod.top=1; | ||
276 | tmod.max=mod->max; | ||
277 | tmod.neg=mod->neg; | ||
278 | |||
279 | if ((Ri=BN_mod_inverse(R,&tmod,ctx)) == NULL) goto err; /* Ri */ | ||
280 | BN_lshift(Ri,Ri,BN_BITS2); /* R*Ri */ | ||
281 | bn_qsub(Ri,Ri,BN_value_one()); /* R*Ri - 1 */ | ||
282 | BN_div(Ri,NULL,Ri,&tmod,ctx); | ||
283 | mont->n0=Ri->d[0]; | ||
284 | BN_free(Ri); | ||
285 | /* mod->top=z; */ | ||
286 | } | ||
287 | #else | ||
288 | mont->ri=BN_num_bits(mod); | ||
289 | BN_lshift(R,BN_value_one(),mont->ri); /* R */ | ||
290 | if ((Ri=BN_mod_inverse(R,mod,ctx)) == NULL) goto err; /* Ri */ | ||
291 | BN_lshift(Ri,Ri,mont->ri); /* R*Ri */ | ||
292 | bn_qsub(Ri,Ri,BN_value_one()); /* R*Ri - 1 */ | ||
293 | BN_div(Ri,NULL,Ri,mod,ctx); | ||
294 | if (mont->Ni != NULL) BN_free(mont->Ni); | ||
295 | mont->Ni=Ri; /* Ni=(R*Ri-1)/N */ | ||
296 | #endif | ||
297 | |||
298 | /* setup RR for conversions */ | ||
299 | BN_lshift(mont->RR,BN_value_one(),mont->ri*2); | ||
300 | BN_mod(mont->RR,mont->RR,mont->N,ctx); | ||
301 | |||
302 | return(1); | ||
303 | err: | ||
304 | return(0); | ||
305 | } | ||
306 | |||