lambdaworks_math/field/fields/
secp256k1_field.rs

1use crate::{
2    field::fields::montgomery_backed_prime_fields::{IsModulus, MontgomeryBackendPrimeField},
3    unsigned_integer::element::U256,
4};
5
6type Secp256k1MontgomeryBackendPrimeField<T> = MontgomeryBackendPrimeField<T, 4>;
7
8#[derive(Debug, Clone, PartialEq, Eq)]
9pub struct MontgomeryConfigSecp256k1PrimeField;
10impl IsModulus<U256> for MontgomeryConfigSecp256k1PrimeField {
11    const MODULUS: U256 = U256::from_hex_unchecked(
12        "0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFC2F",
13    );
14}
15
16pub type Secp256k1PrimeField =
17    Secp256k1MontgomeryBackendPrimeField<MontgomeryConfigSecp256k1PrimeField>;