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

Type Definitions