Searched refs:fiat_25519_to_bytes (Results 1 – 3 of 3) sorted by relevance
354 static void fiat_25519_to_bytes(uint8_t out1[32], const uint64_t arg1[5]) { in fiat_25519_to_bytes() function
646 static void fiat_25519_to_bytes(uint8_t out1[32], const uint32_t arg1[10]) { in fiat_25519_to_bytes() function
178 fiat_25519_to_bytes(s, f->v); in fe_tobytes()