/* -*-c-*-
*
- * $Id: dsarand.h,v 1.1 1999/12/22 15:53:12 mdw Exp $
+ * $Id: dsarand.h,v 1.2 2000/06/17 10:54:14 mdw Exp $
*
* Random number generator for DSA
*
/*----- Revision history --------------------------------------------------*
*
* $Log: dsarand.h,v $
+ * Revision 1.2 2000/06/17 10:54:14 mdw
+ * Typesetting fixes.
+ *
* Revision 1.1 1999/12/22 15:53:12 mdw
* Random number generator for finding DSA parameters.
*
*
* Let %$p$% be the numerical value of the input buffer, and let
* %$b$% be the number of bytes required. Let
- * %$z = \lceil b / 20 \rceil%$ be the number of SHA outputs
+ * %$z = \lceil b / 20 \rceil$% be the number of SHA outputs
* required. Then the output of pass %$n$% is
*
* %$P_n = \sum_{0 \le i < z} 2^{160i} SHA(p + nz + i)$%