Home
last modified time | relevance | path

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

/mcuboot-3.4.0/ext/fiat/src/
Dcurve25519.c407 void x25519_ge_tobytes(uint8_t s[32], const ge_p2 *h) { in x25519_ge_tobytes()
465 static void ge_p2_0(ge_p2 *h) { in ge_p2_0()
472 static void ge_p3_to_p2(ge_p2 *r, const ge_p3 *p) { in ge_p3_to_p2()
487 void x25519_ge_p1p1_to_p2(ge_p2 *r, const ge_p1p1 *p) { in x25519_ge_p1p1_to_p2()
502 static void ge_p2_dbl(ge_p1p1 *r, const ge_p2 *p) { in ge_p2_dbl()
522 ge_p2 q; in ge_p3_dbl()
635 static void ge_double_scalarmult_vartime(ge_p2 *r, const uint8_t *a, in ge_double_scalarmult_vartime()
1142 ge_p2 R; in ED25519_verify()
Dcurve25519.h48 } ge_p2; typedef