Module fiat_crypto::secp256k1_64

Functions

fiat_secp256k1_mul
fiat_secp256k1_square
fiat_secp256k1_add
fiat_secp256k1_sub
fiat_secp256k1_opp
fiat_secp256k1_from_montgomery
fiat_secp256k1_nonzero
fiat_secp256k1_selectznz
fiat_secp256k1_to_bytes
fiat_secp256k1_from_bytes
fiat_secp256k1_addcarryx_u64
fiat_secp256k1_cmovznz_u64
fiat_secp256k1_mulx_u64
fiat_secp256k1_subborrowx_u64

Type Definitions

fiat_secp256k1_i1
fiat_secp256k1_i2
fiat_secp256k1_i128
fiat_secp256k1_u1
fiat_secp256k1_u2
fiat_secp256k1_u128