Searched refs:vxx (Results 1 – 1 of 1) sorted by relevance
| /mcuboot-3.4.0/ext/fiat/src/ |
| D | curve25519.c | 423 fe vxx; in x25519_ge_frombytes_vartime() local
429 fe_mul_ttt(&vxx, &v3, &d); in x25519_ge_frombytes_vartime()
432 fe_add(&v, &vxx, &h->Z); // v = dy^2+1 in x25519_ge_frombytes_vartime()
444 fe_sq_tt(&vxx, &h->X); in x25519_ge_frombytes_vartime()
445 fe_mul_ttl(&vxx, &vxx, &v); in x25519_ge_frombytes_vartime()
446 fe_sub(&check, &vxx, &u); in x25519_ge_frombytes_vartime()
448 fe_add(&check, &vxx, &u); in x25519_ge_frombytes_vartime()
|
