bn_mp_sqrt.c 1.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667
  1. #include "tommath_private.h"
  2. #ifdef BN_MP_SQRT_C
  3. /* LibTomMath, multiple-precision integer library -- Tom St Denis */
  4. /* SPDX-License-Identifier: Unlicense */
  5. /* this function is less generic than mp_n_root, simpler and faster */
  6. mp_err mp_sqrt(const mp_int *arg, mp_int *ret)
  7. {
  8. mp_err err;
  9. mp_int t1, t2;
  10. /* must be positive */
  11. if (arg->sign == MP_NEG) {
  12. return MP_VAL;
  13. }
  14. /* easy out */
  15. if (MP_IS_ZERO(arg)) {
  16. mp_zero(ret);
  17. return MP_OKAY;
  18. }
  19. if ((err = mp_init_copy(&t1, arg)) != MP_OKAY) {
  20. return err;
  21. }
  22. if ((err = mp_init(&t2)) != MP_OKAY) {
  23. goto E2;
  24. }
  25. /* First approx. (not very bad for large arg) */
  26. mp_rshd(&t1, t1.used/2);
  27. /* t1 > 0 */
  28. if ((err = mp_div(arg, &t1, &t2, NULL)) != MP_OKAY) {
  29. goto E1;
  30. }
  31. if ((err = mp_add(&t1, &t2, &t1)) != MP_OKAY) {
  32. goto E1;
  33. }
  34. if ((err = mp_div_2(&t1, &t1)) != MP_OKAY) {
  35. goto E1;
  36. }
  37. /* And now t1 > sqrt(arg) */
  38. do {
  39. if ((err = mp_div(arg, &t1, &t2, NULL)) != MP_OKAY) {
  40. goto E1;
  41. }
  42. if ((err = mp_add(&t1, &t2, &t1)) != MP_OKAY) {
  43. goto E1;
  44. }
  45. if ((err = mp_div_2(&t1, &t1)) != MP_OKAY) {
  46. goto E1;
  47. }
  48. /* t1 >= sqrt(arg) >= t2 at this point */
  49. } while (mp_cmp_mag(&t1, &t2) == MP_GT);
  50. mp_exch(&t1, ret);
  51. E1:
  52. mp_clear(&t2);
  53. E2:
  54. mp_clear(&t1);
  55. return err;
  56. }
  57. #endif