X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/blobdiff_plain/b085fd9162fa3ff5b16788ced6d11a71ffe5a5fe..ceb3f0c0a3b7bb3fa3250d31b04c382894095e52:/ec.h

diff --git a/ec.h b/ec.h
index 2efe939..bb5e201 100644
--- a/ec.h
+++ b/ec.h
@@ -1,6 +1,6 @@
 /* -*-c-*-
  *
- * $Id: ec.h,v 1.3 2002/01/13 13:48:44 mdw Exp $
+ * $Id: ec.h,v 1.4.4.3 2004/03/21 22:39:46 mdw Exp $
  *
  * Elliptic curve definitions
  *
@@ -30,6 +30,18 @@
 /*----- Revision history --------------------------------------------------* 
  *
  * $Log: ec.h,v $
+ * Revision 1.4.4.3  2004/03/21 22:39:46  mdw
+ * Elliptic curves on binary fields work.
+ *
+ * Revision 1.4.4.2  2004/03/20 00:13:31  mdw
+ * Projective coordinates for prime curves
+ *
+ * Revision 1.4.4.1  2003/06/10 13:43:53  mdw
+ * Simple (non-projective) curves over prime fields now seem to work.
+ *
+ * Revision 1.4  2003/05/15 23:25:59  mdw
+ * Make elliptic curve stuff build.
+ *
  * Revision 1.3  2002/01/13 13:48:44  mdw
  * Further progress.
  *
@@ -74,30 +86,40 @@ typedef struct ec {
 
 typedef struct ec_mulfactor {
   ec base;				/* The point */
-  ec *exp;				/* The exponent */
+  mp *exp;				/* The exponent */
 } ec_mulfactor;
 
