Module fiat_crypto::p434_64

Functions

fiat_p434_mul
fiat_p434_square
fiat_p434_add
fiat_p434_sub
fiat_p434_opp
fiat_p434_from_montgomery
fiat_p434_nonzero
fiat_p434_selectznz
fiat_p434_to_bytes
fiat_p434_from_bytes
fiat_p434_addcarryx_u64
fiat_p434_cmovznz_u64
fiat_p434_mulx_u64
fiat_p434_subborrowx_u64

Type Definitions

fiat_p434_i1
fiat_p434_i2
fiat_p434_i128
fiat_p434_u1
fiat_p434_u2
fiat_p434_u128