Searched refs:zprime (Results 1 – 2 of 2) sorted by relevance
587 uint64_t *zprime = pq + (uint32_t)5U; in Hacl_EC_AddAndDouble_fmonty() local607 Hacl_Bignum_fsum(xprime, zprime); in Hacl_EC_AddAndDouble_fmonty()608 Hacl_Bignum_fdifference(zprime, origxprime0); in Hacl_EC_AddAndDouble_fmonty()610 Hacl_Bignum_fmul(zzprime0, x, zprime); in Hacl_EC_AddAndDouble_fmonty()
632 uint64_t *zprime = pq + (uint32_t)5U; in Hacl_EC_AddAndDouble_fmonty() local652 Hacl_Bignum_fsum(xprime, zprime); in Hacl_EC_AddAndDouble_fmonty()653 Hacl_Bignum_fdifference(zprime, origxprime0); in Hacl_EC_AddAndDouble_fmonty()655 Hacl_Bignum_fmul(zzprime0, x, zprime); in Hacl_EC_AddAndDouble_fmonty()
Completed in 7 milliseconds