-/* --- Elliptic curve operations --- */
+/* --- Elliptic curve operations --- *
+ *
+ * All operations (apart from @destroy@ and @in@) are guaranteed to be
+ * performed on internal representations of points.  Moreover, the second
+ * argument to @add@ and @mul@ is guaranteed to be the output of @in@ or
+ * @fix@.
+ */
 
 typedef struct ec_ops {
   void (*destroy)(ec_curve */*c*/);
   ec *(*in)(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
   ec *(*out)(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
+  ec *(*fix)(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
   ec *(*find)(ec_curve */*c*/, ec */*d*/, mp */*x*/);
   ec *(*neg)(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
   ec *(*add)(ec_curve */*c*/, ec */*d*/, const ec */*p*/, const ec */*q*/);
   ec *(*sub)(ec_curve */*c*/, ec */*d*/, const ec */*p*/, const ec */*q*/);
   ec *(*dbl)(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
+  int (*check)(ec_curve */*c*/, const ec */*p*/);
 } ec_ops;
 
 #define EC_IN(c, d, p)		(c)->ops->in((c), (d), (p))
-#define EC_OUT(c, d, p)		(c)->ops->in((c), (d), (p))
+#define EC_OUT(c, d, p)		(c)->ops->out((c), (d), (p))
+#define EC_FIX(c, d, p)		(c)->ops->fix((c), (d), (p))
 
 #define EC_FIND(c, d, x)	(c)->ops->find((c), (d), (x))
 #define EC_NEG(c, d, x)		(c)->ops->neg((c), (d), (x))
 #define EC_ADD(c, d, p, q)	(c)->ops->add((c), (d), (p), (q))
 #define EC_SUB(c, d, p, q)	(c)->ops->sub((c), (d), (p), (q))
 #define EC_DBL(c, d, p)		(c)->ops->dbl((c), (d), (p))
+#define EC_CHECK(c, p)		(c)->ops->check((c), (p))
 
 /*----- Simple memory management things -----------------------------------*/
 
@@ -204,32 +226,6 @@ extern ec *ec_copy(ec */*d*/, const ec */*p*/);
 
 /*----- Interesting arithmetic --------------------------------------------*/
 
-/* --- @ec_in@ --- *
- *
- * Arguments:	@ec_curve *c@ = pointer to an elliptic curve
- *		@ec *d@ = pointer to the destination point
- *		@const ec *p@ = pointer to the source point
- *
- * Returns:	The destination point.
- *
- * Use:		Converts a point to internal representation.
- */
-
-extern ec *ec_in(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
-
-/* --- @ec_out@ --- *
- *
- * Arguments:	@ec_curve *c@ = pointer to an elliptic curve
- *		@ec *d@ = pointer to the destination point
- *		@const ec *p@ = pointer to the source point
- *
- * Returns:	The destination point.
- *
- * Use:		Converts a point to external representation.
- */
-
-extern ec *ec_out(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
-
 /* --- @ec_find@ --- *
  *
  * Arguments:	@ec_curve *c@ = pointer to an elliptic curve
@@ -300,6 +296,18 @@ extern ec *ec_sub(ec_curve */*c*/, ec */*d*/,
 
 extern ec *ec_dbl(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
 
+/* --- @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.
+ */
+
+extern int ec_check(ec_curve */*c*/, const ec */*p*/);
+
 /* --- @ec_mul@, @ec_imul@ --- *
  *
  * Arguments:	@ec_curve *c@ = pointer to an elliptic curve
@@ -337,7 +345,7 @@ extern ec *ec_immul(ec_curve */*c*/, ec */*d*/,
 
 /*----- Standard curve operations -----------------------------------------*/
 
-/* --- @ec_idin@, @ec_idout@ --- *
+/* --- @ec_idin@, @ec_idout@, @ec_idfix@ --- *
  *
  * Arguments:	@ec_curve *c@ = pointer to an elliptic curve
  *		@ec *d@ = pointer to the destination
@@ -352,8 +360,9 @@ extern ec *ec_immul(ec_curve */*c*/, ec */*d*/,
 
 extern ec *ec_idin(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
 extern ec *ec_idout(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
+extern ec *ec_idfix(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
 
-/* --- @ec_projin@, @ec_projout@ --- *
+/* --- @ec_projin@, @ec_projout@, @ec_projfix@ --- *
  *
  * Arguments:	@ec_curve *c@ = pointer to an elliptic curve
  *		@ec *d@ = pointer to the destination
@@ -367,12 +376,13 @@ extern ec *ec_idout(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
 
 extern ec *ec_projin(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
 extern ec *ec_projout(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
+extern ec *ec_projfix(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
 
 /* --- @ec_stdsub@ --- *
  *
  * Arguments:	@ec_curve *c@ = pointer to an elliptic curve
  *		@ec *d@ = pointer to the destination
- *		@const ec *a, *b@ = the operand points
+ *		@const ec *p, *q@ = the operand points
  *
  * Returns:	The destination @d@.
  *
@@ -381,7 +391,8 @@ extern ec *ec_projout(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
  *		subtraction operator.
  */
 
-extern ec *ec_stdsub(ec_curve */*c*/, ec */*d*/, const ec */*p*/);
+extern ec *ec_stdsub(ec_curve */*c*/, ec */*d*/,
+		     const ec */*p*/, const ec */*q*/);
 
 /*----- Creating curves ---------------------------------------------------*/
 
@@ -398,7 +409,7 @@ extern void ec_destroycurve(ec_curve */*c*/);
 
 /* --- @ec_prime@, @ec_primeproj@ --- *
  *
- * Arguments:	@field *f@ = the underyling field for this elliptic curve
+ * Arguments:	@field *f@ = the underlying field for this elliptic curve
  *		@mp *a, *b@ = the coefficients for this curve
  *
  * Returns:	A pointer to the curve.
@@ -411,18 +422,20 @@ extern void ec_destroycurve(ec_curve */*c*/);
 extern ec_curve *ec_prime(field */*f*/, mp */*a*/, mp */*b*/);
 extern ec_curve *ec_primeproj(field */*f*/, mp */*a*/, mp */*b*/);
 
-/* --- @ec_bin@ --- *
+/* --- @ec_bin@, @ec_binproj@ --- *
  *
  * Arguments:	@field *f@ = the underlying field for this elliptic curve
  *		@mp *a, *b@ = the coefficients for this curve
  *
  * Returns:	A pointer to the curve.
  *
- * Use:		Creates a curve structure for a non-supersingular elliptic
- *		curve defined over a binary field.
+ * Use:		Creates a curve structure for an elliptic curve defined over
+ *		a binary field.  The @binproj@ variant uses projective
+ *		coordinates, which can be a win.
  */
 
 extern ec_curve *ec_bin(field */*f*/, mp */*a*/, mp */*b*/);
+extern ec_curve *ec_binproj(field */*f*/, mp */*a*/, mp */*b*/);
 
 /*----- That's all, folks -------------------------------------------------*/