Finite Field

API Reference

uint32_t Hacl_FFDHE_ffdhe_len(Spec_FFDHE_ffdhe_alg a)

void Hacl_FFDHE_ffdhe_secret_to_public(Spec_FFDHE_ffdhe_alg a, uint8_t *sk, uint8_t *pk)

uint64_t Hacl_FFDHE_ffdhe_shared_secret(Spec_FFDHE_ffdhe_alg a, uint8_t *sk, uint8_t *pk, uint8_t *ss)

With Precomputation

uint64_t *Hacl_FFDHE_new_ffdhe_precomp_p(Spec_FFDHE_ffdhe_alg a)

void Hacl_FFDHE_ffdhe_secret_to_public_precomp(Spec_FFDHE_ffdhe_alg a, uint64_t *p_r2_n, uint8_t *sk, uint8_t *pk)

uint64_t Hacl_FFDHE_ffdhe_shared_secret_precomp(Spec_FFDHE_ffdhe_alg a, uint64_t *p_r2_n, uint8_t *sk, uint8_t *pk, uint8_t *ss)