X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/blobdiff_plain/f94b972d1c0389e4e9203cc9919ceaadbe655b61..298182ad446aaced14dea7ed0e7c968946787288:/ec-prime.c diff --git a/ec-prime.c b/ec-prime.c index c146931..dc299fb 100644 --- a/ec-prime.c +++ b/ec-prime.c @@ -68,10 +68,8 @@ static ec *ecfind(ec_curve *c, ec *d, mp *x) static ec *ecdbl(ec_curve *c, ec *d, const ec *a) { - if (EC_ATINF(a)) + if (EC_ATINF(a) || F_ZEROP(c->f, a->y)) EC_SETINF(d); - else if (F_ZEROP(c->f, a->y)) - EC_COPY(d, a); else { field *f = c->f; mp *lambda; @@ -102,10 +100,8 @@ static ec *ecdbl(ec_curve *c, ec *d, const ec *a) static ec *ecprojdbl(ec_curve *c, ec *d, const ec *a) { - if (EC_ATINF(a)) + if (EC_ATINF(a) || F_ZEROP(c->f, a->y)) EC_SETINF(d); - else if (F_ZEROP(c->f, a->y)) - EC_COPY(d, a); else { field *f = c->f; mp *p, *q, *m, *s, *dx, *dy, *dz; @@ -146,10 +142,8 @@ static ec *ecprojdbl(ec_curve *c, ec *d, const ec *a) static ec *ecprojxdbl(ec_curve *c, ec *d, const ec *a) { - if (EC_ATINF(a)) + if (EC_ATINF(a) || F_ZEROP(c->f, a->y)) EC_SETINF(d); - else if (F_ZEROP(c->f, a->y)) - EC_COPY(d, a); else { field *f = c->f; mp *p, *q, *m, *s, *dx, *dy, *dz;