Line data    Source code

       1             : #include "tommath_private.h"
       2             : #ifdef BN_MP_DR_IS_MODULUS_C
       3             : /* LibTomMath, multiple-precision integer library -- Tom St Denis */
       4             : /* SPDX-License-Identifier: Unlicense */
       5             : 
       6             : /* determines if a number is a valid DR modulus */
       7         922 : mp_bool mp_dr_is_modulus(const mp_int *a)
       8             : {
       9          32 :    int ix;
      10             : 
      11             :    /* must be at least two digits */
      12         922 :    if (a->used < 2) {
      13           0 :       return MP_NO;
      14             :    }
      15             : 
      16             :    /* must be of the form b**k - a [a <= b] so all
      17             :     * but the first digit must be equal to -1 (mod b).
      18             :     */
      19         922 :    for (ix = 1; ix < a->used; ix++) {
      20         922 :       if (a->dp[ix] != MP_MASK) {
      21         890 :          return MP_NO;
      22             :       }
      23             :    }
      24           0 :    return MP_YES;
      25             : }
      26             : 
      27             : #endif