Derive Macro ark_ff::fields::models::fp::MontConfig

source ·
#[derive(MontConfig)]
{
    // Attributes available to this derive:
    #[modulus]
    #[generator]
    #[small_subgroup_base]
    #[small_subgroup_power]
}
Expand description

Derive the MontConfig trait.

The attributes available to this macro are

  • modulus: Specify the prime modulus underlying this prime field.
  • generator: Specify the generator of the multiplicative subgroup of this prime field. This value must be a quadratic non-residue in the field.
  • small_subgroup_base and small_subgroup_power (optional): If the field has insufficient two-adicity, specify an additional subgroup of size small_subgroup_base.pow(small_subgroup_power).