Module fiat_crypto::curve25519_solinas_64
source · Expand description
Autogenerated: ‘src/ExtractionOCaml/solinas_reduction’ –lang Rust –inline curve25519_solinas 64 ‘2^255 - 19’ mul square curve description: curve25519_solinas machine_wordsize = 64 (from “64”) requested operations: mul, square s-c = 2^255 - [(1, 19)] (from “2^255 - 19”)
Computed values:
Functions
- The function fiat_curve25519_solinas_addcarryx_u64 is an addition with carry.
- The function fiat_curve25519_solinas_cmovznz_u64 is a single-word conditional move.
- The function fiat_curve25519_solinas_mul multiplies two field elements.
- The function fiat_curve25519_solinas_mulx_u64 is a multiplication, returning the full double-width result.
- The function fiat_curve25519_solinas_square squares a field element.
- The function fiat_curve25519_solinas_subborrowx_u64 is a subtraction with borrow.