X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/blobdiff_plain/8823192f6413bed15cfa884ed3a3cbbb97885657..6a7dce9165a4a707382e49877334353618fcad9a:/ec.h diff --git a/ec.h b/ec.h index 476d898..ac0b8fc 100644 --- a/ec.h +++ b/ec.h @@ -1,13 +1,13 @@ /* -*-c-*- * - * $Id: ec.h,v 1.4.4.2 2004/03/20 00:13:31 mdw Exp $ + * $Id$ * * Elliptic curve definitions * * (c) 2001 Straylight/Edgeware */ -/*----- Licensing notice --------------------------------------------------* +/*----- Licensing notice --------------------------------------------------* * * This file is part of Catacomb. * @@ -15,42 +15,18 @@ * 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. */ -/*----- Revision history --------------------------------------------------* - * - * $Log: ec.h,v $ - * 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. - * - * Revision 1.2 2001/05/07 17:29:44 mdw - * Treat projective coordinates as an internal representation. Various - * minor interface changes. - * - * Revision 1.1 2001/04/29 18:12:33 mdw - * Prototype version. - * - */ - #ifndef CATACOMB_EC_H #define CATACOMB_EC_H @@ -60,8 +36,17 @@ /*----- Header files ------------------------------------------------------*/ -#include "field.h" -#include "mp.h" +#ifndef CATACOMB_FIELD_H +# include "field.h" +#endif + +#ifndef CATACOMB_MP_H +# include "mp.h" +#endif + +#ifndef CATACOMB_QDPARSE_H +# include "qdparse.h" +#endif /*----- Data structures ---------------------------------------------------*/ @@ -70,6 +55,7 @@ typedef struct ec_curve { const struct ec_ops *ops; /* Curve operations */ field *f; /* Underlying field structure */ + mp *a, *b; /* Standard params (internal form) */ } ec_curve; /* --- An elliptic curve point --- */ @@ -89,13 +75,18 @@ typedef struct ec_mulfactor { /* --- 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@. + * performed on internal representations of points. + * + * (Historical note. We used to guarantee that the second to @add@ and @mul@ + * was the output of @in@ or @fix@, but this canonification turned out to + * make the precomputation in @ec_exp@ too slow. Projective implementations + * must therefore cope with a pair of arbitrary points.) */ typedef struct ec_ops { + const char *name; void (*destroy)(ec_curve */*c*/); + int (*samep)(ec_curve */*c*/, ec_curve */*d*/); 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*/); @@ -107,6 +98,9 @@ typedef struct ec_ops { int (*check)(ec_curve */*c*/, const ec */*p*/); } ec_ops; +#define EC_NAME(c) (c)->ops->name + +#define EC_SAMEP(c, d) (c)->ops->samep((c), (d)) #define EC_IN(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)) @@ -118,6 +112,15 @@ typedef struct ec_ops { #define EC_DBL(c, d, p) (c)->ops->dbl((c), (d), (p)) #define EC_CHECK(c, p) (c)->ops->check((c), (p)) +/* --- Elliptic curve parameters --- */ + +typedef struct ec_info { + ec_curve *c; /* The actual curve */ + ec g; /* The common point */ + mp *r; /* Order of %$g$% */ + mp *h; /* Cofactor %$h = \#E/r$% */ +} ec_info; + /*----- Simple memory management things -----------------------------------*/ /* --- @ec_create@ --- * @@ -221,8 +224,37 @@ extern ec *ec_setinf(ec */*p*/); extern ec *ec_copy(ec */*d*/, const ec */*p*/); +/* --- @ec_eq@ --- * + * + * Arguments: @const ec *p, *q@ = two points + * + * Returns: Nonzero if the points are equal. Compares external-format + * points. + */ + +#define EC_EQ(p, q) \ + ((EC_ATINF(p) && EC_ATINF(q)) || \ + (!EC_ATINF(p) && !EC_ATINF(q) && \ + MP_EQ((p)->x, (q)->x) && \ + MP_EQ((p)->y, (q)->y))) + +extern int ec_eq(const ec *p, const ec *q); + /*----- Interesting arithmetic --------------------------------------------*/ +/* --- @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. + */ + +extern int ec_samep(ec_curve */*c*/, ec_curve */*d*/); + /* --- @ec_find@ --- * * * Arguments: @ec_curve *c@ = pointer to an elliptic curve @@ -239,6 +271,19 @@ extern ec *ec_copy(ec */*d*/, const ec */*p*/); extern ec *ec_find(ec_curve */*c*/, ec */*d*/, mp */*x*/); +/* --- @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. + */ + +extern ec *ec_rand(ec_curve */*c*/, ec */*d*/, grand */*r*/); + /* --- @ec_neg@ --- * * * Arguments: @ec_curve *c@ = pointer to an elliptic curve @@ -342,6 +387,17 @@ extern ec *ec_immul(ec_curve */*c*/, ec */*d*/, /*----- 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. + */ + +extern int ec_stdsamep(ec_curve */*c*/, ec_curve */*d*/); + /* --- @ec_idin@, @ec_idout@, @ec_idfix@ --- * * * Arguments: @ec_curve *c@ = pointer to an elliptic curve @@ -409,7 +465,7 @@ extern void ec_destroycurve(ec_curve */*c*/); * Arguments: @field *f@ = the underlying field for this elliptic curve * @mp *a, *b@ = the coefficients for this curve * - * Returns: A pointer to the curve. + * Returns: A pointer to the curve, or null. * * Use: Creates a curve structure for an elliptic curve defined over * a prime field. The @primeproj@ variant uses projective @@ -419,18 +475,139 @@ 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. + * Returns: A pointer to the curve, or null. * - * 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*/); + +/*----- Curve parameter sets ----------------------------------------------*/ + +/* --- @ec_curveparse@ --- * + * + * Arguments: @qd_parse *qd@ = parser context + * + * Returns: Elliptic curve pointer if OK, or null. + * + * Use: Parses an elliptic curve description, which has the form + * + * * a field description + * * an optional `;' + * * `prime', `primeproj', `bin', or `binproj' + * * an optional `:' + * * the %$a$% parameter + * * an optional `,' + * * the %$b$% parameter + */ + +extern ec_curve *ec_curveparse(qd_parse */*qd*/); + +/* --- @ec_ptparse@ --- * + * + * Arguments: @qd_parse *qd@ = parser context + * @ec *p@ = where to put the point + * + * Returns: The point address, or null. + * + * Use: Parses an elliptic curve point. This has the form + * + * * %$x$%-coordinate + * * optional `,' + * * %$y$%-coordinate + */ + +extern ec *ec_ptparse(qd_parse */*qd*/, ec */*p*/); + +/* --- @ec_infoparse@ --- * + * + * Arguments: @qd_parse *qd@ = parser context + * @ec_info *ei@ = curve information block, currently + * uninitialized + * + * Returns: Zero on success, nonzero on failure. + * + * Use: Parses an elliptic curve information string, and stores the + * information in @ei@. This has the form + * + * * elliptic curve description + * * optional `;' + * * common point + * * optional `:' + * * group order + * * optional `*' + * * cofactor + */ + +extern int ec_infoparse(qd_parse */*qd*/, ec_info */*ei*/); + +/* --- @ec_infofromdata@ --- * + * + * Arguments: @ec_info *ei@ = where to write the information + * @ecdata *ed@ = raw data + * + * Returns: --- + * + * Use: Loads elliptic curve information about one of the standard + * curves. + */ + +struct ecdata; +extern void ec_infofromdata(ec_info */*ei*/, struct ecdata */*ed*/); + +/* --- @ec_getinfo@ --- * + * + * Arguments: @ec_info *ei@ = where to write the information + * @const char *p@ = string describing a curve + * + * Returns: Null on success, or a pointer to an error message. + * + * Use: Parses out information about a curve. The string is either a + * standard curve name, or a curve info string. + */ + +extern const char *ec_getinfo(ec_info */*ei*/, const char */*p*/); + +/* --- @ec_sameinfop@ --- * + * + * Arguments: @ec_info *ei, *ej@ = two elliptic curve parameter sets + * + * Returns: Nonzero if the curves are identical (not just isomorphic). + * + * Use: Checks for sameness of curve parameters. + */ + +extern int ec_sameinfop(ec_info */*ei*/, ec_info */*ej*/); + +/* --- @ec_freeinfo@ --- * + * + * Arguments: @ec_info *ei@ = elliptic curve information block to free + * + * Returns: --- + * + * Use: Frees the information block. + */ + +extern void ec_freeinfo(ec_info */*ei*/); + +/* --- @ec_checkinfo@ --- * + * + * Arguments: @const ec_info *ei@ = elliptic curve information block + * + * Returns: Null if OK, or pointer to error message. + * + * Use: Checks an elliptic curve according to the rules in SEC1. + */ + +extern const char *ec_checkinfo(const ec_info */*ei*/, grand */*gr*/); /*----- That's all, folks -------------------------------------------------*/