mirror of
https://github.com/trezor/trezor-firmware.git
synced 2024-12-23 06:48:16 +00:00
Keep results after point_add() and point_double() inside the finite field. Simplified point_is_negative_of().
This commit is contained in:
parent
d827b2c862
commit
323da2d434
23
ecdsa.c
23
ecdsa.c
@ -54,14 +54,14 @@ void point_add(const curve_point *cp1, curve_point *cp2)
|
|||||||
point_copy(cp1, cp2);
|
point_copy(cp1, cp2);
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
if (point_is_negative_of(cp1, cp2)) {
|
|
||||||
point_set_infinity(cp2);
|
|
||||||
return;
|
|
||||||
}
|
|
||||||
if (point_is_equal(cp1, cp2)) {
|
if (point_is_equal(cp1, cp2)) {
|
||||||
point_double(cp2);
|
point_double(cp2);
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
if (point_is_negative_of(cp1, cp2)) {
|
||||||
|
point_set_infinity(cp2);
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
bn_substract(&(cp2->x), &(cp1->x), &inv);
|
bn_substract(&(cp2->x), &(cp1->x), &inv);
|
||||||
bn_inverse(&inv, &prime256k1);
|
bn_inverse(&inv, &prime256k1);
|
||||||
@ -84,6 +84,8 @@ void point_add(const curve_point *cp1, curve_point *cp2)
|
|||||||
bn_fast_mod(&yr, &prime256k1);
|
bn_fast_mod(&yr, &prime256k1);
|
||||||
memcpy(&(cp2->x), &xr, sizeof(bignum256));
|
memcpy(&(cp2->x), &xr, sizeof(bignum256));
|
||||||
memcpy(&(cp2->y), &yr, sizeof(bignum256));
|
memcpy(&(cp2->y), &yr, sizeof(bignum256));
|
||||||
|
bn_mod(&(cp2->x), &prime256k1);
|
||||||
|
bn_mod(&(cp2->y), &prime256k1);
|
||||||
}
|
}
|
||||||
|
|
||||||
// cp = cp + cp
|
// cp = cp + cp
|
||||||
@ -124,6 +126,8 @@ void point_double(curve_point *cp)
|
|||||||
bn_fast_mod(&yr, &prime256k1);
|
bn_fast_mod(&yr, &prime256k1);
|
||||||
memcpy(&(cp->x), &xr, sizeof(bignum256));
|
memcpy(&(cp->x), &xr, sizeof(bignum256));
|
||||||
memcpy(&(cp->y), &yr, sizeof(bignum256));
|
memcpy(&(cp->y), &yr, sizeof(bignum256));
|
||||||
|
bn_mod(&(cp->x), &prime256k1);
|
||||||
|
bn_mod(&(cp->y), &prime256k1);
|
||||||
}
|
}
|
||||||
|
|
||||||
// res = k * p
|
// res = k * p
|
||||||
@ -174,19 +178,20 @@ int point_is_equal(const curve_point *p, const curve_point *q)
|
|||||||
}
|
}
|
||||||
|
|
||||||
// returns true iff p == -q
|
// returns true iff p == -q
|
||||||
|
// expects p and q be valid points on curve other than point at infinity
|
||||||
int point_is_negative_of(const curve_point *p, const curve_point *q)
|
int point_is_negative_of(const curve_point *p, const curve_point *q)
|
||||||
{
|
{
|
||||||
// if P == (x, y), then -P would be (x, -y) on this curve
|
// if P == (x, y), then -P would be (x, -y) on this curve
|
||||||
bignum256 y_added;
|
|
||||||
|
|
||||||
if (!bn_is_equal(&(p->x), &(q->x))) {
|
if (!bn_is_equal(&(p->x), &(q->x))) {
|
||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
memcpy(&y_added, &(p->y), sizeof(bignum256));
|
// we shouldn't hit this for a valid point
|
||||||
bn_addmod(&y_added, &(q->y), &prime256k1);
|
if (bn_is_zero(&(p->y))) {
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
return bn_is_zero(&y_added);
|
return !bn_is_equal(&(p->y), &(q->y));
|
||||||
}
|
}
|
||||||
|
|
||||||
// res = k * G
|
// res = k * G
|
||||||
|
Loading…
Reference in New Issue
Block a user