Lines Matching defs:x3
341 p256_int y2, x3;
350 p256_modmul(&SECP256r1_p, x, 0, x, &x3); // x^2
351 p256_modmul(&SECP256r1_p, x, 0, &x3, &x3); // x^3
352 if (p256_sub(&x3, x, &x3)) p256_add(&x3, &SECP256r1_p, &x3); // x^3 - x
353 if (p256_sub(&x3, x, &x3)) p256_add(&x3, &SECP256r1_p, &x3); // x^3 - 2x
354 if (p256_sub(&x3, x, &x3)) p256_add(&x3, &SECP256r1_p, &x3); // x^3 - 3x
355 if (p256_add(&x3, &SECP256r1_b, &x3)) // x^3 - 3x + b
356 p256_sub(&x3, &SECP256r1_p, &x3);
358 return p256_cmp(&y2, &x3) == 0;
