ge_frombytes.c 987 B

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  1. #include "ge.h"
  2. static const fe d = {
  3. #include "d.h"
  4. } ;
  5. static const fe sqrtm1 = {
  6. #include "sqrtm1.h"
  7. } ;
  8. int ge_frombytes_negate_vartime(ge_p3 *h,const unsigned char *s)
  9. {
  10. fe u;
  11. fe v;
  12. fe v3;
  13. fe vxx;
  14. fe check;
  15. fe_frombytes(h->Y,s);
  16. fe_1(h->Z);
  17. fe_sq(u,h->Y);
  18. fe_mul(v,u,d);
  19. fe_sub(u,u,h->Z); /* u = y^2-1 */
  20. fe_add(v,v,h->Z); /* v = dy^2+1 */
  21. fe_sq(v3,v);
  22. fe_mul(v3,v3,v); /* v3 = v^3 */
  23. fe_sq(h->X,v3);
  24. fe_mul(h->X,h->X,v);
  25. fe_mul(h->X,h->X,u); /* x = uv^7 */
  26. fe_pow22523(h->X,h->X); /* x = (uv^7)^((q-5)/8) */
  27. fe_mul(h->X,h->X,v3);
  28. fe_mul(h->X,h->X,u); /* x = uv^3(uv^7)^((q-5)/8) */
  29. fe_sq(vxx,h->X);
  30. fe_mul(vxx,vxx,v);
  31. fe_sub(check,vxx,u); /* vx^2-u */
  32. if (fe_isnonzero(check)) {
  33. fe_add(check,vxx,u); /* vx^2+u */
  34. if (fe_isnonzero(check)) return -1;
  35. fe_mul(h->X,h->X,sqrtm1);
  36. }
  37. if (fe_isnegative(h->X) == (s[31] >> 7))
  38. fe_neg(h->X,h->X);
  39. fe_mul(h->T,h->X,h->Y);
  40. return 0;
  41. }