Searched refs:aj_bj (Results 1 – 1 of 1) sorted by relevance
6253 int16_t aj_bj = in libcrux_ml_kem_vector_portable_ntt_ntt_multiply_binomials() local6256 int32_t aj_bj_zeta = libcrux_secrets_int_as_i32_f5(aj_bj) * in libcrux_ml_kem_vector_portable_ntt_ntt_multiply_binomials()