[][src]Module fiat_crypto::curve25519_64

Functions

fiat_25519_carry_mul
fiat_25519_carry_square
fiat_25519_carry
fiat_25519_add
fiat_25519_sub
fiat_25519_opp
fiat_25519_selectznz
fiat_25519_to_bytes
fiat_25519_from_bytes
fiat_25519_addcarryx_u51
fiat_25519_carry_scmul_121666
fiat_25519_cmovznz_u64
fiat_25519_subborrowx_u51

Type Definitions

fiat_25519_i1
fiat_25519_i2
fiat_25519_i128
fiat_25519_u1
fiat_25519_u2
fiat_25519_u128