Lines Matching refs:nq
683 uint64_t *nq,
693 Hacl_EC_Point_swap_conditional(nq, nqpq, bit0);
694 Hacl_EC_AddAndDouble_fmonty(nq2, nqpq2, nq, nqpq, q);
701 uint64_t *nq,
710 Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step(nq, nqpq, nq2, nqpq2, q, byt);
712 Hacl_EC_Ladder_SmallLoop_cmult_small_loop_step(nq2, nqpq2, nq, nqpq, q, byt1);
717 uint64_t *nq,
730 Hacl_EC_Ladder_SmallLoop_cmult_small_loop_double_step(nq, nqpq, nq2, nqpq2, q, byt);
732 Hacl_EC_Ladder_SmallLoop_cmult_small_loop(nq, nqpq, nq2, nqpq2, q, byt_, i_);
739 uint64_t *nq,
751 Hacl_EC_Ladder_SmallLoop_cmult_small_loop(nq, nqpq, nq2, nqpq2, q, byte, (uint32_t)4U);
752 Hacl_EC_Ladder_BigLoop_cmult_big_loop(n1, nq, nqpq, nq2, nqpq2, q, i1);
759 uint64_t *nq = point_buf;
764 nq[0U] = (uint64_t)1U;
765 Hacl_EC_Ladder_BigLoop_cmult_big_loop(n1, nq, nqpq, nq2, nqpq2, q, (uint32_t)32U);
766 Hacl_EC_Point_copy(result, nq);
797 uint64_t *nq = buf;
798 uint64_t *x = nq;
800 Hacl_EC_Ladder_cmult(nq, scalar, q);
801 Hacl_EC_Format_scalar_of_point(mypublic, nq);