Fix ec_GFp_simple_cmp.

Use example group from Annex I of X9.62 in ectest.c.
This commit is contained in:
Bodo Möller 2001-03-08 22:52:49 +00:00
parent c108108028
commit 42909e3968
2 changed files with 10 additions and 5 deletions

View File

@ -1409,13 +1409,18 @@ int ec_GFp_simple_cmp(const EC_GROUP *group, const EC_POINT *a, const EC_POINT *
{ {
if (!field_mul(group, Zb23, Zb23, &b->Z, ctx)) goto end; if (!field_mul(group, Zb23, Zb23, &b->Z, ctx)) goto end;
if (!field_mul(group, tmp1, &a->Y, Zb23, ctx)) goto end; if (!field_mul(group, tmp1, &a->Y, Zb23, ctx)) goto end;
/* tmp1_ = tmp1 */
} }
else
tmp1_ = &a->Y;
if (!a->Z_is_one) if (!a->Z_is_one)
{ {
if (!field_mul(group, Za23, Za23, &a->Z, ctx)) goto end; if (!field_mul(group, Za23, Za23, &a->Z, ctx)) goto end;
if (!field_mul(group, tmp2, &b->Y, Za23, ctx)) goto end; if (!field_mul(group, tmp2, &b->Y, Za23, ctx)) goto end;
/* tmp2_ = tmp2 */
} }
/* tmp1_ and tmp2_ are still ok */ else
tmp2_ = &b->Y;
/* compare Y_a*Z_b^3 with Y_b*Z_a^3 */ /* compare Y_a*Z_b^3 with Y_b*Z_a^3 */
if (BN_cmp(tmp1_, tmp2_) != 0) if (BN_cmp(tmp1_, tmp2_) != 0)

View File

@ -94,9 +94,9 @@ int main(int argc, char *argv[])
b = BN_new(); b = BN_new();
if (!p || !a || !b) ABORT; if (!p || !a || !b) ABORT;
if (!BN_hex2bn(&p, "D")) ABORT; if (!BN_hex2bn(&p, "17")) ABORT;
if (!BN_hex2bn(&a, "7")) ABORT; if (!BN_hex2bn(&a, "1")) ABORT;
if (!BN_hex2bn(&b, "C")) ABORT; if (!BN_hex2bn(&b, "1")) ABORT;
group = EC_GROUP_new(EC_GFp_mont_method()); group = EC_GROUP_new(EC_GFp_mont_method());
if (!group) ABORT; if (!group) ABORT;
@ -130,7 +130,7 @@ int main(int argc, char *argv[])
z = BN_new(); z = BN_new();
if (!x || !y || !z) ABORT; if (!x || !y || !z) ABORT;
if (!BN_hex2bn(&x, "C")) ABORT; if (!BN_hex2bn(&x, "D")) ABORT;
if (!EC_POINT_set_compressed_coordinates_GFp(group, Q, x, 1, ctx)) ABORT; if (!EC_POINT_set_compressed_coordinates_GFp(group, Q, x, 1, ctx)) ABORT;
if (!EC_POINT_is_on_curve(group, Q, ctx)) if (!EC_POINT_is_on_curve(group, Q, ctx))
{ {