Crate fiat_crypto

Modules

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