diff options
| author | djm <> | 2008-09-06 12:17:54 +0000 |
|---|---|---|
| committer | djm <> | 2008-09-06 12:17:54 +0000 |
| commit | 38ce604e3cc97706b876b0525ddff0121115456d (patch) | |
| tree | 7ccc28afe1789ea3dbedf72365f955d5b8e105b5 /src/lib/libcrypto/ec/ectest.c | |
| parent | 12867252827c8efaa8ddd1fa3b3d6e321e2bcdef (diff) | |
| download | openbsd-38ce604e3cc97706b876b0525ddff0121115456d.tar.gz openbsd-38ce604e3cc97706b876b0525ddff0121115456d.tar.bz2 openbsd-38ce604e3cc97706b876b0525ddff0121115456d.zip | |
resolve conflicts
Diffstat (limited to '')
| -rw-r--r-- | src/lib/libcrypto/ec/ectest.c | 813 |
1 files changed, 757 insertions, 56 deletions
diff --git a/src/lib/libcrypto/ec/ectest.c b/src/lib/libcrypto/ec/ectest.c index fcf969f3cf..6148d553f9 100644 --- a/src/lib/libcrypto/ec/ectest.c +++ b/src/lib/libcrypto/ec/ectest.c | |||
| @@ -1,4 +1,7 @@ | |||
| 1 | /* crypto/ec/ectest.c */ | 1 | /* crypto/ec/ectest.c */ |
| 2 | /* | ||
| 3 | * Originally written by Bodo Moeller for the OpenSSL project. | ||
| 4 | */ | ||
| 2 | /* ==================================================================== | 5 | /* ==================================================================== |
| 3 | * Copyright (c) 1998-2001 The OpenSSL Project. All rights reserved. | 6 | * Copyright (c) 1998-2001 The OpenSSL Project. All rights reserved. |
| 4 | * | 7 | * |
| @@ -52,6 +55,19 @@ | |||
| 52 | * Hudson (tjh@cryptsoft.com). | 55 | * Hudson (tjh@cryptsoft.com). |
| 53 | * | 56 | * |
| 54 | */ | 57 | */ |
| 58 | /* ==================================================================== | ||
| 59 | * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED. | ||
| 60 | * | ||
| 61 | * Portions of the attached software ("Contribution") are developed by | ||
| 62 | * SUN MICROSYSTEMS, INC., and are contributed to the OpenSSL project. | ||
| 63 | * | ||
| 64 | * The Contribution is licensed pursuant to the OpenSSL open source | ||
| 65 | * license provided above. | ||
| 66 | * | ||
| 67 | * The elliptic curve binary polynomial software is originally written by | ||
| 68 | * Sheueling Chang Shantz and Douglas Stebila of Sun Microsystems Laboratories. | ||
| 69 | * | ||
| 70 | */ | ||
| 55 | 71 | ||
| 56 | #include <stdio.h> | 72 | #include <stdio.h> |
| 57 | #include <stdlib.h> | 73 | #include <stdlib.h> |
| @@ -74,6 +90,15 @@ int main(int argc, char * argv[]) { puts("Elliptic curves are disabled."); retur | |||
| 74 | #include <openssl/engine.h> | 90 | #include <openssl/engine.h> |
| 75 | #endif | 91 | #endif |
| 76 | #include <openssl/err.h> | 92 | #include <openssl/err.h> |
| 93 | #include <openssl/obj_mac.h> | ||
| 94 | #include <openssl/objects.h> | ||
| 95 | #include <openssl/rand.h> | ||
| 96 | #include <openssl/bn.h> | ||
| 97 | |||
| 98 | #if defined(_MSC_VER) && defined(_MIPS_) && (_MSC_VER/100==12) | ||
| 99 | /* suppress "too big too optimize" warning */ | ||
| 100 | #pragma warning(disable:4959) | ||
| 101 | #endif | ||
| 77 | 102 | ||
| 78 | #define ABORT do { \ | 103 | #define ABORT do { \ |
| 79 | fflush(stdout); \ | 104 | fflush(stdout); \ |
| @@ -82,47 +107,59 @@ int main(int argc, char * argv[]) { puts("Elliptic curves are disabled."); retur | |||
| 82 | EXIT(1); \ | 107 | EXIT(1); \ |
| 83 | } while (0) | 108 | } while (0) |
| 84 | 109 | ||
| 110 | void prime_field_tests(void); | ||
| 111 | void char2_field_tests(void); | ||
| 112 | void internal_curve_test(void); | ||
| 113 | |||
| 114 | #define TIMING_BASE_PT 0 | ||
| 115 | #define TIMING_RAND_PT 1 | ||
| 116 | #define TIMING_SIMUL 2 | ||
| 117 | |||
| 85 | #if 0 | 118 | #if 0 |
| 86 | static void timings(EC_GROUP *group, int multi, BN_CTX *ctx) | 119 | static void timings(EC_GROUP *group, int type, BN_CTX *ctx) |
| 87 | { | 120 | { |
| 88 | clock_t clck; | 121 | clock_t clck; |
| 89 | int i, j; | 122 | int i, j; |
| 90 | BIGNUM *s, *s0; | 123 | BIGNUM *s; |
| 124 | BIGNUM *r[10], *r0[10]; | ||
| 91 | EC_POINT *P; | 125 | EC_POINT *P; |
| 92 | 126 | ||
| 93 | s = BN_new(); | 127 | s = BN_new(); |
| 94 | s0 = BN_new(); | 128 | if (s == NULL) ABORT; |
| 95 | if (s == NULL || s0 == NULL) ABORT; | ||
| 96 | 129 | ||
| 97 | if (!EC_GROUP_get_curve_GFp(group, s, NULL, NULL, ctx)) ABORT; | 130 | fprintf(stdout, "Timings for %d-bit field, ", EC_GROUP_get_degree(group)); |
| 98 | fprintf(stdout, "Timings for %d bit prime, ", (int)BN_num_bits(s)); | ||
| 99 | if (!EC_GROUP_get_order(group, s, ctx)) ABORT; | 131 | if (!EC_GROUP_get_order(group, s, ctx)) ABORT; |
| 100 | fprintf(stdout, "%d bit scalars ", (int)BN_num_bits(s)); | 132 | fprintf(stdout, "%d-bit scalars ", (int)BN_num_bits(s)); |
| 101 | fflush(stdout); | 133 | fflush(stdout); |
| 102 | 134 | ||
| 103 | P = EC_POINT_new(group); | 135 | P = EC_POINT_new(group); |
| 104 | if (P == NULL) ABORT; | 136 | if (P == NULL) ABORT; |
| 105 | EC_POINT_copy(P, EC_GROUP_get0_generator(group)); | 137 | EC_POINT_copy(P, EC_GROUP_get0_generator(group)); |
| 106 | 138 | ||
| 107 | clck = clock(); | ||
| 108 | for (i = 0; i < 10; i++) | 139 | for (i = 0; i < 10; i++) |
| 109 | { | 140 | { |
| 110 | if (!BN_pseudo_rand(s, BN_num_bits(s), 0, 0)) ABORT; | 141 | if ((r[i] = BN_new()) == NULL) ABORT; |
| 111 | if (multi) | 142 | if (!BN_pseudo_rand(r[i], BN_num_bits(s), 0, 0)) ABORT; |
| 143 | if (type != TIMING_BASE_PT) | ||
| 112 | { | 144 | { |
| 113 | if (!BN_pseudo_rand(s0, BN_num_bits(s), 0, 0)) ABORT; | 145 | if ((r0[i] = BN_new()) == NULL) ABORT; |
| 146 | if (!BN_pseudo_rand(r0[i], BN_num_bits(s), 0, 0)) ABORT; | ||
| 114 | } | 147 | } |
| 148 | } | ||
| 149 | |||
| 150 | clck = clock(); | ||
| 151 | for (i = 0; i < 10; i++) | ||
| 152 | { | ||
| 115 | for (j = 0; j < 10; j++) | 153 | for (j = 0; j < 10; j++) |
| 116 | { | 154 | { |
| 117 | if (!EC_POINT_mul(group, P, s, multi ? P : NULL, multi ? s0 : NULL, ctx)) ABORT; | 155 | if (!EC_POINT_mul(group, P, (type != TIMING_RAND_PT) ? r[i] : NULL, |
| 156 | (type != TIMING_BASE_PT) ? P : NULL, (type != TIMING_BASE_PT) ? r0[i] : NULL, ctx)) ABORT; | ||
| 118 | } | 157 | } |
| 119 | fprintf(stdout, "."); | ||
| 120 | fflush(stdout); | ||
| 121 | } | 158 | } |
| 122 | fprintf(stdout, "\n"); | ||
| 123 | |||
| 124 | clck = clock() - clck; | 159 | clck = clock() - clck; |
| 125 | 160 | ||
| 161 | fprintf(stdout, "\n"); | ||
| 162 | |||
| 126 | #ifdef CLOCKS_PER_SEC | 163 | #ifdef CLOCKS_PER_SEC |
| 127 | /* "To determine the time in seconds, the value returned | 164 | /* "To determine the time in seconds, the value returned |
| 128 | * by the clock function should be divided by the value | 165 | * by the clock function should be divided by the value |
| @@ -136,43 +173,40 @@ static void timings(EC_GROUP *group, int multi, BN_CTX *ctx) | |||
| 136 | # define CLOCKS_PER_SEC 1 | 173 | # define CLOCKS_PER_SEC 1 |
| 137 | #endif | 174 | #endif |
| 138 | 175 | ||
| 139 | fprintf(stdout, "%i %s in %.2f " UNIT "\n", i*j, | 176 | if (type == TIMING_BASE_PT) { |
| 140 | multi ? "s*P+t*Q operations" : "point multiplications", | 177 | fprintf(stdout, "%i %s in %.2f " UNIT "\n", i*j, |
| 141 | (double)clck/CLOCKS_PER_SEC); | 178 | "base point multiplications", (double)clck/CLOCKS_PER_SEC); |
| 179 | } else if (type == TIMING_RAND_PT) { | ||
| 180 | fprintf(stdout, "%i %s in %.2f " UNIT "\n", i*j, | ||
| 181 | "random point multiplications", (double)clck/CLOCKS_PER_SEC); | ||
| 182 | } else if (type == TIMING_SIMUL) { | ||
| 183 | fprintf(stdout, "%i %s in %.2f " UNIT "\n", i*j, | ||
| 184 | "s*P+t*Q operations", (double)clck/CLOCKS_PER_SEC); | ||
| 185 | } | ||
| 142 | fprintf(stdout, "average: %.4f " UNIT "\n", (double)clck/(CLOCKS_PER_SEC*i*j)); | 186 | fprintf(stdout, "average: %.4f " UNIT "\n", (double)clck/(CLOCKS_PER_SEC*i*j)); |
| 143 | 187 | ||
| 144 | EC_POINT_free(P); | 188 | EC_POINT_free(P); |
| 145 | BN_free(s); | 189 | BN_free(s); |
| 146 | BN_free(s0); | 190 | for (i = 0; i < 10; i++) |
| 191 | { | ||
| 192 | BN_free(r[i]); | ||
| 193 | if (type != TIMING_BASE_PT) BN_free(r0[i]); | ||
| 194 | } | ||
| 147 | } | 195 | } |
| 148 | #endif | 196 | #endif |
| 149 | 197 | ||
| 150 | int main(int argc, char *argv[]) | 198 | void prime_field_tests() |
| 151 | { | 199 | { |
| 152 | BN_CTX *ctx = NULL; | 200 | BN_CTX *ctx = NULL; |
| 153 | BIGNUM *p, *a, *b; | 201 | BIGNUM *p, *a, *b; |
| 154 | EC_GROUP *group; | 202 | EC_GROUP *group; |
| 155 | EC_GROUP *P_192 = NULL, *P_224 = NULL, *P_256 = NULL, *P_384 = NULL, *P_521 = NULL; | 203 | EC_GROUP *P_160 = NULL, *P_192 = NULL, *P_224 = NULL, *P_256 = NULL, *P_384 = NULL, *P_521 = NULL; |
| 156 | EC_POINT *P, *Q, *R; | 204 | EC_POINT *P, *Q, *R; |
| 157 | BIGNUM *x, *y, *z; | 205 | BIGNUM *x, *y, *z; |
| 158 | unsigned char buf[100]; | 206 | unsigned char buf[100]; |
| 159 | size_t i, len; | 207 | size_t i, len; |
| 160 | int k; | 208 | int k; |
| 161 | 209 | ||
| 162 | /* enable memory leak checking unless explicitly disabled */ | ||
| 163 | if (!((getenv("OPENSSL_DEBUG_MEMORY") != NULL) && (0 == strcmp(getenv("OPENSSL_DEBUG_MEMORY"), "off")))) | ||
| 164 | { | ||
| 165 | CRYPTO_malloc_debug_init(); | ||
| 166 | CRYPTO_set_mem_debug_options(V_CRYPTO_MDEBUG_ALL); | ||
| 167 | } | ||
| 168 | else | ||
| 169 | { | ||
| 170 | /* OPENSSL_DEBUG_MEMORY=off */ | ||
| 171 | CRYPTO_set_mem_debug_functions(0, 0, 0, 0, 0); | ||
| 172 | } | ||
| 173 | CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_ON); | ||
| 174 | ERR_load_crypto_strings(); | ||
| 175 | |||
| 176 | #if 1 /* optional */ | 210 | #if 1 /* optional */ |
| 177 | ctx = BN_CTX_new(); | 211 | ctx = BN_CTX_new(); |
| 178 | if (!ctx) ABORT; | 212 | if (!ctx) ABORT; |
| @@ -317,10 +351,56 @@ int main(int argc, char *argv[]) | |||
| 317 | if (0 != EC_POINT_cmp(group, P, R, ctx)) ABORT; | 351 | if (0 != EC_POINT_cmp(group, P, R, ctx)) ABORT; |
| 318 | 352 | ||
| 319 | 353 | ||
| 354 | /* Curve secp160r1 (Certicom Research SEC 2 Version 1.0, section 2.4.2, 2000) | ||
| 355 | * -- not a NIST curve, but commonly used */ | ||
| 356 | |||
| 357 | if (!BN_hex2bn(&p, "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF7FFFFFFF")) ABORT; | ||
| 358 | if (1 != BN_is_prime_ex(p, BN_prime_checks, ctx, NULL)) ABORT; | ||
| 359 | if (!BN_hex2bn(&a, "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF7FFFFFFC")) ABORT; | ||
| 360 | if (!BN_hex2bn(&b, "1C97BEFC54BD7A8B65ACF89F81D4D4ADC565FA45")) ABORT; | ||
| 361 | if (!EC_GROUP_set_curve_GFp(group, p, a, b, ctx)) ABORT; | ||
| 362 | |||
| 363 | if (!BN_hex2bn(&x, "4A96B5688EF573284664698968C38BB913CBFC82")) ABORT; | ||
| 364 | if (!BN_hex2bn(&y, "23a628553168947d59dcc912042351377ac5fb32")) ABORT; | ||
| 365 | if (!EC_POINT_set_affine_coordinates_GFp(group, P, x, y, ctx)) ABORT; | ||
| 366 | if (!EC_POINT_is_on_curve(group, P, ctx)) ABORT; | ||
| 367 | if (!BN_hex2bn(&z, "0100000000000000000001F4C8F927AED3CA752257")) ABORT; | ||
| 368 | if (!EC_GROUP_set_generator(group, P, z, BN_value_one())) ABORT; | ||
| 369 | |||
| 370 | if (!EC_POINT_get_affine_coordinates_GFp(group, P, x, y, ctx)) ABORT; | ||
| 371 | fprintf(stdout, "\nSEC2 curve secp160r1 -- Generator:\n x = 0x"); | ||
| 372 | BN_print_fp(stdout, x); | ||
| 373 | fprintf(stdout, "\n y = 0x"); | ||
| 374 | BN_print_fp(stdout, y); | ||
| 375 | fprintf(stdout, "\n"); | ||
| 376 | /* G_y value taken from the standard: */ | ||
| 377 | if (!BN_hex2bn(&z, "23a628553168947d59dcc912042351377ac5fb32")) ABORT; | ||
| 378 | if (0 != BN_cmp(y, z)) ABORT; | ||
| 379 | |||
| 380 | fprintf(stdout, "verify degree ..."); | ||
| 381 | if (EC_GROUP_get_degree(group) != 160) ABORT; | ||
| 382 | fprintf(stdout, " ok\n"); | ||
| 383 | |||
| 384 | fprintf(stdout, "verify group order ..."); | ||
| 385 | fflush(stdout); | ||
| 386 | if (!EC_GROUP_get_order(group, z, ctx)) ABORT; | ||
| 387 | if (!EC_POINT_mul(group, Q, z, NULL, NULL, ctx)) ABORT; | ||
| 388 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; | ||
| 389 | fprintf(stdout, "."); | ||
| 390 | fflush(stdout); | ||
| 391 | if (!EC_GROUP_precompute_mult(group, ctx)) ABORT; | ||
| 392 | if (!EC_POINT_mul(group, Q, z, NULL, NULL, ctx)) ABORT; | ||
| 393 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; | ||
| 394 | fprintf(stdout, " ok\n"); | ||
| 395 | |||
| 396 | if (!(P_160 = EC_GROUP_new(EC_GROUP_method_of(group)))) ABORT; | ||
| 397 | if (!EC_GROUP_copy(P_160, group)) ABORT; | ||
| 398 | |||
| 399 | |||
| 320 | /* Curve P-192 (FIPS PUB 186-2, App. 6) */ | 400 | /* Curve P-192 (FIPS PUB 186-2, App. 6) */ |
| 321 | 401 | ||
| 322 | if (!BN_hex2bn(&p, "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFF")) ABORT; | 402 | if (!BN_hex2bn(&p, "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFF")) ABORT; |
| 323 | if (1 != BN_is_prime(p, BN_prime_checks, 0, ctx, NULL)) ABORT; | 403 | if (1 != BN_is_prime_ex(p, BN_prime_checks, ctx, NULL)) ABORT; |
| 324 | if (!BN_hex2bn(&a, "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFC")) ABORT; | 404 | if (!BN_hex2bn(&a, "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFC")) ABORT; |
| 325 | if (!BN_hex2bn(&b, "64210519E59C80E70FA7E9AB72243049FEB8DEECC146B9B1")) ABORT; | 405 | if (!BN_hex2bn(&b, "64210519E59C80E70FA7E9AB72243049FEB8DEECC146B9B1")) ABORT; |
| 326 | if (!EC_GROUP_set_curve_GFp(group, p, a, b, ctx)) ABORT; | 406 | if (!EC_GROUP_set_curve_GFp(group, p, a, b, ctx)) ABORT; |
| @@ -340,6 +420,10 @@ int main(int argc, char *argv[]) | |||
| 340 | /* G_y value taken from the standard: */ | 420 | /* G_y value taken from the standard: */ |
| 341 | if (!BN_hex2bn(&z, "07192B95FFC8DA78631011ED6B24CDD573F977A11E794811")) ABORT; | 421 | if (!BN_hex2bn(&z, "07192B95FFC8DA78631011ED6B24CDD573F977A11E794811")) ABORT; |
| 342 | if (0 != BN_cmp(y, z)) ABORT; | 422 | if (0 != BN_cmp(y, z)) ABORT; |
| 423 | |||
| 424 | fprintf(stdout, "verify degree ..."); | ||
| 425 | if (EC_GROUP_get_degree(group) != 192) ABORT; | ||
| 426 | fprintf(stdout, " ok\n"); | ||
| 343 | 427 | ||
| 344 | fprintf(stdout, "verify group order ..."); | 428 | fprintf(stdout, "verify group order ..."); |
| 345 | fflush(stdout); | 429 | fflush(stdout); |
| @@ -348,7 +432,9 @@ int main(int argc, char *argv[]) | |||
| 348 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; | 432 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; |
| 349 | fprintf(stdout, "."); | 433 | fprintf(stdout, "."); |
| 350 | fflush(stdout); | 434 | fflush(stdout); |
| 435 | #if 0 | ||
| 351 | if (!EC_GROUP_precompute_mult(group, ctx)) ABORT; | 436 | if (!EC_GROUP_precompute_mult(group, ctx)) ABORT; |
| 437 | #endif | ||
| 352 | if (!EC_POINT_mul(group, Q, z, NULL, NULL, ctx)) ABORT; | 438 | if (!EC_POINT_mul(group, Q, z, NULL, NULL, ctx)) ABORT; |
| 353 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; | 439 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; |
| 354 | fprintf(stdout, " ok\n"); | 440 | fprintf(stdout, " ok\n"); |
| @@ -360,7 +446,7 @@ int main(int argc, char *argv[]) | |||
| 360 | /* Curve P-224 (FIPS PUB 186-2, App. 6) */ | 446 | /* Curve P-224 (FIPS PUB 186-2, App. 6) */ |
| 361 | 447 | ||
| 362 | if (!BN_hex2bn(&p, "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF000000000000000000000001")) ABORT; | 448 | if (!BN_hex2bn(&p, "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF000000000000000000000001")) ABORT; |
| 363 | if (1 != BN_is_prime(p, BN_prime_checks, 0, ctx, NULL)) ABORT; | 449 | if (1 != BN_is_prime_ex(p, BN_prime_checks, ctx, NULL)) ABORT; |
| 364 | if (!BN_hex2bn(&a, "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFE")) ABORT; | 450 | if (!BN_hex2bn(&a, "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFE")) ABORT; |
| 365 | if (!BN_hex2bn(&b, "B4050A850C04B3ABF54132565044B0B7D7BFD8BA270B39432355FFB4")) ABORT; | 451 | if (!BN_hex2bn(&b, "B4050A850C04B3ABF54132565044B0B7D7BFD8BA270B39432355FFB4")) ABORT; |
| 366 | if (!EC_GROUP_set_curve_GFp(group, p, a, b, ctx)) ABORT; | 452 | if (!EC_GROUP_set_curve_GFp(group, p, a, b, ctx)) ABORT; |
| @@ -381,6 +467,10 @@ int main(int argc, char *argv[]) | |||
| 381 | if (!BN_hex2bn(&z, "BD376388B5F723FB4C22DFE6CD4375A05A07476444D5819985007E34")) ABORT; | 467 | if (!BN_hex2bn(&z, "BD376388B5F723FB4C22DFE6CD4375A05A07476444D5819985007E34")) ABORT; |
| 382 | if (0 != BN_cmp(y, z)) ABORT; | 468 | if (0 != BN_cmp(y, z)) ABORT; |
| 383 | 469 | ||
| 470 | fprintf(stdout, "verify degree ..."); | ||
| 471 | if (EC_GROUP_get_degree(group) != 224) ABORT; | ||
| 472 | fprintf(stdout, " ok\n"); | ||
| 473 | |||
| 384 | fprintf(stdout, "verify group order ..."); | 474 | fprintf(stdout, "verify group order ..."); |
| 385 | fflush(stdout); | 475 | fflush(stdout); |
| 386 | if (!EC_GROUP_get_order(group, z, ctx)) ABORT; | 476 | if (!EC_GROUP_get_order(group, z, ctx)) ABORT; |
| @@ -388,7 +478,9 @@ int main(int argc, char *argv[]) | |||
| 388 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; | 478 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; |
| 389 | fprintf(stdout, "."); | 479 | fprintf(stdout, "."); |
| 390 | fflush(stdout); | 480 | fflush(stdout); |
| 481 | #if 0 | ||
| 391 | if (!EC_GROUP_precompute_mult(group, ctx)) ABORT; | 482 | if (!EC_GROUP_precompute_mult(group, ctx)) ABORT; |
| 483 | #endif | ||
| 392 | if (!EC_POINT_mul(group, Q, z, NULL, NULL, ctx)) ABORT; | 484 | if (!EC_POINT_mul(group, Q, z, NULL, NULL, ctx)) ABORT; |
| 393 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; | 485 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; |
| 394 | fprintf(stdout, " ok\n"); | 486 | fprintf(stdout, " ok\n"); |
| @@ -400,7 +492,7 @@ int main(int argc, char *argv[]) | |||
| 400 | /* Curve P-256 (FIPS PUB 186-2, App. 6) */ | 492 | /* Curve P-256 (FIPS PUB 186-2, App. 6) */ |
| 401 | 493 | ||
| 402 | if (!BN_hex2bn(&p, "FFFFFFFF00000001000000000000000000000000FFFFFFFFFFFFFFFFFFFFFFFF")) ABORT; | 494 | if (!BN_hex2bn(&p, "FFFFFFFF00000001000000000000000000000000FFFFFFFFFFFFFFFFFFFFFFFF")) ABORT; |
| 403 | if (1 != BN_is_prime(p, BN_prime_checks, 0, ctx, NULL)) ABORT; | 495 | if (1 != BN_is_prime_ex(p, BN_prime_checks, ctx, NULL)) ABORT; |
| 404 | if (!BN_hex2bn(&a, "FFFFFFFF00000001000000000000000000000000FFFFFFFFFFFFFFFFFFFFFFFC")) ABORT; | 496 | if (!BN_hex2bn(&a, "FFFFFFFF00000001000000000000000000000000FFFFFFFFFFFFFFFFFFFFFFFC")) ABORT; |
| 405 | if (!BN_hex2bn(&b, "5AC635D8AA3A93E7B3EBBD55769886BC651D06B0CC53B0F63BCE3C3E27D2604B")) ABORT; | 497 | if (!BN_hex2bn(&b, "5AC635D8AA3A93E7B3EBBD55769886BC651D06B0CC53B0F63BCE3C3E27D2604B")) ABORT; |
| 406 | if (!EC_GROUP_set_curve_GFp(group, p, a, b, ctx)) ABORT; | 498 | if (!EC_GROUP_set_curve_GFp(group, p, a, b, ctx)) ABORT; |
| @@ -422,6 +514,10 @@ int main(int argc, char *argv[]) | |||
| 422 | if (!BN_hex2bn(&z, "4FE342E2FE1A7F9B8EE7EB4A7C0F9E162BCE33576B315ECECBB6406837BF51F5")) ABORT; | 514 | if (!BN_hex2bn(&z, "4FE342E2FE1A7F9B8EE7EB4A7C0F9E162BCE33576B315ECECBB6406837BF51F5")) ABORT; |
| 423 | if (0 != BN_cmp(y, z)) ABORT; | 515 | if (0 != BN_cmp(y, z)) ABORT; |
| 424 | 516 | ||
| 517 | fprintf(stdout, "verify degree ..."); | ||
| 518 | if (EC_GROUP_get_degree(group) != 256) ABORT; | ||
| 519 | fprintf(stdout, " ok\n"); | ||
| 520 | |||
| 425 | fprintf(stdout, "verify group order ..."); | 521 | fprintf(stdout, "verify group order ..."); |
| 426 | fflush(stdout); | 522 | fflush(stdout); |
| 427 | if (!EC_GROUP_get_order(group, z, ctx)) ABORT; | 523 | if (!EC_GROUP_get_order(group, z, ctx)) ABORT; |
| @@ -429,7 +525,9 @@ int main(int argc, char *argv[]) | |||
| 429 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; | 525 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; |
| 430 | fprintf(stdout, "."); | 526 | fprintf(stdout, "."); |
| 431 | fflush(stdout); | 527 | fflush(stdout); |
| 528 | #if 0 | ||
| 432 | if (!EC_GROUP_precompute_mult(group, ctx)) ABORT; | 529 | if (!EC_GROUP_precompute_mult(group, ctx)) ABORT; |
| 530 | #endif | ||
| 433 | if (!EC_POINT_mul(group, Q, z, NULL, NULL, ctx)) ABORT; | 531 | if (!EC_POINT_mul(group, Q, z, NULL, NULL, ctx)) ABORT; |
| 434 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; | 532 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; |
| 435 | fprintf(stdout, " ok\n"); | 533 | fprintf(stdout, " ok\n"); |
| @@ -442,7 +540,7 @@ int main(int argc, char *argv[]) | |||
| 442 | 540 | ||
| 443 | if (!BN_hex2bn(&p, "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF" | 541 | if (!BN_hex2bn(&p, "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF" |
| 444 | "FFFFFFFFFFFFFFFFFEFFFFFFFF0000000000000000FFFFFFFF")) ABORT; | 542 | "FFFFFFFFFFFFFFFFFEFFFFFFFF0000000000000000FFFFFFFF")) ABORT; |
| 445 | if (1 != BN_is_prime(p, BN_prime_checks, 0, ctx, NULL)) ABORT; | 543 | if (1 != BN_is_prime_ex(p, BN_prime_checks, ctx, NULL)) ABORT; |
| 446 | if (!BN_hex2bn(&a, "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF" | 544 | if (!BN_hex2bn(&a, "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF" |
| 447 | "FFFFFFFFFFFFFFFFFEFFFFFFFF0000000000000000FFFFFFFC")) ABORT; | 545 | "FFFFFFFFFFFFFFFFFEFFFFFFFF0000000000000000FFFFFFFC")) ABORT; |
| 448 | if (!BN_hex2bn(&b, "B3312FA7E23EE7E4988E056BE3F82D19181D9C6EFE8141" | 546 | if (!BN_hex2bn(&b, "B3312FA7E23EE7E4988E056BE3F82D19181D9C6EFE8141" |
| @@ -468,6 +566,10 @@ int main(int argc, char *argv[]) | |||
| 468 | "7CE9DA3113B5F0B8C00A60B1CE1D7E819D7A431D7C90EA0E5F")) ABORT; | 566 | "7CE9DA3113B5F0B8C00A60B1CE1D7E819D7A431D7C90EA0E5F")) ABORT; |
| 469 | if (0 != BN_cmp(y, z)) ABORT; | 567 | if (0 != BN_cmp(y, z)) ABORT; |
| 470 | 568 | ||
| 569 | fprintf(stdout, "verify degree ..."); | ||
| 570 | if (EC_GROUP_get_degree(group) != 384) ABORT; | ||
| 571 | fprintf(stdout, " ok\n"); | ||
| 572 | |||
| 471 | fprintf(stdout, "verify group order ..."); | 573 | fprintf(stdout, "verify group order ..."); |
| 472 | fflush(stdout); | 574 | fflush(stdout); |
| 473 | if (!EC_GROUP_get_order(group, z, ctx)) ABORT; | 575 | if (!EC_GROUP_get_order(group, z, ctx)) ABORT; |
| @@ -475,7 +577,9 @@ int main(int argc, char *argv[]) | |||
| 475 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; | 577 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; |
| 476 | fprintf(stdout, "."); | 578 | fprintf(stdout, "."); |
| 477 | fflush(stdout); | 579 | fflush(stdout); |
| 580 | #if 0 | ||
| 478 | if (!EC_GROUP_precompute_mult(group, ctx)) ABORT; | 581 | if (!EC_GROUP_precompute_mult(group, ctx)) ABORT; |
| 582 | #endif | ||
| 479 | if (!EC_POINT_mul(group, Q, z, NULL, NULL, ctx)) ABORT; | 583 | if (!EC_POINT_mul(group, Q, z, NULL, NULL, ctx)) ABORT; |
| 480 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; | 584 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; |
| 481 | fprintf(stdout, " ok\n"); | 585 | fprintf(stdout, " ok\n"); |
| @@ -489,7 +593,7 @@ int main(int argc, char *argv[]) | |||
| 489 | if (!BN_hex2bn(&p, "1FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF" | 593 | if (!BN_hex2bn(&p, "1FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF" |
| 490 | "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF" | 594 | "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF" |
| 491 | "FFFFFFFFFFFFFFFFFFFFFFFFFFFF")) ABORT; | 595 | "FFFFFFFFFFFFFFFFFFFFFFFFFFFF")) ABORT; |
| 492 | if (1 != BN_is_prime(p, BN_prime_checks, 0, ctx, NULL)) ABORT; | 596 | if (1 != BN_is_prime_ex(p, BN_prime_checks, ctx, NULL)) ABORT; |
| 493 | if (!BN_hex2bn(&a, "1FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF" | 597 | if (!BN_hex2bn(&a, "1FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF" |
| 494 | "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF" | 598 | "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF" |
| 495 | "FFFFFFFFFFFFFFFFFFFFFFFFFFFC")) ABORT; | 599 | "FFFFFFFFFFFFFFFFFFFFFFFFFFFC")) ABORT; |
| @@ -520,6 +624,10 @@ int main(int argc, char *argv[]) | |||
| 520 | "7086A272C24088BE94769FD16650")) ABORT; | 624 | "7086A272C24088BE94769FD16650")) ABORT; |
| 521 | if (0 != BN_cmp(y, z)) ABORT; | 625 | if (0 != BN_cmp(y, z)) ABORT; |
| 522 | 626 | ||
| 627 | fprintf(stdout, "verify degree ..."); | ||
| 628 | if (EC_GROUP_get_degree(group) != 521) ABORT; | ||
| 629 | fprintf(stdout, " ok\n"); | ||
| 630 | |||
| 523 | fprintf(stdout, "verify group order ..."); | 631 | fprintf(stdout, "verify group order ..."); |
| 524 | fflush(stdout); | 632 | fflush(stdout); |
| 525 | if (!EC_GROUP_get_order(group, z, ctx)) ABORT; | 633 | if (!EC_GROUP_get_order(group, z, ctx)) ABORT; |
| @@ -527,7 +635,9 @@ int main(int argc, char *argv[]) | |||
| 527 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; | 635 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; |
| 528 | fprintf(stdout, "."); | 636 | fprintf(stdout, "."); |
| 529 | fflush(stdout); | 637 | fflush(stdout); |
| 638 | #if 0 | ||
| 530 | if (!EC_GROUP_precompute_mult(group, ctx)) ABORT; | 639 | if (!EC_GROUP_precompute_mult(group, ctx)) ABORT; |
| 640 | #endif | ||
| 531 | if (!EC_POINT_mul(group, Q, z, NULL, NULL, ctx)) ABORT; | 641 | if (!EC_POINT_mul(group, Q, z, NULL, NULL, ctx)) ABORT; |
| 532 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; | 642 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; |
| 533 | fprintf(stdout, " ok\n"); | 643 | fprintf(stdout, " ok\n"); |
| @@ -549,13 +659,15 @@ int main(int argc, char *argv[]) | |||
| 549 | if (!EC_POINT_is_at_infinity(group, R)) ABORT; /* R = P + 2Q */ | 659 | if (!EC_POINT_is_at_infinity(group, R)) ABORT; /* R = P + 2Q */ |
| 550 | 660 | ||
| 551 | { | 661 | { |
| 552 | const EC_POINT *points[3]; | 662 | const EC_POINT *points[4]; |
| 553 | const BIGNUM *scalars[3]; | 663 | const BIGNUM *scalars[4]; |
| 664 | BIGNUM scalar3; | ||
| 554 | 665 | ||
| 555 | if (EC_POINT_is_at_infinity(group, Q)) ABORT; | 666 | if (EC_POINT_is_at_infinity(group, Q)) ABORT; |
| 556 | points[0] = Q; | 667 | points[0] = Q; |
| 557 | points[1] = Q; | 668 | points[1] = Q; |
| 558 | points[2] = Q; | 669 | points[2] = Q; |
| 670 | points[3] = Q; | ||
| 559 | 671 | ||
| 560 | if (!BN_add(y, z, BN_value_one())) ABORT; | 672 | if (!BN_add(y, z, BN_value_one())) ABORT; |
| 561 | if (BN_is_odd(y)) ABORT; | 673 | if (BN_is_odd(y)) ABORT; |
| @@ -577,7 +689,7 @@ int main(int argc, char *argv[]) | |||
| 577 | 689 | ||
| 578 | if (!BN_pseudo_rand(y, BN_num_bits(y), 0, 0)) ABORT; | 690 | if (!BN_pseudo_rand(y, BN_num_bits(y), 0, 0)) ABORT; |
| 579 | if (!BN_add(z, z, y)) ABORT; | 691 | if (!BN_add(z, z, y)) ABORT; |
| 580 | z->neg = 1; | 692 | BN_set_negative(z, 1); |
| 581 | scalars[0] = y; | 693 | scalars[0] = y; |
| 582 | scalars[1] = z; /* z = -(order + y) */ | 694 | scalars[1] = z; /* z = -(order + y) */ |
| 583 | 695 | ||
| @@ -589,29 +701,43 @@ int main(int argc, char *argv[]) | |||
| 589 | 701 | ||
| 590 | if (!BN_pseudo_rand(x, BN_num_bits(y) - 1, 0, 0)) ABORT; | 702 | if (!BN_pseudo_rand(x, BN_num_bits(y) - 1, 0, 0)) ABORT; |
| 591 | if (!BN_add(z, x, y)) ABORT; | 703 | if (!BN_add(z, x, y)) ABORT; |
| 592 | z->neg = 1; | 704 | BN_set_negative(z, 1); |
| 593 | scalars[0] = x; | 705 | scalars[0] = x; |
| 594 | scalars[1] = y; | 706 | scalars[1] = y; |
| 595 | scalars[2] = z; /* z = -(x+y) */ | 707 | scalars[2] = z; /* z = -(x+y) */ |
| 596 | 708 | ||
| 597 | if (!EC_POINTs_mul(group, P, NULL, 3, points, scalars, ctx)) ABORT; | 709 | BN_init(&scalar3); |
| 710 | BN_zero(&scalar3); | ||
| 711 | scalars[3] = &scalar3; | ||
| 712 | |||
| 713 | if (!EC_POINTs_mul(group, P, NULL, 4, points, scalars, ctx)) ABORT; | ||
| 598 | if (!EC_POINT_is_at_infinity(group, P)) ABORT; | 714 | if (!EC_POINT_is_at_infinity(group, P)) ABORT; |
| 599 | 715 | ||
| 600 | fprintf(stdout, " ok\n\n"); | 716 | fprintf(stdout, " ok\n\n"); |
| 717 | |||
| 718 | BN_free(&scalar3); | ||
| 601 | } | 719 | } |
| 602 | 720 | ||
| 603 | 721 | ||
| 604 | #if 0 | 722 | #if 0 |
| 605 | timings(P_192, 0, ctx); | 723 | timings(P_160, TIMING_BASE_PT, ctx); |
| 606 | timings(P_192, 1, ctx); | 724 | timings(P_160, TIMING_RAND_PT, ctx); |
| 607 | timings(P_224, 0, ctx); | 725 | timings(P_160, TIMING_SIMUL, ctx); |
| 608 | timings(P_224, 1, ctx); | 726 | timings(P_192, TIMING_BASE_PT, ctx); |
| 609 | timings(P_256, 0, ctx); | 727 | timings(P_192, TIMING_RAND_PT, ctx); |
| 610 | timings(P_256, 1, ctx); | 728 | timings(P_192, TIMING_SIMUL, ctx); |
| 611 | timings(P_384, 0, ctx); | 729 | timings(P_224, TIMING_BASE_PT, ctx); |
| 612 | timings(P_384, 1, ctx); | 730 | timings(P_224, TIMING_RAND_PT, ctx); |
| 613 | timings(P_521, 0, ctx); | 731 | timings(P_224, TIMING_SIMUL, ctx); |
| 614 | timings(P_521, 1, ctx); | 732 | timings(P_256, TIMING_BASE_PT, ctx); |
| 733 | timings(P_256, TIMING_RAND_PT, ctx); | ||
| 734 | timings(P_256, TIMING_SIMUL, ctx); | ||
| 735 | timings(P_384, TIMING_BASE_PT, ctx); | ||
| 736 | timings(P_384, TIMING_RAND_PT, ctx); | ||
| 737 | timings(P_384, TIMING_SIMUL, ctx); | ||
| 738 | timings(P_521, TIMING_BASE_PT, ctx); | ||
| 739 | timings(P_521, TIMING_RAND_PT, ctx); | ||
| 740 | timings(P_521, TIMING_SIMUL, ctx); | ||
| 615 | #endif | 741 | #endif |
| 616 | 742 | ||
| 617 | 743 | ||
| @@ -624,12 +750,587 @@ int main(int argc, char *argv[]) | |||
| 624 | EC_POINT_free(R); | 750 | EC_POINT_free(R); |
| 625 | BN_free(x); BN_free(y); BN_free(z); | 751 | BN_free(x); BN_free(y); BN_free(z); |
| 626 | 752 | ||
| 753 | if (P_160) EC_GROUP_free(P_160); | ||
| 627 | if (P_192) EC_GROUP_free(P_192); | 754 | if (P_192) EC_GROUP_free(P_192); |
| 628 | if (P_224) EC_GROUP_free(P_224); | 755 | if (P_224) EC_GROUP_free(P_224); |
| 629 | if (P_256) EC_GROUP_free(P_256); | 756 | if (P_256) EC_GROUP_free(P_256); |
| 630 | if (P_384) EC_GROUP_free(P_384); | 757 | if (P_384) EC_GROUP_free(P_384); |
| 631 | if (P_521) EC_GROUP_free(P_521); | 758 | if (P_521) EC_GROUP_free(P_521); |
| 632 | 759 | ||
| 760 | } | ||
| 761 | |||
| 762 | /* Change test based on whether binary point compression is enabled or not. */ | ||
| 763 | #ifdef OPENSSL_EC_BIN_PT_COMP | ||
| 764 | #define CHAR2_CURVE_TEST_INTERNAL(_name, _p, _a, _b, _x, _y, _y_bit, _order, _cof, _degree, _variable) \ | ||
| 765 | if (!BN_hex2bn(&x, _x)) ABORT; \ | ||
| 766 | if (!EC_POINT_set_compressed_coordinates_GF2m(group, P, x, _y_bit, ctx)) ABORT; \ | ||
| 767 | if (!EC_POINT_is_on_curve(group, P, ctx)) ABORT; \ | ||
| 768 | if (!BN_hex2bn(&z, _order)) ABORT; \ | ||
| 769 | if (!BN_hex2bn(&cof, _cof)) ABORT; \ | ||
| 770 | if (!EC_GROUP_set_generator(group, P, z, cof)) ABORT; \ | ||
| 771 | if (!EC_POINT_get_affine_coordinates_GF2m(group, P, x, y, ctx)) ABORT; \ | ||
| 772 | fprintf(stdout, "\n%s -- Generator:\n x = 0x", _name); \ | ||
| 773 | BN_print_fp(stdout, x); \ | ||
| 774 | fprintf(stdout, "\n y = 0x"); \ | ||
| 775 | BN_print_fp(stdout, y); \ | ||
| 776 | fprintf(stdout, "\n"); \ | ||
| 777 | /* G_y value taken from the standard: */ \ | ||
| 778 | if (!BN_hex2bn(&z, _y)) ABORT; \ | ||
| 779 | if (0 != BN_cmp(y, z)) ABORT; | ||
| 780 | #else | ||
| 781 | #define CHAR2_CURVE_TEST_INTERNAL(_name, _p, _a, _b, _x, _y, _y_bit, _order, _cof, _degree, _variable) \ | ||
| 782 | if (!BN_hex2bn(&x, _x)) ABORT; \ | ||
| 783 | if (!BN_hex2bn(&y, _y)) ABORT; \ | ||
| 784 | if (!EC_POINT_set_affine_coordinates_GF2m(group, P, x, y, ctx)) ABORT; \ | ||
| 785 | if (!EC_POINT_is_on_curve(group, P, ctx)) ABORT; \ | ||
| 786 | if (!BN_hex2bn(&z, _order)) ABORT; \ | ||
| 787 | if (!BN_hex2bn(&cof, _cof)) ABORT; \ | ||
| 788 | if (!EC_GROUP_set_generator(group, P, z, cof)) ABORT; \ | ||
| 789 | fprintf(stdout, "\n%s -- Generator:\n x = 0x", _name); \ | ||
| 790 | BN_print_fp(stdout, x); \ | ||
| 791 | fprintf(stdout, "\n y = 0x"); \ | ||
| 792 | BN_print_fp(stdout, y); \ | ||
| 793 | fprintf(stdout, "\n"); | ||
| 794 | #endif | ||
| 795 | |||
| 796 | #define CHAR2_CURVE_TEST(_name, _p, _a, _b, _x, _y, _y_bit, _order, _cof, _degree, _variable) \ | ||
| 797 | if (!BN_hex2bn(&p, _p)) ABORT; \ | ||
| 798 | if (!BN_hex2bn(&a, _a)) ABORT; \ | ||
| 799 | if (!BN_hex2bn(&b, _b)) ABORT; \ | ||
| 800 | if (!EC_GROUP_set_curve_GF2m(group, p, a, b, ctx)) ABORT; \ | ||
| 801 | CHAR2_CURVE_TEST_INTERNAL(_name, _p, _a, _b, _x, _y, _y_bit, _order, _cof, _degree, _variable) \ | ||
| 802 | fprintf(stdout, "verify degree ..."); \ | ||
| 803 | if (EC_GROUP_get_degree(group) != _degree) ABORT; \ | ||
| 804 | fprintf(stdout, " ok\n"); \ | ||
| 805 | fprintf(stdout, "verify group order ..."); \ | ||
| 806 | fflush(stdout); \ | ||
| 807 | if (!EC_GROUP_get_order(group, z, ctx)) ABORT; \ | ||
| 808 | if (!EC_POINT_mul(group, Q, z, NULL, NULL, ctx)) ABORT; \ | ||
| 809 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; \ | ||
| 810 | fprintf(stdout, "."); \ | ||
| 811 | fflush(stdout); \ | ||
| 812 | /* if (!EC_GROUP_precompute_mult(group, ctx)) ABORT; */ \ | ||
| 813 | if (!EC_POINT_mul(group, Q, z, NULL, NULL, ctx)) ABORT; \ | ||
| 814 | if (!EC_POINT_is_at_infinity(group, Q)) ABORT; \ | ||
| 815 | fprintf(stdout, " ok\n"); \ | ||
| 816 | if (!(_variable = EC_GROUP_new(EC_GROUP_method_of(group)))) ABORT; \ | ||
| 817 | if (!EC_GROUP_copy(_variable, group)) ABORT; | ||
| 818 | |||
| 819 | void char2_field_tests() | ||
| 820 | { | ||
| 821 | BN_CTX *ctx = NULL; | ||
| 822 | BIGNUM *p, *a, *b; | ||
| 823 | EC_GROUP *group; | ||
| 824 | EC_GROUP *C2_K163 = NULL, *C2_K233 = NULL, *C2_K283 = NULL, *C2_K409 = NULL, *C2_K571 = NULL; | ||
| 825 | EC_GROUP *C2_B163 = NULL, *C2_B233 = NULL, *C2_B283 = NULL, *C2_B409 = NULL, *C2_B571 = NULL; | ||
| 826 | EC_POINT *P, *Q, *R; | ||
| 827 | BIGNUM *x, *y, *z, *cof; | ||
| 828 | unsigned char buf[100]; | ||
| 829 | size_t i, len; | ||
| 830 | int k; | ||
| 831 | |||
| 832 | #if 1 /* optional */ | ||
| 833 | ctx = BN_CTX_new(); | ||
| 834 | if (!ctx) ABORT; | ||
| 835 | #endif | ||
| 836 | |||
| 837 | p = BN_new(); | ||
| 838 | a = BN_new(); | ||
| 839 | b = BN_new(); | ||
| 840 | if (!p || !a || !b) ABORT; | ||
| 841 | |||
| 842 | if (!BN_hex2bn(&p, "13")) ABORT; | ||
| 843 | if (!BN_hex2bn(&a, "3")) ABORT; | ||
| 844 | if (!BN_hex2bn(&b, "1")) ABORT; | ||
| 845 | |||
| 846 | group = EC_GROUP_new(EC_GF2m_simple_method()); /* applications should use EC_GROUP_new_curve_GF2m | ||
| 847 | * so that the library gets to choose the EC_METHOD */ | ||
| 848 | if (!group) ABORT; | ||
| 849 | if (!EC_GROUP_set_curve_GF2m(group, p, a, b, ctx)) ABORT; | ||
| 850 | |||
| 851 | { | ||
| 852 | EC_GROUP *tmp; | ||
| 853 | tmp = EC_GROUP_new(EC_GROUP_method_of(group)); | ||
| 854 | if (!tmp) ABORT; | ||
| 855 | if (!EC_GROUP_copy(tmp, group)) ABORT; | ||
| 856 | EC_GROUP_free(group); | ||
| 857 | group = tmp; | ||
| 858 | } | ||
| 859 | |||
| 860 | if (!EC_GROUP_get_curve_GF2m(group, p, a, b, ctx)) ABORT; | ||
| 861 | |||
| 862 | fprintf(stdout, "Curve defined by Weierstrass equation\n y^2 + x*y = x^3 + a*x^2 + b (mod 0x"); | ||
| 863 | BN_print_fp(stdout, p); | ||
| 864 | fprintf(stdout, ")\n a = 0x"); | ||
| 865 | BN_print_fp(stdout, a); | ||
| 866 | fprintf(stdout, "\n b = 0x"); | ||
| 867 | BN_print_fp(stdout, b); | ||
| 868 | fprintf(stdout, "\n(0x... means binary polynomial)\n"); | ||
| 869 | |||
| 870 | P = EC_POINT_new(group); | ||
| 871 | Q = EC_POINT_new(group); | ||
| 872 | R = EC_POINT_new(group); | ||
| 873 | if (!P || !Q || !R) ABORT; | ||
| 874 | |||
| 875 | if (!EC_POINT_set_to_infinity(group, P)) ABORT; | ||
| 876 | if (!EC_POINT_is_at_infinity(group, P)) ABORT; | ||
| 877 | |||
| 878 | buf[0] = 0; | ||
| 879 | if (!EC_POINT_oct2point(group, Q, buf, 1, ctx)) ABORT; | ||
| 880 | |||
| 881 | if (!EC_POINT_add(group, P, P, Q, ctx)) ABORT; | ||
| 882 | if (!EC_POINT_is_at_infinity(group, P)) ABORT; | ||
| 883 | |||
| 884 | x = BN_new(); | ||
| 885 | y = BN_new(); | ||
| 886 | z = BN_new(); | ||
| 887 | cof = BN_new(); | ||
| 888 | if (!x || !y || !z || !cof) ABORT; | ||
| 889 | |||
| 890 | if (!BN_hex2bn(&x, "6")) ABORT; | ||
| 891 | /* Change test based on whether binary point compression is enabled or not. */ | ||
| 892 | #ifdef OPENSSL_EC_BIN_PT_COMP | ||
| 893 | if (!EC_POINT_set_compressed_coordinates_GF2m(group, Q, x, 1, ctx)) ABORT; | ||
| 894 | #else | ||
| 895 | if (!BN_hex2bn(&y, "8")) ABORT; | ||
| 896 | if (!EC_POINT_set_affine_coordinates_GF2m(group, Q, x, y, ctx)) ABORT; | ||
| 897 | #endif | ||
| 898 | if (!EC_POINT_is_on_curve(group, Q, ctx)) | ||
| 899 | { | ||
| 900 | /* Change test based on whether binary point compression is enabled or not. */ | ||
| 901 | #ifdef OPENSSL_EC_BIN_PT_COMP | ||
| 902 | if (!EC_POINT_get_affine_coordinates_GF2m(group, Q, x, y, ctx)) ABORT; | ||
| 903 | #endif | ||
| 904 | fprintf(stderr, "Point is not on curve: x = 0x"); | ||
| 905 | BN_print_fp(stderr, x); | ||
| 906 | fprintf(stderr, ", y = 0x"); | ||
| 907 | BN_print_fp(stderr, y); | ||
| 908 | fprintf(stderr, "\n"); | ||
| 909 | ABORT; | ||
| 910 | } | ||
| 911 | |||
| 912 | fprintf(stdout, "A cyclic subgroup:\n"); | ||
| 913 | k = 100; | ||
| 914 | do | ||
| 915 | { | ||
| 916 | if (k-- == 0) ABORT; | ||
| 917 | |||
| 918 | if (EC_POINT_is_at_infinity(group, P)) | ||
| 919 | fprintf(stdout, " point at infinity\n"); | ||
| 920 | else | ||
| 921 | { | ||
| 922 | if (!EC_POINT_get_affine_coordinates_GF2m(group, P, x, y, ctx)) ABORT; | ||
| 923 | |||
| 924 | fprintf(stdout, " x = 0x"); | ||
| 925 | BN_print_fp(stdout, x); | ||
| 926 | fprintf(stdout, ", y = 0x"); | ||
| 927 | BN_print_fp(stdout, y); | ||
| 928 | fprintf(stdout, "\n"); | ||
| 929 | } | ||
| 930 | |||
| 931 | if (!EC_POINT_copy(R, P)) ABORT; | ||
| 932 | if (!EC_POINT_add(group, P, P, Q, ctx)) ABORT; | ||
| 933 | } | ||
| 934 | while (!EC_POINT_is_at_infinity(group, P)); | ||
| 935 | |||
| 936 | if (!EC_POINT_add(group, P, Q, R, ctx)) ABORT; | ||
| 937 | if (!EC_POINT_is_at_infinity(group, P)) ABORT; | ||
| 938 | |||
| 939 | /* Change test based on whether binary point compression is enabled or not. */ | ||
| 940 | #ifdef OPENSSL_EC_BIN_PT_COMP | ||
| 941 | len = EC_POINT_point2oct(group, Q, POINT_CONVERSION_COMPRESSED, buf, sizeof buf, ctx); | ||
| 942 | if (len == 0) ABORT; | ||
| 943 | if (!EC_POINT_oct2point(group, P, buf, len, ctx)) ABORT; | ||
| 944 | if (0 != EC_POINT_cmp(group, P, Q, ctx)) ABORT; | ||
| 945 | fprintf(stdout, "Generator as octet string, compressed form:\n "); | ||
| 946 | for (i = 0; i < len; i++) fprintf(stdout, "%02X", buf[i]); | ||
| 947 | #endif | ||
| 948 | |||
| 949 | len = EC_POINT_point2oct(group, Q, POINT_CONVERSION_UNCOMPRESSED, buf, sizeof buf, ctx); | ||
| 950 | if (len == 0) ABORT; | ||
| 951 | if (!EC_POINT_oct2point(group, P, buf, len, ctx)) ABORT; | ||
| 952 | if (0 != EC_POINT_cmp(group, P, Q, ctx)) ABORT; | ||
| 953 | fprintf(stdout, "\nGenerator as octet string, uncompressed form:\n "); | ||
| 954 | for (i = 0; i < len; i++) fprintf(stdout, "%02X", buf[i]); | ||
| 955 | |||
| 956 | /* Change test based on whether binary point compression is enabled or not. */ | ||
| 957 | #ifdef OPENSSL_EC_BIN_PT_COMP | ||
| 958 | len = EC_POINT_point2oct(group, Q, POINT_CONVERSION_HYBRID, buf, sizeof buf, ctx); | ||
| 959 | if (len == 0) ABORT; | ||
| 960 | if (!EC_POINT_oct2point(group, P, buf, len, ctx)) ABORT; | ||
| 961 | if (0 != EC_POINT_cmp(group, P, Q, ctx)) ABORT; | ||
| 962 | fprintf(stdout, "\nGenerator as octet string, hybrid form:\n "); | ||
| 963 | for (i = 0; i < len; i++) fprintf(stdout, "%02X", buf[i]); | ||
| 964 | #endif | ||
| 965 | |||
| 966 | fprintf(stdout, "\n"); | ||
| 967 | |||
| 968 | if (!EC_POINT_invert(group, P, ctx)) ABORT; | ||
| 969 | if (0 != EC_POINT_cmp(group, P, R, ctx)) ABORT; | ||
| 970 | |||
| 971 | |||
| 972 | /* Curve K-163 (FIPS PUB 186-2, App. 6) */ | ||
| 973 | CHAR2_CURVE_TEST | ||
| 974 | ( | ||
| 975 | "NIST curve K-163", | ||
| 976 | "0800000000000000000000000000000000000000C9", | ||
| 977 | "1", | ||
| 978 | "1", | ||
| 979 | "02FE13C0537BBC11ACAA07D793DE4E6D5E5C94EEE8", | ||
| 980 | "0289070FB05D38FF58321F2E800536D538CCDAA3D9", | ||
| 981 | 1, | ||
| 982 | "04000000000000000000020108A2E0CC0D99F8A5EF", | ||
| 983 | "2", | ||
| 984 | 163, | ||
| 985 | C2_K163 | ||
| 986 | ); | ||
| 987 | |||
| 988 | /* Curve B-163 (FIPS PUB 186-2, App. 6) */ | ||
| 989 | CHAR2_CURVE_TEST | ||
| 990 | ( | ||
| 991 | "NIST curve B-163", | ||
| 992 | "0800000000000000000000000000000000000000C9", | ||
| 993 | "1", | ||
| 994 | "020A601907B8C953CA1481EB10512F78744A3205FD", | ||
| 995 | "03F0EBA16286A2D57EA0991168D4994637E8343E36", | ||
| 996 | "00D51FBC6C71A0094FA2CDD545B11C5C0C797324F1", | ||
| 997 | 1, | ||
| 998 | "040000000000000000000292FE77E70C12A4234C33", | ||
| 999 | "2", | ||
| 1000 | 163, | ||
| 1001 | C2_B163 | ||
| 1002 | ); | ||
| 1003 | |||
| 1004 | /* Curve K-233 (FIPS PUB 186-2, App. 6) */ | ||
| 1005 | CHAR2_CURVE_TEST | ||
| 1006 | ( | ||
| 1007 | "NIST curve K-233", | ||
| 1008 | "020000000000000000000000000000000000000004000000000000000001", | ||
| 1009 | "0", | ||
| 1010 | "1", | ||
| 1011 | "017232BA853A7E731AF129F22FF4149563A419C26BF50A4C9D6EEFAD6126", | ||
| 1012 | "01DB537DECE819B7F70F555A67C427A8CD9BF18AEB9B56E0C11056FAE6A3", | ||
| 1013 | 0, | ||
| 1014 | "008000000000000000000000000000069D5BB915BCD46EFB1AD5F173ABDF", | ||
| 1015 | "4", | ||
| 1016 | 233, | ||
| 1017 | C2_K233 | ||
| 1018 | ); | ||
| 1019 | |||
| 1020 | /* Curve B-233 (FIPS PUB 186-2, App. 6) */ | ||
| 1021 | CHAR2_CURVE_TEST | ||
| 1022 | ( | ||
| 1023 | "NIST curve B-233", | ||
| 1024 | "020000000000000000000000000000000000000004000000000000000001", | ||
| 1025 | "000000000000000000000000000000000000000000000000000000000001", | ||
| 1026 | "0066647EDE6C332C7F8C0923BB58213B333B20E9CE4281FE115F7D8F90AD", | ||
| 1027 | "00FAC9DFCBAC8313BB2139F1BB755FEF65BC391F8B36F8F8EB7371FD558B", | ||
| 1028 | "01006A08A41903350678E58528BEBF8A0BEFF867A7CA36716F7E01F81052", | ||
| 1029 | 1, | ||
| 1030 | "01000000000000000000000000000013E974E72F8A6922031D2603CFE0D7", | ||
| 1031 | "2", | ||
| 1032 | 233, | ||
| 1033 | C2_B233 | ||
| 1034 | ); | ||
| 1035 | |||
| 1036 | /* Curve K-283 (FIPS PUB 186-2, App. 6) */ | ||
| 1037 | CHAR2_CURVE_TEST | ||
| 1038 | ( | ||
| 1039 | "NIST curve K-283", | ||
| 1040 | "0800000000000000000000000000000000000000000000000000000000000000000010A1", | ||
| 1041 | "0", | ||
| 1042 | "1", | ||
| 1043 | "0503213F78CA44883F1A3B8162F188E553CD265F23C1567A16876913B0C2AC2458492836", | ||
| 1044 | "01CCDA380F1C9E318D90F95D07E5426FE87E45C0E8184698E45962364E34116177DD2259", | ||
| 1045 | 0, | ||
| 1046 | "01FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE9AE2ED07577265DFF7F94451E061E163C61", | ||
| 1047 | "4", | ||
| 1048 | 283, | ||
| 1049 | C2_K283 | ||
| 1050 | ); | ||
| 1051 | |||
| 1052 | /* Curve B-283 (FIPS PUB 186-2, App. 6) */ | ||
| 1053 | CHAR2_CURVE_TEST | ||
| 1054 | ( | ||
| 1055 | "NIST curve B-283", | ||
| 1056 | "0800000000000000000000000000000000000000000000000000000000000000000010A1", | ||
| 1057 | "000000000000000000000000000000000000000000000000000000000000000000000001", | ||
| 1058 | "027B680AC8B8596DA5A4AF8A19A0303FCA97FD7645309FA2A581485AF6263E313B79A2F5", | ||
| 1059 | "05F939258DB7DD90E1934F8C70B0DFEC2EED25B8557EAC9C80E2E198F8CDBECD86B12053", | ||
| 1060 | "03676854FE24141CB98FE6D4B20D02B4516FF702350EDDB0826779C813F0DF45BE8112F4", | ||
| 1061 | 1, | ||
| 1062 | "03FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEF90399660FC938A90165B042A7CEFADB307", | ||
| 1063 | "2", | ||
| 1064 | 283, | ||
| 1065 | C2_B283 | ||
| 1066 | ); | ||
| 1067 | |||
| 1068 | /* Curve K-409 (FIPS PUB 186-2, App. 6) */ | ||
| 1069 | CHAR2_CURVE_TEST | ||
| 1070 | ( | ||
| 1071 | "NIST curve K-409", | ||
| 1072 | "02000000000000000000000000000000000000000000000000000000000000000000000000000000008000000000000000000001", | ||
| 1073 | "0", | ||
| 1074 | "1", | ||
| 1075 | "0060F05F658F49C1AD3AB1890F7184210EFD0987E307C84C27ACCFB8F9F67CC2C460189EB5AAAA62EE222EB1B35540CFE9023746", | ||
| 1076 | "01E369050B7C4E42ACBA1DACBF04299C3460782F918EA427E6325165E9EA10E3DA5F6C42E9C55215AA9CA27A5863EC48D8E0286B", | ||
| 1077 | 1, | ||
| 1078 | "007FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE5F83B2D4EA20400EC4557D5ED3E3E7CA5B4B5C83B8E01E5FCF", | ||
| 1079 | "4", | ||
| 1080 | 409, | ||
| 1081 | C2_K409 | ||
| 1082 | ); | ||
| 1083 | |||
| 1084 | /* Curve B-409 (FIPS PUB 186-2, App. 6) */ | ||
| 1085 | CHAR2_CURVE_TEST | ||
| 1086 | ( | ||
| 1087 | "NIST curve B-409", | ||
| 1088 | "02000000000000000000000000000000000000000000000000000000000000000000000000000000008000000000000000000001", | ||
| 1089 | "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", | ||
| 1090 | "0021A5C2C8EE9FEB5C4B9A753B7B476B7FD6422EF1F3DD674761FA99D6AC27C8A9A197B272822F6CD57A55AA4F50AE317B13545F", | ||
| 1091 | "015D4860D088DDB3496B0C6064756260441CDE4AF1771D4DB01FFE5B34E59703DC255A868A1180515603AEAB60794E54BB7996A7", | ||
| 1092 | "0061B1CFAB6BE5F32BBFA78324ED106A7636B9C5A7BD198D0158AA4F5488D08F38514F1FDF4B4F40D2181B3681C364BA0273C706", | ||
| 1093 | 1, | ||
| 1094 | "010000000000000000000000000000000000000000000000000001E2AAD6A612F33307BE5FA47C3C9E052F838164CD37D9A21173", | ||
| 1095 | "2", | ||
| 1096 | 409, | ||
| 1097 | C2_B409 | ||
| 1098 | ); | ||
| 1099 | |||
| 1100 | /* Curve K-571 (FIPS PUB 186-2, App. 6) */ | ||
| 1101 | CHAR2_CURVE_TEST | ||
| 1102 | ( | ||
| 1103 | "NIST curve K-571", | ||
| 1104 | "80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000425", | ||
| 1105 | "0", | ||
| 1106 | "1", | ||
| 1107 | "026EB7A859923FBC82189631F8103FE4AC9CA2970012D5D46024804801841CA44370958493B205E647DA304DB4CEB08CBBD1BA39494776FB988B47174DCA88C7E2945283A01C8972", | ||
| 1108 | "0349DC807F4FBF374F4AEADE3BCA95314DD58CEC9F307A54FFC61EFC006D8A2C9D4979C0AC44AEA74FBEBBB9F772AEDCB620B01A7BA7AF1B320430C8591984F601CD4C143EF1C7A3", | ||
| 1109 | 0, | ||
| 1110 | "020000000000000000000000000000000000000000000000000000000000000000000000131850E1F19A63E4B391A8DB917F4138B630D84BE5D639381E91DEB45CFE778F637C1001", | ||
| 1111 | "4", | ||
| 1112 | 571, | ||
| 1113 | C2_K571 | ||
| 1114 | ); | ||
| 1115 | |||
| 1116 | /* Curve B-571 (FIPS PUB 186-2, App. 6) */ | ||
| 1117 | CHAR2_CURVE_TEST | ||
| 1118 | ( | ||
| 1119 | "NIST curve B-571", | ||
| 1120 | "80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000425", | ||
| 1121 | "000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", | ||
| 1122 | "02F40E7E2221F295DE297117B7F3D62F5C6A97FFCB8CEFF1CD6BA8CE4A9A18AD84FFABBD8EFA59332BE7AD6756A66E294AFD185A78FF12AA520E4DE739BACA0C7FFEFF7F2955727A", | ||
| 1123 | "0303001D34B856296C16C0D40D3CD7750A93D1D2955FA80AA5F40FC8DB7B2ABDBDE53950F4C0D293CDD711A35B67FB1499AE60038614F1394ABFA3B4C850D927E1E7769C8EEC2D19", | ||
| 1124 | "037BF27342DA639B6DCCFFFEB73D69D78C6C27A6009CBBCA1980F8533921E8A684423E43BAB08A576291AF8F461BB2A8B3531D2F0485C19B16E2F1516E23DD3C1A4827AF1B8AC15B", | ||
| 1125 | 1, | ||
| 1126 | "03FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE661CE18FF55987308059B186823851EC7DD9CA1161DE93D5174D66E8382E9BB2FE84E47", | ||
| 1127 | "2", | ||
| 1128 | 571, | ||
| 1129 | C2_B571 | ||
| 1130 | ); | ||
| 1131 | |||
| 1132 | /* more tests using the last curve */ | ||
| 1133 | |||
| 1134 | if (!EC_POINT_copy(Q, P)) ABORT; | ||
| 1135 | if (EC_POINT_is_at_infinity(group, Q)) ABORT; | ||
| 1136 | if (!EC_POINT_dbl(group, P, P, ctx)) ABORT; | ||
| 1137 | if (!EC_POINT_is_on_curve(group, P, ctx)) ABORT; | ||
| 1138 | if (!EC_POINT_invert(group, Q, ctx)) ABORT; /* P = -2Q */ | ||
| 1139 | |||
| 1140 | if (!EC_POINT_add(group, R, P, Q, ctx)) ABORT; | ||
| 1141 | if (!EC_POINT_add(group, R, R, Q, ctx)) ABORT; | ||
| 1142 | if (!EC_POINT_is_at_infinity(group, R)) ABORT; /* R = P + 2Q */ | ||
| 1143 | |||
| 1144 | { | ||
| 1145 | const EC_POINT *points[3]; | ||
| 1146 | const BIGNUM *scalars[3]; | ||
| 1147 | |||
| 1148 | if (EC_POINT_is_at_infinity(group, Q)) ABORT; | ||
| 1149 | points[0] = Q; | ||
| 1150 | points[1] = Q; | ||
| 1151 | points[2] = Q; | ||
| 1152 | |||
| 1153 | if (!BN_add(y, z, BN_value_one())) ABORT; | ||
| 1154 | if (BN_is_odd(y)) ABORT; | ||
| 1155 | if (!BN_rshift1(y, y)) ABORT; | ||
| 1156 | scalars[0] = y; /* (group order + 1)/2, so y*Q + y*Q = Q */ | ||
| 1157 | scalars[1] = y; | ||
| 1158 | |||
| 1159 | fprintf(stdout, "combined multiplication ..."); | ||
| 1160 | fflush(stdout); | ||
| 1161 | |||
| 1162 | /* z is still the group order */ | ||
| 1163 | if (!EC_POINTs_mul(group, P, NULL, 2, points, scalars, ctx)) ABORT; | ||
| 1164 | if (!EC_POINTs_mul(group, R, z, 2, points, scalars, ctx)) ABORT; | ||
| 1165 | if (0 != EC_POINT_cmp(group, P, R, ctx)) ABORT; | ||
| 1166 | if (0 != EC_POINT_cmp(group, R, Q, ctx)) ABORT; | ||
| 1167 | |||
| 1168 | fprintf(stdout, "."); | ||
| 1169 | fflush(stdout); | ||
| 1170 | |||
| 1171 | if (!BN_pseudo_rand(y, BN_num_bits(y), 0, 0)) ABORT; | ||
| 1172 | if (!BN_add(z, z, y)) ABORT; | ||
| 1173 | BN_set_negative(z, 1); | ||
| 1174 | scalars[0] = y; | ||
| 1175 | scalars[1] = z; /* z = -(order + y) */ | ||
| 1176 | |||
| 1177 | if (!EC_POINTs_mul(group, P, NULL, 2, points, scalars, ctx)) ABORT; | ||
| 1178 | if (!EC_POINT_is_at_infinity(group, P)) ABORT; | ||
| 1179 | |||
| 1180 | fprintf(stdout, "."); | ||
| 1181 | fflush(stdout); | ||
| 1182 | |||
| 1183 | if (!BN_pseudo_rand(x, BN_num_bits(y) - 1, 0, 0)) ABORT; | ||
| 1184 | if (!BN_add(z, x, y)) ABORT; | ||
| 1185 | BN_set_negative(z, 1); | ||
| 1186 | scalars[0] = x; | ||
| 1187 | scalars[1] = y; | ||
| 1188 | scalars[2] = z; /* z = -(x+y) */ | ||
| 1189 | |||
| 1190 | if (!EC_POINTs_mul(group, P, NULL, 3, points, scalars, ctx)) ABORT; | ||
| 1191 | if (!EC_POINT_is_at_infinity(group, P)) ABORT; | ||
| 1192 | |||
| 1193 | fprintf(stdout, " ok\n\n"); | ||
| 1194 | } | ||
| 1195 | |||
| 1196 | |||
| 1197 | #if 0 | ||
| 1198 | timings(C2_K163, TIMING_BASE_PT, ctx); | ||
| 1199 | timings(C2_K163, TIMING_RAND_PT, ctx); | ||
| 1200 | timings(C2_K163, TIMING_SIMUL, ctx); | ||
| 1201 | timings(C2_B163, TIMING_BASE_PT, ctx); | ||
| 1202 | timings(C2_B163, TIMING_RAND_PT, ctx); | ||
| 1203 | timings(C2_B163, TIMING_SIMUL, ctx); | ||
| 1204 | timings(C2_K233, TIMING_BASE_PT, ctx); | ||
| 1205 | timings(C2_K233, TIMING_RAND_PT, ctx); | ||
| 1206 | timings(C2_K233, TIMING_SIMUL, ctx); | ||
| 1207 | timings(C2_B233, TIMING_BASE_PT, ctx); | ||
| 1208 | timings(C2_B233, TIMING_RAND_PT, ctx); | ||
| 1209 | timings(C2_B233, TIMING_SIMUL, ctx); | ||
| 1210 | timings(C2_K283, TIMING_BASE_PT, ctx); | ||
| 1211 | timings(C2_K283, TIMING_RAND_PT, ctx); | ||
| 1212 | timings(C2_K283, TIMING_SIMUL, ctx); | ||
| 1213 | timings(C2_B283, TIMING_BASE_PT, ctx); | ||
| 1214 | timings(C2_B283, TIMING_RAND_PT, ctx); | ||
| 1215 | timings(C2_B283, TIMING_SIMUL, ctx); | ||
| 1216 | timings(C2_K409, TIMING_BASE_PT, ctx); | ||
| 1217 | timings(C2_K409, TIMING_RAND_PT, ctx); | ||
| 1218 | timings(C2_K409, TIMING_SIMUL, ctx); | ||
| 1219 | timings(C2_B409, TIMING_BASE_PT, ctx); | ||
| 1220 | timings(C2_B409, TIMING_RAND_PT, ctx); | ||
| 1221 | timings(C2_B409, TIMING_SIMUL, ctx); | ||
| 1222 | timings(C2_K571, TIMING_BASE_PT, ctx); | ||
| 1223 | timings(C2_K571, TIMING_RAND_PT, ctx); | ||
| 1224 | timings(C2_K571, TIMING_SIMUL, ctx); | ||
| 1225 | timings(C2_B571, TIMING_BASE_PT, ctx); | ||
| 1226 | timings(C2_B571, TIMING_RAND_PT, ctx); | ||
| 1227 | timings(C2_B571, TIMING_SIMUL, ctx); | ||
| 1228 | #endif | ||
| 1229 | |||
| 1230 | |||
| 1231 | if (ctx) | ||
| 1232 | BN_CTX_free(ctx); | ||
| 1233 | BN_free(p); BN_free(a); BN_free(b); | ||
| 1234 | EC_GROUP_free(group); | ||
| 1235 | EC_POINT_free(P); | ||
| 1236 | EC_POINT_free(Q); | ||
| 1237 | EC_POINT_free(R); | ||
| 1238 | BN_free(x); BN_free(y); BN_free(z); BN_free(cof); | ||
| 1239 | |||
| 1240 | if (C2_K163) EC_GROUP_free(C2_K163); | ||
| 1241 | if (C2_B163) EC_GROUP_free(C2_B163); | ||
| 1242 | if (C2_K233) EC_GROUP_free(C2_K233); | ||
| 1243 | if (C2_B233) EC_GROUP_free(C2_B233); | ||
| 1244 | if (C2_K283) EC_GROUP_free(C2_K283); | ||
| 1245 | if (C2_B283) EC_GROUP_free(C2_B283); | ||
| 1246 | if (C2_K409) EC_GROUP_free(C2_K409); | ||
| 1247 | if (C2_B409) EC_GROUP_free(C2_B409); | ||
| 1248 | if (C2_K571) EC_GROUP_free(C2_K571); | ||
| 1249 | if (C2_B571) EC_GROUP_free(C2_B571); | ||
| 1250 | |||
| 1251 | } | ||
| 1252 | |||
| 1253 | void internal_curve_test(void) | ||
| 1254 | { | ||
| 1255 | EC_builtin_curve *curves = NULL; | ||
| 1256 | size_t crv_len = 0, n = 0; | ||
| 1257 | int ok = 1; | ||
| 1258 | |||
| 1259 | crv_len = EC_get_builtin_curves(NULL, 0); | ||
| 1260 | |||
| 1261 | curves = OPENSSL_malloc(sizeof(EC_builtin_curve) * crv_len); | ||
| 1262 | |||
| 1263 | if (curves == NULL) | ||
| 1264 | return; | ||
| 1265 | |||
| 1266 | if (!EC_get_builtin_curves(curves, crv_len)) | ||
| 1267 | { | ||
| 1268 | OPENSSL_free(curves); | ||
| 1269 | return; | ||
| 1270 | } | ||
| 1271 | |||
| 1272 | fprintf(stdout, "testing internal curves: "); | ||
| 1273 | |||
| 1274 | for (n = 0; n < crv_len; n++) | ||
| 1275 | { | ||
| 1276 | EC_GROUP *group = NULL; | ||
| 1277 | int nid = curves[n].nid; | ||
| 1278 | if ((group = EC_GROUP_new_by_curve_name(nid)) == NULL) | ||
| 1279 | { | ||
| 1280 | ok = 0; | ||
| 1281 | fprintf(stdout, "\nEC_GROUP_new_curve_name() failed with" | ||
| 1282 | " curve %s\n", OBJ_nid2sn(nid)); | ||
| 1283 | /* try next curve */ | ||
| 1284 | continue; | ||
| 1285 | } | ||
| 1286 | if (!EC_GROUP_check(group, NULL)) | ||
| 1287 | { | ||
| 1288 | ok = 0; | ||
| 1289 | fprintf(stdout, "\nEC_GROUP_check() failed with" | ||
| 1290 | " curve %s\n", OBJ_nid2sn(nid)); | ||
| 1291 | EC_GROUP_free(group); | ||
| 1292 | /* try the next curve */ | ||
| 1293 | continue; | ||
| 1294 | } | ||
| 1295 | fprintf(stdout, "."); | ||
| 1296 | fflush(stdout); | ||
| 1297 | EC_GROUP_free(group); | ||
| 1298 | } | ||
| 1299 | if (ok) | ||
| 1300 | fprintf(stdout, " ok\n"); | ||
| 1301 | else | ||
| 1302 | fprintf(stdout, " failed\n"); | ||
| 1303 | OPENSSL_free(curves); | ||
| 1304 | return; | ||
| 1305 | } | ||
| 1306 | |||
| 1307 | static const char rnd_seed[] = "string to make the random number generator think it has entropy"; | ||
| 1308 | |||
| 1309 | int main(int argc, char *argv[]) | ||
| 1310 | { | ||
| 1311 | |||
| 1312 | /* enable memory leak checking unless explicitly disabled */ | ||
| 1313 | if (!((getenv("OPENSSL_DEBUG_MEMORY") != NULL) && (0 == strcmp(getenv("OPENSSL_DEBUG_MEMORY"), "off")))) | ||
| 1314 | { | ||
| 1315 | CRYPTO_malloc_debug_init(); | ||
| 1316 | CRYPTO_set_mem_debug_options(V_CRYPTO_MDEBUG_ALL); | ||
| 1317 | } | ||
| 1318 | else | ||
| 1319 | { | ||
| 1320 | /* OPENSSL_DEBUG_MEMORY=off */ | ||
| 1321 | CRYPTO_set_mem_debug_functions(0, 0, 0, 0, 0); | ||
| 1322 | } | ||
| 1323 | CRYPTO_mem_ctrl(CRYPTO_MEM_CHECK_ON); | ||
| 1324 | ERR_load_crypto_strings(); | ||
| 1325 | |||
| 1326 | RAND_seed(rnd_seed, sizeof rnd_seed); /* or BN_generate_prime may fail */ | ||
| 1327 | |||
| 1328 | prime_field_tests(); | ||
| 1329 | puts(""); | ||
| 1330 | char2_field_tests(); | ||
| 1331 | /* test the internal curves */ | ||
| 1332 | internal_curve_test(); | ||
| 1333 | |||
| 633 | #ifndef OPENSSL_NO_ENGINE | 1334 | #ifndef OPENSSL_NO_ENGINE |
| 634 | ENGINE_cleanup(); | 1335 | ENGINE_cleanup(); |
| 635 | #endif | 1336 | #endif |
