Home
last modified time | relevance | path

Searched refs:yi (Results 1 – 2 of 2) sorted by relevance

/mbedtls-development/3rdparty/everest/library/
A DHacl_Curve25519.c58 uint64_t yi = input[i]; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_() local
59 output[i] = xi + (uint128_t)yi * s; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
295 uint64_t yi = b[i]; in Hacl_Bignum_fsum() local
296 a[i] = xi + yi; in Hacl_Bignum_fsum()
324 uint64_t yi = tmp[i]; in Hacl_Bignum_fdifference() local
325 a[i] = yi - xi; in Hacl_Bignum_fdifference()
/mbedtls-development/3rdparty/everest/library/legacy/
A DHacl_Curve25519.c66 uint64_t yi = input[i]; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_() local
67 output[i] = FStar_UInt128_add_mod(xi, FStar_UInt128_mul_wide(yi, s)); in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
337 uint64_t yi = b[i]; in Hacl_Bignum_fsum() local
338 a[i] = xi + yi; in Hacl_Bignum_fsum()
366 uint64_t yi = tmp[i]; in Hacl_Bignum_fdifference() local
367 a[i] = yi - xi; in Hacl_Bignum_fdifference()

Completed in 7 milliseconds