Crate fiat_crypto

Modules

curve25519_32	Autogenerated: src/ExtractionOCaml/unsaturated_solinas --lang=Rust 25519 10 '2^255 - 19' 32 carry_mul carry_square carry add sub opp selectznz to_bytes from_bytes carry_scmul121666 curve description: 25519 requested operations: carry_mul, carry_square, carry, add, sub, opp, selectznz, to_bytes, from_bytes, carry_scmul121666 n = 10 (from "10") s-c = 2^255 - [(1, 19)] (from "2^255 - 19") machine_wordsize = 32 (from "32")
curve25519_64	Autogenerated: src/ExtractionOCaml/unsaturated_solinas --lang=Rust 25519 5 '2^255 - 19' 64 carry_mul carry_square carry add sub opp selectznz to_bytes from_bytes carry_scmul121666 curve description: 25519 requested operations: carry_mul, carry_square, carry, add, sub, opp, selectznz, to_bytes, from_bytes, carry_scmul121666 n = 5 (from "5") s-c = 2^255 - [(1, 19)] (from "2^255 - 19") machine_wordsize = 64 (from "64")
p224_32	Autogenerated: src/ExtractionOCaml/word_by_word_montgomery --lang=Rust p224 '2^224 - 2^96 + 1' 32 mul square add sub opp from_montgomery to_montgomery nonzero selectznz to_bytes from_bytes curve description: p224 requested operations: mul, square, add, sub, opp, from_montgomery, to_montgomery, nonzero, selectznz, to_bytes, from_bytes m = 0xffffffffffffffffffffffffffffffff000000000000000000000001 (from "2^224 - 2^96 + 1") machine_wordsize = 32 (from "32")
p224_64	Autogenerated: src/ExtractionOCaml/word_by_word_montgomery --lang=Rust p224 '2^224 - 2^96 + 1' 64 mul square add sub opp from_montgomery to_montgomery nonzero selectznz to_bytes from_bytes curve description: p224 requested operations: mul, square, add, sub, opp, from_montgomery, to_montgomery, nonzero, selectznz, to_bytes, from_bytes m = 0xffffffffffffffffffffffffffffffff000000000000000000000001 (from "2^224 - 2^96 + 1") machine_wordsize = 64 (from "64")
p256_32	Autogenerated: src/ExtractionOCaml/word_by_word_montgomery --lang=Rust p256 '2^256 - 2^224 + 2^192 + 2^96 - 1' 32 mul square add sub opp from_montgomery to_montgomery nonzero selectznz to_bytes from_bytes curve description: p256 requested operations: mul, square, add, sub, opp, from_montgomery, to_montgomery, nonzero, selectznz, to_bytes, from_bytes m = 0xffffffff00000001000000000000000000000000ffffffffffffffffffffffff (from "2^256 - 2^224 + 2^192 + 2^96 - 1") machine_wordsize = 32 (from "32")
p256_64	Autogenerated: src/ExtractionOCaml/word_by_word_montgomery --lang=Rust p256 '2^256 - 2^224 + 2^192 + 2^96 - 1' 64 mul square add sub opp from_montgomery to_montgomery nonzero selectznz to_bytes from_bytes curve description: p256 requested operations: mul, square, add, sub, opp, from_montgomery, to_montgomery, nonzero, selectznz, to_bytes, from_bytes m = 0xffffffff00000001000000000000000000000000ffffffffffffffffffffffff (from "2^256 - 2^224 + 2^192 + 2^96 - 1") machine_wordsize = 64 (from "64")
p384_32	Autogenerated: src/ExtractionOCaml/word_by_word_montgomery --lang=Rust p384 '2^384 - 2^128 - 2^96 + 2^32 - 1' 32 mul square add sub opp from_montgomery to_montgomery nonzero selectznz to_bytes from_bytes curve description: p384 requested operations: mul, square, add, sub, opp, from_montgomery, to_montgomery, nonzero, selectznz, to_bytes, from_bytes m = 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffeffffffff0000000000000000ffffffff (from "2^384 - 2^128 - 2^96 + 2^32 - 1") machine_wordsize = 32 (from "32")
p384_64	Autogenerated: src/ExtractionOCaml/word_by_word_montgomery --lang=Rust p384 '2^384 - 2^128 - 2^96 + 2^32 - 1' 64 mul square add sub opp from_montgomery to_montgomery nonzero selectznz to_bytes from_bytes curve description: p384 requested operations: mul, square, add, sub, opp, from_montgomery, to_montgomery, nonzero, selectznz, to_bytes, from_bytes m = 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffeffffffff0000000000000000ffffffff (from "2^384 - 2^128 - 2^96 + 2^32 - 1") machine_wordsize = 64 (from "64")
p434_64	Autogenerated: src/ExtractionOCaml/word_by_word_montgomery --lang=Rust p434 '2^216 * 3^137 - 1' 64 mul square add sub opp from_montgomery to_montgomery nonzero selectznz to_bytes from_bytes curve description: p434 requested operations: mul, square, add, sub, opp, from_montgomery, to_montgomery, nonzero, selectznz, to_bytes, from_bytes m = 0x2341f271773446cfc5fd681c520567bc65c783158aea3fdc1767ae2ffffffffffffffffffffffffffffffffffffffffffffffffffffff (from "2^216 * 3^137 - 1") machine_wordsize = 64 (from "64")
p448_solinas_64	Autogenerated: src/ExtractionOCaml/unsaturated_solinas --lang=Rust p448 8 '2^448 - 2^224 - 1' 64 carry_mul carry_square carry add sub opp selectznz to_bytes from_bytes curve description: p448 requested operations: carry_mul, carry_square, carry, add, sub, opp, selectznz, to_bytes, from_bytes n = 8 (from "8") s-c = 2^448 - [(2^224, 1), (1, 1)] (from "2^448 - 2^224 - 1") machine_wordsize = 64 (from "64")
p521_64	Autogenerated: src/ExtractionOCaml/unsaturated_solinas --lang=Rust p521 9 '2^521 - 1' 64 carry_mul carry_square carry add sub opp selectznz to_bytes from_bytes curve description: p521 requested operations: carry_mul, carry_square, carry, add, sub, opp, selectznz, to_bytes, from_bytes n = 9 (from "9") s-c = 2^521 - [(1, 1)] (from "2^521 - 1") machine_wordsize = 64 (from "64")
secp256k1_32	Autogenerated: src/ExtractionOCaml/word_by_word_montgomery --lang=Rust secp256k1 '2^256 - 2^32 - 977' 32 mul square add sub opp from_montgomery to_montgomery nonzero selectznz to_bytes from_bytes curve description: secp256k1 requested operations: mul, square, add, sub, opp, from_montgomery, to_montgomery, nonzero, selectznz, to_bytes, from_bytes m = 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2f (from "2^256 - 2^32 - 977") machine_wordsize = 32 (from "32")
secp256k1_64	Autogenerated: src/ExtractionOCaml/word_by_word_montgomery --lang=Rust secp256k1 '2^256 - 2^32 - 977' 64 mul square add sub opp from_montgomery to_montgomery nonzero selectznz to_bytes from_bytes curve description: secp256k1 requested operations: mul, square, add, sub, opp, from_montgomery, to_montgomery, nonzero, selectznz, to_bytes, from_bytes m = 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2f (from "2^256 - 2^32 - 977") machine_wordsize = 64 (from "64")