/* -*-c-*-
*
- * $Id: mpmont.h,v 1.4 1999/12/11 01:51:14 mdw Exp $
+ * $Id: mpmont.h,v 1.5 2001/06/16 13:00:04 mdw Exp $
*
* Montgomery reduction
*
/*----- Revision history --------------------------------------------------*
*
* $Log: mpmont.h,v $
+ * Revision 1.5 2001/06/16 13:00:04 mdw
+ * Moved @mpmont_factor@ to <mp.h>. Documented interface change to
+ * @mpmont_expr@ and @mpmont_mexpr@ -- the arguments are now in Montgomery
+ * form.
+ *
* Revision 1.4 1999/12/11 01:51:14 mdw
* Use a Karatsuba-based reduction for large moduli.
*
mp *r, *r2; /* %$R \bmod m$%, %$R^2 \bmod m$% */
} mpmont;
-/* --- A base/exponent pair for @mpmont_mexp@ --- */
-
-typedef struct mpmont_factor {
- mp *base;
- mp *exp;
-} mpmont_factor;
-
/*----- Functions provided ------------------------------------------------*/
/* --- @mpmont_create@ --- *
* @mp *a@ = base
* @mp *e@ = exponent
*
- * Returns: Result, %$a^e R \bmod m$%. This is useful if further modular
- * arithmetic is to be performed on the result.
+ * Returns: Result, %$(a R^{-1})^e R \bmod m$%. This is useful if
+ * further modular arithmetic is to be performed on the result.
*/
extern mp *mpmont_expr(mpmont */*mm*/, mp */*d*/, mp */*a*/, mp */*e*/);
*
* Arguments: @mpmont *mm@ = pointer to Montgomery reduction context
* @mp *d@ = fake destination
- * @mpmont_factor *f@ = pointer to array of factors
+ * @mp_expfactor *f@ = pointer to array of factors
* @size_t n@ = number of factors supplied
*
* Returns: If the bases are %$g_0, g_1, \ldots, g_{n-1}$% and the
* exponents are %$e_0, e_1, \ldots, e_{n-1}$% then the result
* is:
*
- * %$g_0^{e_0} g_1^{e_1} \ldots g_{n-1}^{e_{n-1}} R \bmod m$%
+ * %$g_0^{e_0} g_1^{e_1} \ldots g_{n-1}^{e_{n-1}} \bmod m$%
+ *
+ *
+ * except that the %$g_i$% and result are in Montgomery form.
*/
extern mp *mpmont_mexpr(mpmont */*mm*/, mp */*d*/,
- mpmont_factor */*f*/, size_t /*n*/);
+ mp_expfactor */*f*/, size_t /*n*/);
/* --- @mpmont_mexp@ --- *
*
* Arguments: @mpmont *mm@ = pointer to Montgomery reduction context
* @mp *d@ = fake destination
- * @mpmont_factor *f@ = pointer to array of factors
+ * @mp_expfactor *f@ = pointer to array of factors
* @size_t n@ = number of factors supplied
*
* Returns: Product of bases raised to exponents, all mod @m@.
*/
extern mp *mpmont_mexp(mpmont */*mm*/, mp */*d*/,
- mpmont_factor */*f*/, size_t /*n*/);
+ mp_expfactor */*f*/, size_t /*n*/);
/*----- That's all, folks -------------------------------------------------*/