summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/regress/lib/libcrypto/bn/Makefile3
-rw-r--r--src/regress/lib/libcrypto/bn/bn_mod_inverse.c385
2 files changed, 387 insertions, 1 deletions
diff --git a/src/regress/lib/libcrypto/bn/Makefile b/src/regress/lib/libcrypto/bn/Makefile
index 1c2076b1f4..1b4d68b984 100644
--- a/src/regress/lib/libcrypto/bn/Makefile
+++ b/src/regress/lib/libcrypto/bn/Makefile
@@ -1,4 +1,4 @@
1# $OpenBSD: Makefile,v 1.32 2023/04/22 14:03:03 jsing Exp $ 1# $OpenBSD: Makefile,v 1.33 2023/06/03 21:20:29 tb Exp $
2 2
3PROGS += bn_add_sub 3PROGS += bn_add_sub
4PROGS += bn_cmp 4PROGS += bn_cmp
@@ -7,6 +7,7 @@ PROGS += bn_gcd
7PROGS += bn_general 7PROGS += bn_general
8PROGS += bn_isqrt 8PROGS += bn_isqrt
9PROGS += bn_mod_exp 9PROGS += bn_mod_exp
10PROGS += bn_mod_inverse
10PROGS += bn_mod_sqrt 11PROGS += bn_mod_sqrt
11PROGS += bn_mont 12PROGS += bn_mont
12PROGS += bn_mul_div 13PROGS += bn_mul_div
diff --git a/src/regress/lib/libcrypto/bn/bn_mod_inverse.c b/src/regress/lib/libcrypto/bn/bn_mod_inverse.c
new file mode 100644
index 0000000000..b73d050669
--- /dev/null
+++ b/src/regress/lib/libcrypto/bn/bn_mod_inverse.c
@@ -0,0 +1,385 @@
1/* $OpenBSD: bn_mod_inverse.c,v 1.1 2023/06/03 21:20:29 tb Exp $ */
2
3/*
4 * Copyright (c) 2023 Theo Buehler <tb@openbsd.org>
5 *
6 * Permission to use, copy, modify, and distribute this software for any
7 * purpose with or without fee is hereby granted, provided that the above
8 * copyright notice and this permission notice appear in all copies.
9 *
10 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
11 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
12 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
13 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
14 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
15 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
16 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
17 */
18
19#include <err.h>
20#include <stdio.h>
21
22#include <openssl/bn.h>
23
24static const struct mod_inv_test {
25 const char *i;
26 const char *a;
27 const char *m;
28} mod_inv_tests[] = {
29 {
30 .i = "0",
31 .a = "0",
32 .m = "1",
33 },
34 {
35 .i = "0",
36 .a = "1",
37 .m = "1",
38 },
39 {
40 .i = "0",
41 .a = "2",
42 .m = "1",
43 },
44 {
45 .i = "0",
46 .a = "3",
47 .m = "1",
48 },
49 {
50 .i = "64",
51 .a = "54",
52 .m = "e3",
53 },
54 {
55 .i = "13",
56 .a = "2b",
57 .m = "30",
58 },
59 {
60 .i = "2f",
61 .a = "30",
62 .m = "37",
63 },
64 {
65 .i = "4",
66 .a = "13",
67 .m = "4b",
68 },
69 {
70 .i = "1c47",
71 .a = "cd4",
72 .m = "6a21",
73 },
74 {
75 .i = "2b97",
76 .a = "8e7",
77 .m = "49c0",
78 },
79 {
80 .i = "29b9",
81 .a = "fcb",
82 .m = "3092",
83 },
84 {
85 .i = "a83",
86 .a = "14bf",
87 .m = "41ae",
88 },
89 {
90 .i = "18f15fe1",
91 .a = "11b5d53e",
92 .m = "322e92a1",
93 },
94 {
95 .i = "32f9453b",
96 .a = "8af6df6",
97 .m = "33d45eb7",
98 },
99 {
100 .i = "d696369",
101 .a = "c5f89dd5",
102 .m = "fc09c17c",
103 },
104 {
105 .i = "622839d8",
106 .a = "60c2526",
107 .m = "74200493",
108 },
109 {
110 .i = "fb5a8aee7bbc4ef",
111 .a = "24ebd835a70be4e2",
112 .m = "9c7256574e0c5e93",
113 },
114 {
115 .i = "846bc225402419c",
116 .a = "23026003ab1fbdb",
117 .m = "1683cbe32779c59b",
118 },
119 {
120 .i = "5ff84f63a78982f9",
121 .a = "4a2420dc733e1a0f",
122 .m = "a73c6bfabefa09e6",
123 },
124 {
125 .i = "133e74d28ef42b43",
126 .a = "2e9511ae29cdd41",
127 .m = "15234df99f19fcda",
128 },
129 {
130 .i = "46ae1fabe9521e4b99b198fc84396090"
131 "23aa69be2247c0d1e27c2a0ea332f9c5",
132 .a = "6331fec5f01014046788c919ed50dc86"
133 "ac7a80c085f1b6f645dd179c0f0dc9cd",
134 .m = "8ef409de82318259a8655a39293b1e76"
135 "2fa2cc7e0aeb4c59713a1e1fff6af640",
136 },
137 {
138 .i = "444ccea3a7b21677dd294d34de53cc8a"
139 "5b51e69b37782310a00fc6bcc975709b",
140 .a = "679280bd880994c08322143a4ea8a082"
141 "5d0466fda1bb6b3eb86fc8e90747512b",
142 .m = "e4fecab84b365c63a0dab4244ce3f921"
143 "a9c87ec64d69a2031939f55782e99a2e",
144 },
145 {
146 .i = "1ac7d7a03ceec5f690f567c9d61bf346"
147 "9c078285bcc5cf00ac944596e887ca17",
148 .a = "1593ef32d9c784f5091bdff952f5c5f5"
149 "92a3aed6ba8ea865efa6d7df87be1805",
150 .m = "1e276882f90c95e0c1976eb079f97af0"
151 "75445b1361c02018d6bd7191162e67b2",
152 },
153 {
154 .i = "639108b90dfe946f498be21303058413"
155 "bbb0e59d0bd6a6115788705abd0666d6",
156 .a = "9258d6238e4923d120b2d1033573ffca"
157 "c691526ad0842a3b174dccdbb79887bd",
158 .m = "ce62909c39371d463aaba3d4b72ea6da"
159 "49cb9b529e39e1972ef3ccd9a66fe08f",
160 },
161 {
162 .i = "aebde7654cb17833a106231c4b9e2f51"
163 "9140e85faee1bfb4192830f03f385e77"
164 "3c0f4767e93e874ffdc3b7a6b7e6a710"
165 "e5619901c739ee8760a26128e8c91ef8"
166 "cf761d0e505d8b28ae078d17e6071c37"
167 "2893bb7b72538e518ebc57efa70b7615"
168 "e406756c49729b7c6e74f84aed7a316b"
169 "6fa748ff4b9f143129d29dad1bff98bb",
170 .a = "a29dacaf5487d354280fdd2745b9ace4"
171 "cd50f2bde41d0ee529bf26a1913244f7"
172 "08085452ff32feab19a7418897990da4"
173 "6a0633f7c8375d583367319091bbbe06"
174 "9b0052c5e48a7daac9fb650db5af768c"
175 "d2508ec3e2cda7456d4b9ce1c3945962"
176 "7a8b77e038b826cd7e326d0685b0cd0c"
177 "b50f026f18300dae9f5fd42aa150ee8b",
178 .m = "d686f9b86697313251685e995c09b9f1"
179 "e337ddfaa050bd2df15bf4ca1dc46c55"
180 "65021314765299c434ea1a6ec42bf92a"
181 "29a7d1ffff599f4e50b79a82243fb248"
182 "13060580c770d4c1140aeb2ab2685007"
183 "e948b6f1f62e8001a0545619477d4981"
184 "32c907774479f6d95899e6251e7136f7"
185 "9ab6d3b7c82e4aca421e7d22fe7db19c",
186 },
187 {
188 .i = "1ec872f4f20439e203597ca4de9d1296"
189 "743f95781b2fe85d5def808558bbadef"
190 "02a46b8955f47c83e1625f8bb40228ea"
191 "b09cad2a35c9ad62ab77a30e39328729"
192 "59c5898674162da244a0ec1f68c0ed89"
193 "f4b0f3572bfdc658ad15bf1b1c6e1176"
194 "b0784c9935bd3ff1f49bb43753eacee1"
195 "d8ca1c0b652d39ec727da83984fe3a0f",
196 .a = "2e527b0a1dc32460b2dd94ec446c6929"
197 "89f7b3c7451a5cbeebf69fc0ea9c4871"
198 "fbe78682d5dc5b66689f7ed889b52161"
199 "cd9830b589a93d21ab26dbede6c33959"
200 "f5a0f0d107169e2daaac78bac8cf2d41"
201 "a1eb1369cb6dc9e865e73bb2e51b886f"
202 "4e896082db199175e3dde0c4ed826468"
203 "f238a77bd894245d0918efc9ca84f945",
204 .m = "b13133a9ebe0645f987d170c077eea2a"
205 "a44e85c9ab10386d02867419a590cb18"
206 "2d9826a882306c212dbe75225adde23f"
207 "80f5b37ca75ed09df20fc277cc7fbbfa"
208 "c8d9ef37a50f6b68ea158f5447283618"
209 "e64e1426406d26ea85232afb22bf546c"
210 "75018c1c55cb84c374d58d9d44c0a13b"
211 "a88ac2e387765cb4c3269e3a983250fa",
212 },
213 {
214 .i = "30ffa1876313a69de1e4e6ee132ea1d3"
215 "a3da32f3b56f5cfb11402b0ad517dce6"
216 "05cf8e91d69fa375dd887fa8507bd8a2"
217 "8b2d5ce745799126e86f416047709f93"
218 "f07fbd88918a047f13100ea71b1d48f6"
219 "fc6d12e5c917646df3041b302187af64"
220 "1eaedf4908abc36f12c204e1526a7d80"
221 "e96e302fb0779c28d7da607243732f26",
222 .a = "31157208bde6b85ebecaa63735947b3b"
223 "36fa351b5c47e9e1c40c947339b78bf9"
224 "6066e5dbe21bb42629e6fcdb81f5f88d"
225 "b590bfdd5f4c0a6a0c3fc6377e5c1fd8"
226 "235e46e291c688b6d6ecfb36604891c2"
227 "a7c9cbcc58c26e44b43beecb9c5044b5"
228 "8bb58e35de3cf1128f3c116534fe4e42"
229 "1a33f83603c3df1ae36ec88092f67f2a",
230 .m = "53408b23d6cb733e6c9bc3d1e2ea2286"
231 "a5c83cc4e3e7470f8af3a1d9f28727f5"
232 "b1f8ae348c1678f5d1105dc3edf2de64"
233 "e65b9c99545c47e64b770b17c8b4ef5c"
234 "f194b43a0538053e87a6b95ade1439ce"
235 "bf3d34c6aa72a11c1497f58f76011e16"
236 "c5be087936d88aba7a740113120e939e"
237 "27bd3ddcb6580c2841aa406566e33c35",
238 },
239 {
240 .i = "87355002f305c81ba0dc97ca2234a2bc"
241 "02528cefde38b94ac5bd95efc7bf4c14"
242 "0899107fff47f0df9e3c6aa70017ebc9"
243 "0610a750f112cd4f475b9c76b204a953"
244 "444b4e7196ccf17e93fdaed160b7345c"
245 "a9b397eddf9446e8ea8ee3676102ce70"
246 "eaafbe9038a34639789e6f2f1e3f3526"
247 "38f2e8a8f5fc56aaea7ec705ee068dd5",
248 .a = "42a25d0bc96f71750f5ac8a51a1605a4"
249 "1b506cca51c9a7ecf80cad713e56f70f"
250 "1b4b6fa51cbb101f55fd74f318adefb3"
251 "af04e0c8a7e281055d5a40dd40913c0e"
252 "1211767c5be915972c73886106dc4932"
253 "5df6c2df49e9eea4536f0343a8e7d332"
254 "c6159e4f5bdb20d89f90e67597c4a2a6"
255 "32c31b2ef2534080a9ac61f52303990d",
256 .m = "d3d3f95d50570351528a76ab1e806bae"
257 "1968bd420899bdb3d87c823fac439a43"
258 "54c31f6c888c939784f18fe10a95e6d2"
259 "03b1901caa18937ba6f8be033af10c35"
260 "fc869cf3d16bef479f280f53b3499e64"
261 "5d0387554623207ca4989e5de00bfeaa"
262 "5e9ab56474fc60dd4967b100e0832eaa"
263 "f2fcb2ef82a181567057b880b3afef62",
264 },
265 {
266 .i = "9b8c28a4",
267 .a = "135935f57",
268 .m = "c24242ff",
269 },
270};
271
272#define N_MOD_INV_TESTS (sizeof(mod_inv_tests) / sizeof(mod_inv_tests[0]))
273
274static int
275bn_mod_inverse_test(const struct mod_inv_test *test, BN_CTX *ctx, int flags)
276{
277 BIGNUM *i, *a, *m, *inv, *elt, *mod;
278 int failed_step;
279 int failed = 0;
280
281 BN_CTX_start(ctx);
282
283 if ((i = BN_CTX_get(ctx)) == NULL)
284 errx(1, "i = BN_CTX_get()");
285 if ((a = BN_CTX_get(ctx)) == NULL)
286 errx(1, "a = BN_CTX_get()");
287 if ((m = BN_CTX_get(ctx)) == NULL)
288 errx(1, "m = BN_CTX_get()");
289 if ((inv = BN_CTX_get(ctx)) == NULL)
290 errx(1, "inv = BN_CTX_get()");
291 if ((elt = BN_CTX_get(ctx)) == NULL)
292 errx(1, "elt = BN_CTX_get()");
293 if ((mod = BN_CTX_get(ctx)) == NULL)
294 errx(1, "mod = BN_CTX_get()");
295
296 BN_set_flags(i, flags);
297 BN_set_flags(a, flags);
298 BN_set_flags(m, flags);
299 BN_set_flags(inv, flags);
300 BN_set_flags(elt, flags);
301 BN_set_flags(mod, flags);
302
303 if (BN_hex2bn(&i, test->i) == 0)
304 errx(1, "BN_hex2bn(%s)", test->i);
305 if (BN_hex2bn(&a, test->a) == 0)
306 errx(1, "BN_hex2bn(%s)", test->a);
307 if (BN_hex2bn(&m, test->m) == 0)
308 errx(1, "BN_hex2bn(%s)", test->m);
309
310 if (BN_copy(elt, a) == NULL)
311 errx(1, "BN_copy(elt, a)");
312 if (BN_copy(mod, m) == NULL)
313 errx(1, "BN_copy(mod, m)");
314
315 if (BN_mod_inverse(inv, elt, mod, ctx) == NULL)
316 errx(1, "BN_mod_inverse(inv, elt, mod)");
317
318 failed_step = BN_cmp(i, inv) != 0;
319 if (failed_step)
320 fprintf(stderr, "FAIL (simple), %x:\ni: %s\na: %s\nm: %s\n",
321 flags, test->i, test->a, test->m);
322 failed |= failed_step;
323
324 if (BN_copy(elt, a) == NULL)
325 errx(1, "BN_copy(elt, a)");
326 if (BN_copy(inv, m) == NULL)
327 errx(1, "BN_copy(inv, m)");
328
329 if (BN_mod_inverse(inv, elt, inv, ctx) == NULL)
330 errx(1, "BN_mod_inverse(inv, elt, inv)");
331 failed_step = BN_cmp(i, inv) != 0;
332 if (failed_step)
333 fprintf(stderr, "FAIL (inv == mod), %x:\ni: %s\na: %s\nm: %s\n",
334 flags, test->i, test->a, test->m);
335 failed |= failed_step;
336
337 if (BN_copy(inv, a) == NULL)
338 errx(1, "BN_copy(elt, a)");
339 if (BN_copy(mod, m) == NULL)
340 errx(1, "BN_copy(inv, m)");
341
342 if (BN_mod_inverse(inv, inv, mod, ctx) == NULL)
343 errx(1, "BN_mod_inverse(inv, inv, mod)");
344 failed_step = BN_cmp(i, inv) != 0;
345 if (failed_step)
346 fprintf(stderr, "FAIL (inv == elt), %x:\ni: %s\na: %s\nm: %s\n",
347 flags, test->i, test->a, test->m);
348 failed |= failed_step;
349
350 BN_CTX_end(ctx);
351
352 return failed;
353}
354
355static int
356test_bn_mod_inverse(void)
357{
358 BN_CTX *ctx;
359 size_t i;
360 int failed = 0;
361
362 if ((ctx = BN_CTX_new()) == NULL)
363 errx(1, "BN_CTX_new");
364
365 for (i = 0; i < N_MOD_INV_TESTS; i++)
366 failed |= bn_mod_inverse_test(&mod_inv_tests[i], ctx, 0);
367
368 for (i = 0; i < N_MOD_INV_TESTS; i++)
369 failed |= bn_mod_inverse_test(&mod_inv_tests[i], ctx,
370 BN_FLG_CONSTTIME);
371
372 BN_CTX_free(ctx);
373
374 return failed;
375}
376
377int
378main(void)
379{
380 int failed = 0;
381
382 failed = test_bn_mod_inverse();
383
384 return failed;
385}
generated by cgit v1.2.3-55-g6feb (git 2.39.1) at 2025-11-26 17:49:37 +0000