crypto/bn/stuff/mont.doc

   1 All numbers (a) are stored aR mod N (except abRR)
   2
   3 RR = REDC(R*R)  /* RR mod N */
   4
   5
   6 convert a -> aR
   7 convert b -> bR
   8
   9         {
  10         abRR = aR * bR
  11         abR = REDC(abRR); /* mod N */
  12         }
  13
  14 ab = REDC(abR);   /* mod N */
  15
  16
  17 REDC strips off a multiplicaion by R mod N