cmp.c 6.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200
  1. /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
  2. * All rights reserved.
  3. *
  4. * This package is an SSL implementation written
  5. * by Eric Young (eay@cryptsoft.com).
  6. * The implementation was written so as to conform with Netscapes SSL.
  7. *
  8. * This library is free for commercial and non-commercial use as long as
  9. * the following conditions are aheared to. The following conditions
  10. * apply to all code found in this distribution, be it the RC4, RSA,
  11. * lhash, DES, etc., code; not just the SSL code. The SSL documentation
  12. * included with this distribution is covered by the same copyright terms
  13. * except that the holder is Tim Hudson (tjh@cryptsoft.com).
  14. *
  15. * Copyright remains Eric Young's, and as such any Copyright notices in
  16. * the code are not to be removed.
  17. * If this package is used in a product, Eric Young should be given attribution
  18. * as the author of the parts of the library used.
  19. * This can be in the form of a textual message at program startup or
  20. * in documentation (online or textual) provided with the package.
  21. *
  22. * Redistribution and use in source and binary forms, with or without
  23. * modification, are permitted provided that the following conditions
  24. * are met:
  25. * 1. Redistributions of source code must retain the copyright
  26. * notice, this list of conditions and the following disclaimer.
  27. * 2. Redistributions in binary form must reproduce the above copyright
  28. * notice, this list of conditions and the following disclaimer in the
  29. * documentation and/or other materials provided with the distribution.
  30. * 3. All advertising materials mentioning features or use of this software
  31. * must display the following acknowledgement:
  32. * "This product includes cryptographic software written by
  33. * Eric Young (eay@cryptsoft.com)"
  34. * The word 'cryptographic' can be left out if the rouines from the library
  35. * being used are not cryptographic related :-).
  36. * 4. If you include any Windows specific code (or a derivative thereof) from
  37. * the apps directory (application code) you must include an acknowledgement:
  38. * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
  39. *
  40. * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
  41. * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  42. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  43. * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
  44. * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  45. * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  46. * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  47. * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  48. * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  49. * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  50. * SUCH DAMAGE.
  51. *
  52. * The licence and distribution terms for any publically available version or
  53. * derivative of this code cannot be changed. i.e. this code cannot simply be
  54. * copied and put under another distribution licence
  55. * [including the GNU Public Licence.] */
  56. #include <openssl/bn.h>
  57. #include <openssl/mem.h>
  58. #include <openssl/type_check.h>
  59. #include "internal.h"
  60. #include "../../internal.h"
  61. static int bn_cmp_words_consttime(const BN_ULONG *a, size_t a_len,
  62. const BN_ULONG *b, size_t b_len) {
  63. OPENSSL_COMPILE_ASSERT(sizeof(BN_ULONG) <= sizeof(crypto_word_t),
  64. crypto_word_t_too_small);
  65. int ret = 0;
  66. // Process the common words in little-endian order.
  67. size_t min = a_len < b_len ? a_len : b_len;
  68. for (size_t i = 0; i < min; i++) {
  69. crypto_word_t eq = constant_time_eq_w(a[i], b[i]);
  70. crypto_word_t lt = constant_time_lt_w(a[i], b[i]);
  71. ret =
  72. constant_time_select_int(eq, ret, constant_time_select_int(lt, -1, 1));
  73. }
  74. // If |a| or |b| has non-zero words beyond |min|, they take precedence.
  75. if (a_len < b_len) {
  76. crypto_word_t mask = 0;
  77. for (size_t i = a_len; i < b_len; i++) {
  78. mask |= b[i];
  79. }
  80. ret = constant_time_select_int(constant_time_is_zero_w(mask), ret, -1);
  81. } else if (b_len < a_len) {
  82. crypto_word_t mask = 0;
  83. for (size_t i = b_len; i < a_len; i++) {
  84. mask |= a[i];
  85. }
  86. ret = constant_time_select_int(constant_time_is_zero_w(mask), ret, 1);
  87. }
  88. return ret;
  89. }
  90. int BN_ucmp(const BIGNUM *a, const BIGNUM *b) {
  91. return bn_cmp_words_consttime(a->d, a->width, b->d, b->width);
  92. }
  93. int BN_cmp(const BIGNUM *a, const BIGNUM *b) {
  94. if ((a == NULL) || (b == NULL)) {
  95. if (a != NULL) {
  96. return -1;
  97. } else if (b != NULL) {
  98. return 1;
  99. } else {
  100. return 0;
  101. }
  102. }
  103. // We do not attempt to process the sign bit in constant time. Negative
  104. // |BIGNUM|s should never occur in crypto, only calculators.
  105. if (a->neg != b->neg) {
  106. if (a->neg) {
  107. return -1;
  108. }
  109. return 1;
  110. }
  111. int ret = BN_ucmp(a, b);
  112. return a->neg ? -ret : ret;
  113. }
  114. int bn_less_than_words(const BN_ULONG *a, const BN_ULONG *b, size_t len) {
  115. return bn_cmp_words_consttime(a, len, b, len) < 0;
  116. }
  117. int BN_abs_is_word(const BIGNUM *bn, BN_ULONG w) {
  118. if (bn->width == 0) {
  119. return w == 0;
  120. }
  121. BN_ULONG mask = bn->d[0] ^ w;
  122. for (int i = 1; i < bn->width; i++) {
  123. mask |= bn->d[i];
  124. }
  125. return mask == 0;
  126. }
  127. int BN_cmp_word(const BIGNUM *a, BN_ULONG b) {
  128. BIGNUM b_bn;
  129. BN_init(&b_bn);
  130. b_bn.d = &b;
  131. b_bn.width = b > 0;
  132. b_bn.dmax = 1;
  133. b_bn.flags = BN_FLG_STATIC_DATA;
  134. return BN_cmp(a, &b_bn);
  135. }
  136. int BN_is_zero(const BIGNUM *bn) {
  137. return bn_fits_in_words(bn, 0);
  138. }
  139. int BN_is_one(const BIGNUM *bn) {
  140. return bn->neg == 0 && BN_abs_is_word(bn, 1);
  141. }
  142. int BN_is_word(const BIGNUM *bn, BN_ULONG w) {
  143. return BN_abs_is_word(bn, w) && (w == 0 || bn->neg == 0);
  144. }
  145. int BN_is_odd(const BIGNUM *bn) {
  146. return bn->width > 0 && (bn->d[0] & 1) == 1;
  147. }
  148. int BN_is_pow2(const BIGNUM *bn) {
  149. int width = bn_minimal_width(bn);
  150. if (width == 0 || bn->neg) {
  151. return 0;
  152. }
  153. for (int i = 0; i < width - 1; i++) {
  154. if (bn->d[i] != 0) {
  155. return 0;
  156. }
  157. }
  158. return 0 == (bn->d[width-1] & (bn->d[width-1] - 1));
  159. }
  160. int BN_equal_consttime(const BIGNUM *a, const BIGNUM *b) {
  161. BN_ULONG mask = 0;
  162. // If |a| or |b| has more words than the other, all those words must be zero.
  163. for (int i = a->width; i < b->width; i++) {
  164. mask |= b->d[i];
  165. }
  166. for (int i = b->width; i < a->width; i++) {
  167. mask |= a->d[i];
  168. }
  169. // Common words must match.
  170. int min = a->width < b->width ? a->width : b->width;
  171. for (int i = 0; i < min; i++) {
  172. mask |= (a->d[i] ^ b->d[i]);
  173. }
  174. // The sign bit must match.
  175. mask |= (a->neg ^ b->neg);
  176. return mask == 0;
  177. }