Module fiat_crypto::curve25519_32

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_u25
fiat_25519_addcarryx_u26
fiat_25519_carry_scmul_121666
fiat_25519_cmovznz_u32
fiat_25519_subborrowx_u25
fiat_25519_subborrowx_u26

Type Definitions

fiat_25519_i1
fiat_25519_i2
fiat_25519_u1
fiat_25519_u2