Lines Matching refs:k
325 - SECStatus rv = ec_Curve25519_mul(X->data, k->data, px);
326 + rv = ec_Curve25519_mul(X->data, k->data, px);
744 uint32_t *k = b;
748 Hacl_Impl_Chacha20_chacha20_core(k, st, ctr);
753 uint32_t yi = k[i];
795 Hacl_Impl_Chacha20_Vec128_State_state_to_key_block(uint8_t *stream_block, vec *k)
801 vec k0 = k[0U];
802 vec k1 = k[1U];
803 vec k2 = k[2U];
804 vec k3 = k[3U];
818 Hacl_Impl_Chacha20_Vec128_State_state_setup(vec *st, uint8_t *k, uint8_t *n1, uint32_t c)
833 - vec k0 = vec_load128_le(k);
834 - vec k1 = vec_load128_le(k + (uint32_t)16U);
835 + k0 = vec_load128_le(k);
836 + k1 = vec_load128_le(k + (uint32_t)16U);
944 Hacl_Impl_Chacha20_Vec128_chacha20_core(vec *k, vec *st)
947 Hacl_Impl_Chacha20_Vec128_copy_state(k, st);
950 Hacl_Impl_Chacha20_Vec128_double_round(k);
951 Hacl_Impl_Chacha20_Vec128_sum_states(k, st);
969 vec k[4U];
974 k[_i] = vec_zero();
975 Hacl_Impl_Chacha20_Vec128_chacha20_core(k, st);
976 Hacl_Impl_Chacha20_Vec128_State_state_to_key_block(stream_block, k);
996 vec k[4U];
1001 k[_i] = vec_zero();
1002 Hacl_Impl_Chacha20_Vec128_chacha20_core(k, st);
1003 Hacl_Impl_Chacha20_Vec128_xor_block(output, plain, k);
1073 Hacl_Impl_Chacha20_Vec128_init(st, k, n1, ctr);
2267 /* Check that the RSA key isn't larger than 8k bit. */