--- /dev/null
+/* -*-c-*-
+ *
+ * Elliptic curve definitions
+ *
+ * (c) 2001 Straylight/Edgeware
+ */
+
+/*----- Licensing notice --------------------------------------------------*
+ *
+ * This file is part of Catacomb.
+ *
+ * Catacomb is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU Library General Public License as
+ * published by the Free Software Foundation; either version 2 of the
+ * License, or (at your option) any later version.
+ *
+ * Catacomb is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU Library General Public License for more details.
+ *
+ * You should have received a copy of the GNU Library General Public
+ * License along with Catacomb; if not, write to the Free
+ * Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
+ * MA 02111-1307, USA.
+ */
+
+/*----- Header files ------------------------------------------------------*/
+
+#include "ec.h"
+
+/*----- Trivial wrappers --------------------------------------------------*/
+
+/* --- @ec_samep@ --- *
+ *
+ * Arguments: @ec_curve *c, *d@ = two elliptic curves
+ *
+ * Returns: Nonzero if the curves are identical (not just isomorphic).
+ *
+ * Use: Checks for sameness of curves. This function does the full
+ * check, not just the curve-type-specific check done by the
+ * @sampep@ field operation.
+ */
+
+int ec_samep(ec_curve *c, ec_curve *d)
+{
+ return (c == d || (field_samep(c->f, d->f) &&
+ c->ops == d->ops && EC_SAMEP(c, d)));
+}
+
+/* --- @ec_create@ --- *
+ *
+ * Arguments: @ec *p@ = pointer to an elliptic-curve point
+ *
+ * Returns: The argument @p@.
+ *
+ * Use: Initializes a new point. The initial value is the additive
+ * identity (which is universal for all curves).
+ */
+
+ec *ec_create(ec *p) { EC_CREATE(p); return (p); }
+
+/* --- @ec_destroy@ --- *
+ *
+ * Arguments: @ec *p@ = pointer to an elliptic-curve point
+ *
+ * Returns: ---
+ *
+ * Use: Destroys a point, making it invalid.
+ */
+
+void ec_destroy(ec *p) { EC_DESTROY(p); }
+
+/* --- @ec_atinf@ --- *
+ *
+ * Arguments: @const ec *p@ = pointer to a point
+ *
+ * Returns: Nonzero if %$p = O$% is the point at infinity, zero
+ * otherwise.
+ */
+
+int ec_atinf(const ec *p) { return (EC_ATINF(p)); }
+
+/* --- @ec_setinf@ --- *
+ *
+ * Arguments: @ec *p@ = pointer to a point
+ *
+ * Returns: The argument @p@.
+ *
+ * Use: Sets the given point to be the point %$O$% at infinity.
+ */
+
+ec *ec_setinf(ec *p) { EC_SETINF(p); return (p); }
+
+/* --- @ec_copy@ --- *
+ *
+ * Arguments: @ec *d@ = pointer to destination point
+ * @const ec *p@ = pointer to source point
+ *
+ * Returns: The destination @d@.
+ *
+ * Use: Creates a copy of an elliptic curve point.
+ */
+
+ec *ec_copy(ec *d, const ec *p) { EC_COPY(d, p); return (d); }
+
+/* --- @ec_eq@ --- *
+ *
+ * Arguments: @const ec *p, *q@ = two points
+ *
+ * Returns: Nonzero if the points are equal. Compares external-format
+ * points.
+ */
+
+int ec_eq(const ec *p, const ec *q) { return (EC_EQ(p, q)); }
+
+/*----- Standard curve operations -----------------------------------------*/
+
+/* --- @ec_stdsamep@ --- *
+ *
+ * Arguments: @ec_curve *c, *d@ = two elliptic curves
+ *
+ * Returns: Nonzero if the curves are identical (not just isomorphic).
+ *
+ * Use: Simple sameness check on @a@ and @b@ curve members.
+ */
+
+int ec_stdsamep(ec_curve *c, ec_curve *d)
+ { return (MP_EQ(c->a, d->a) && MP_EQ(c->b, d->b)); }
+
+/* --- @ec_idin@, @ec_idout@, @ec_idfix@ --- *
+ *
+ * Arguments: @ec_curve *c@ = pointer to an elliptic curve
+ * @ec *d@ = pointer to the destination
+ * @const ec *p@ = pointer to a source point
+ *
+ * Returns: The destination @d@.
+ *
+ * Use: An identity operation if your curve has no internal
+ * representation. (The field internal representation is still
+ * used.)
+ */
+
+ec *ec_idin(ec_curve *c, ec *d, const ec *p)
+{
+ if (EC_ATINF(p))
+ EC_SETINF(d);
+ else {
+ field *f = c->f;
+ d->x = F_IN(f, d->x, p->x);
+ d->y = F_IN(f, d->y, p->y);
+ mp_drop(d->z); d->z = 0;
+ }
+ return (d);
+}
+
+ec *ec_idout(ec_curve *c, ec *d, const ec *p)
+{
+ if (EC_ATINF(p))
+ EC_SETINF(d);
+ else {
+ field *f = c->f;
+ d->x = F_OUT(f, d->x, p->x);
+ d->y = F_OUT(f, d->y, p->y);
+ mp_drop(d->z); d->z = 0;
+ }
+ return (d);
+}
+
+ec *ec_idfix(ec_curve *c, ec *d, const ec *p)
+ { EC_COPY(d, p); return (d); }
+
+/* --- @ec_projin@, @ec_projout@, @ec_projfix@ --- *
+ *
+ * Arguments: @ec_curve *c@ = pointer to an elliptic curve
+ * @ec *d@ = pointer to the destination
+ * @const ec *p@ = pointer to a source point
+ *
+ * Returns: The destination @d@.
+ *
+ * Use: Conversion functions if your curve operations use a
+ * projective representation.
+ */
+
+ec *ec_projin(ec_curve *c, ec *d, const ec *p)
+{
+ if (EC_ATINF(p))
+ EC_SETINF(d);
+ else {
+ field *f = c->f;
+ d->x = F_IN(f, d->x, p->x);
+ d->y = F_IN(f, d->y, p->y);
+ mp_drop(d->z); d->z = MP_COPY(f->one);
+ }
+ return (d);
+}
+
+ec *ec_projout(ec_curve *c, ec *d, const ec *p)
+{
+ if (EC_ATINF(p))
+ EC_SETINF(d);
+ else {
+ mp *x, *y, *z, *zz;
+ field *f = c->f;
+ if (p->z == f->one) {
+ d->x = F_OUT(f, d->x, p->x);
+ d->y = F_OUT(f, d->y, p->y);
+ } else {
+ z = F_INV(f, MP_NEW, p->z);
+ zz = F_SQR(f, MP_NEW, z);
+ z = F_MUL(f, z, zz, z);
+ x = F_MUL(f, d->x, p->x, zz);
+ y = F_MUL(f, d->y, p->y, z);
+ mp_drop(z);
+ mp_drop(zz);
+ d->x = F_OUT(f, x, x);
+ d->y = F_OUT(f, y, y);
+ }
+ mp_drop(d->z);
+ d->z = 0;
+ }
+ return (d);
+}
+
+ec *ec_projfix(ec_curve *c, ec *d, const ec *p)
+{
+ if (EC_ATINF(p))
+ EC_SETINF(d);
+ else if (p->z == c->f->one)
+ EC_COPY(d, p);
+ else {
+ mp *z, *zz;
+ field *f = c->f;
+ z = F_INV(f, MP_NEW, p->z);
+ zz = F_SQR(f, MP_NEW, z);
+ z = F_MUL(f, z, zz, z);
+ d->x = F_MUL(f, d->x, p->x, zz);
+ d->y = F_MUL(f, d->y, p->y, z);
+ mp_drop(z);
+ mp_drop(zz);
+ mp_drop(d->z);
+ d->z = MP_COPY(f->one);
+ }
+ return (d);
+}
+
+/* --- @ec_stdsub@ --- *
+ *
+ * Arguments: @ec_curve *c@ = pointer to an elliptic curve
+ * @ec *d@ = pointer to the destination
+ * @const ec *p, *q@ = the operand points
+ *
+ * Returns: The destination @d@.
+ *
+ * Use: Standard point subtraction operation, in terms of negation
+ * and addition. This isn't as efficient as a ready-made
+ * subtraction operator.
+ */
+
+ec *ec_stdsub(ec_curve *c, ec *d, const ec *p, const ec *q)
+{
+ ec t = EC_INIT;
+ EC_NEG(c, &t, q);
+ EC_FIX(c, &t, &t);
+ EC_ADD(c, d, p, &t);
+ EC_DESTROY(&t);
+ return (d);
+}
+
+/*----- Creating curves ---------------------------------------------------*/
+
+/* --- @ec_destroycurve@ --- *
+ *
+ * Arguments: @ec_curve *c@ = pointer to an ellptic curve
+ *
+ * Returns: ---
+ *
+ * Use: Destroys a description of an elliptic curve.
+ */
+
+void ec_destroycurve(ec_curve *c) { c->ops->destroy(c); }
+
+/*----- Real arithmetic ---------------------------------------------------*/
+
+/* --- @ec_find@ --- *
+ *
+ * Arguments: @ec_curve *c@ = pointer to an elliptic curve
+ * @ec *d@ = pointer to the destination point
+ * @mp *x@ = a possible x-coordinate
+ *
+ * Returns: Zero if OK, nonzero if there isn't a point there.
+ *
+ * Use: Finds a point on an elliptic curve with a given x-coordinate.
+ */
+
+ec *ec_find(ec_curve *c, ec *d, mp *x)
+{
+ x = F_IN(c->f, MP_NEW, x);
+ if ((d = EC_FIND(c, d, x)) != 0)
+ EC_OUT(c, d, d);
+ MP_DROP(x);
+ return (d);
+}
+
+/* --- @ec_neg@ --- *
+ *
+ * Arguments: @ec_curve *c@ = pointer to an elliptic curve
+ * @ec *d@ = pointer to the destination point
+ * @const ec *p@ = pointer to the operand point
+ *
+ * Returns: The destination point.
+ *
+ * Use: Computes the negation of the given point.
+ */
+
+ec *ec_neg(ec_curve *c, ec *d, const ec *p)
+ { EC_IN(c, d, p); EC_NEG(c, d, d); return (EC_OUT(c, d, d)); }
+
+/* --- @ec_add@ --- *
+ *
+ * Arguments: @ec_curve *c@ = pointer to an elliptic curve
+ * @ec *d@ = pointer to the destination point
+ * @const ec *p, *q@ = pointers to the operand points
+ *
+ * Returns: ---
+ *
+ * Use: Adds two points on an elliptic curve.
+ */
+
+ec *ec_add(ec_curve *c, ec *d, const ec *p, const ec *q)
+{
+ ec pp = EC_INIT, qq = EC_INIT;
+ EC_IN(c, &pp, p);
+ EC_IN(c, &qq, q);
+ EC_ADD(c, d, &pp, &qq);
+ EC_OUT(c, d, d);
+ EC_DESTROY(&pp);
+ EC_DESTROY(&qq);
+ return (d);
+}
+
+/* --- @ec_sub@ --- *
+ *
+ * Arguments: @ec_curve *c@ = pointer to an elliptic curve
+ * @ec *d@ = pointer to the destination point
+ * @const ec *p, *q@ = pointers to the operand points
+ *
+ * Returns: The destination @d@.
+ *
+ * Use: Subtracts one point from another on an elliptic curve.
+ */
+
+ec *ec_sub(ec_curve *c, ec *d, const ec *p, const ec *q)
+{
+ ec pp = EC_INIT, qq = EC_INIT;
+ EC_IN(c, &pp, p);
+ EC_IN(c, &qq, q);
+ EC_SUB(c, d, &pp, &qq);
+ EC_OUT(c, d, d);
+ EC_DESTROY(&pp);
+ EC_DESTROY(&qq);
+ return (d);
+}
+
+/* --- @ec_dbl@ --- *
+ *
+ * Arguments: @ec_curve *c@ = pointer to an elliptic curve
+ * @ec *d@ = pointer to the destination point
+ * @const ec *p@ = pointer to the operand point
+ *
+ * Returns: ---
+ *
+ * Use: Doubles a point on an elliptic curve.
+ */
+
+ec *ec_dbl(ec_curve *c, ec *d, const ec *p)
+ { EC_IN(c, d, p); EC_DBL(c, d, d); return (EC_OUT(c, d, d)); }
+
+/* --- @ec_check@ --- *
+ *
+ * Arguments: @ec_curve *c@ = pointer to an elliptic curve
+ * @const ec *p@ = pointer to the point
+ *
+ * Returns: Zero if OK, nonzero if this is an invalid point.
+ *
+ * Use: Checks that a point is actually on an elliptic curve.
+ */
+
+int ec_check(ec_curve *c, const ec *p)
+{
+ ec t = EC_INIT;
+ int rc;
+
+ if (EC_ATINF(p))
+ return (0);
+ EC_IN(c, &t, p);
+ rc = EC_CHECK(c, &t);
+ EC_DESTROY(&t);
+ return (rc);
+}
+
+/* --- @ec_rand@ --- *
+ *
+ * Arguments: @ec_curve *c@ = pointer to an elliptic curve
+ * @ec *d@ = pointer to the destination point
+ * @grand *r@ = random number source
+ *
+ * Returns: The destination @d@.
+ *
+ * Use: Finds a random point on the given curve.
+ */
+
+ec *ec_rand(ec_curve *c, ec *d, grand *r)
+{
+ mp *x = MP_NEW;
+ do x = F_RAND(c->f, x, r); while (!EC_FIND(c, d, x));
+ mp_drop(x);
+ if (grand_range(r, 2)) EC_NEG(c, d, d);
+ return (EC_OUT(c, d, d));
+}
+
+/*----- That's all, folks -------------------------------------------------*/