Crate fiat_crypto[−][src]
Modules
Autogenerated: ‘src/ExtractionOCaml/unsaturated_solinas’ –lang Rust –inline 25519 32 ‘(auto)’ ‘2^255 - 19’ carry_mul carry_square carry add sub opp selectznz to_bytes from_bytes relax 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, relax, carry_scmul121666 n = 10 (from “(auto)”) s-c = 2^255 - [(1, 19)] (from “2^255 - 19”) tight_bounds_multiplier = 1 (from “”)
Autogenerated: ‘src/ExtractionOCaml/unsaturated_solinas’ –lang Rust –inline 25519 64 ‘(auto)’ ‘2^255 - 19’ carry_mul carry_square carry add sub opp selectznz to_bytes from_bytes relax 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, relax, carry_scmul121666 n = 5 (from “(auto)”) s-c = 2^255 - [(1, 19)] (from “2^255 - 19”) tight_bounds_multiplier = 1 (from “”)
Autogenerated: ‘src/ExtractionOCaml/word_by_word_montgomery’ –lang Rust –inline 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”)
Autogenerated: ‘src/ExtractionOCaml/word_by_word_montgomery’ –lang Rust –inline 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”)
Autogenerated: ‘src/ExtractionOCaml/word_by_word_montgomery’ –lang Rust –inline 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”)
Autogenerated: ‘src/ExtractionOCaml/word_by_word_montgomery’ –lang Rust –inline 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”)
Autogenerated: ‘src/ExtractionOCaml/word_by_word_montgomery’ –lang Rust –inline 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”)
Autogenerated: ‘src/ExtractionOCaml/word_by_word_montgomery’ –lang Rust –inline 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”)
Autogenerated: ‘src/ExtractionOCaml/word_by_word_montgomery’ –lang Rust –inline 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”)
Autogenerated: ‘src/ExtractionOCaml/unsaturated_solinas’ –lang Rust –inline p448 64 8 ‘2^448 - 2^224 - 1’ carry_mul carry_square carry add sub opp selectznz to_bytes from_bytes relax curve description: p448 machine_wordsize = 64 (from “64”) requested operations: carry_mul, carry_square, carry, add, sub, opp, selectznz, to_bytes, from_bytes, relax n = 8 (from “8”) s-c = 2^448 - [(2^224, 1), (1, 1)] (from “2^448 - 2^224 - 1”) tight_bounds_multiplier = 1 (from “”)
Autogenerated: ‘src/ExtractionOCaml/unsaturated_solinas’ –lang Rust –inline p521 64 9 ‘2^521 - 1’ carry_mul carry_square carry add sub opp selectznz to_bytes from_bytes relax curve description: p521 machine_wordsize = 64 (from “64”) requested operations: carry_mul, carry_square, carry, add, sub, opp, selectznz, to_bytes, from_bytes, relax n = 9 (from “9”) s-c = 2^521 - [(1, 1)] (from “2^521 - 1”) tight_bounds_multiplier = 1 (from “”)
Autogenerated: ‘src/ExtractionOCaml/word_by_word_montgomery’ –lang Rust –inline 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”)
Autogenerated: ‘src/ExtractionOCaml/word_by_word_montgomery’ –lang Rust –inline 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”)