Searched refs:zzzprime (Results 1 – 2 of 2) sorted by relevance
598 uint64_t *zzzprime; in Hacl_EC_AddAndDouble_fmonty() local616 zzzprime = buf + (uint32_t)35U; in Hacl_EC_AddAndDouble_fmonty()621 Hacl_Bignum_Fsquare_fsquare_times(zzzprime, zzprime, (uint32_t)1U); in Hacl_EC_AddAndDouble_fmonty()622 Hacl_Bignum_fmul(z3, zzzprime, qx); in Hacl_EC_AddAndDouble_fmonty()
643 uint64_t *zzzprime; in Hacl_EC_AddAndDouble_fmonty() local661 zzzprime = buf + (uint32_t)35U; in Hacl_EC_AddAndDouble_fmonty()666 Hacl_Bignum_Fsquare_fsquare_times(zzzprime, zzprime, (uint32_t)1U); in Hacl_EC_AddAndDouble_fmonty()667 Hacl_Bignum_fmul(z3, zzzprime, qx); in Hacl_EC_AddAndDouble_fmonty()