ark_ec/models/
mod.rs

1use ark_ff::{Field, PrimeField};
2
3pub mod bls12;
4pub mod bn;
5pub mod bw6;
6pub mod mnt4;
7pub mod mnt6;
8
9pub mod short_weierstrass;
10pub mod twisted_edwards;
11
12/// Elliptic curves can be represented via different "models" with varying
13/// efficiency properties.
14/// `CurveConfig` bundles together the types that are common
15/// to all models of the given curve, namely the `BaseField` over which the
16/// curve is defined, and the `ScalarField` defined by the appropriate
17/// prime-order subgroup of the curve.
18pub trait CurveConfig: Send + Sync + Sized + 'static {
19    /// Base field that the curve is defined over.
20    type BaseField: Field;
21    /// Finite prime field corresponding to an appropriate prime-order subgroup
22    /// of the curve group.
23    type ScalarField: PrimeField + Into<<Self::ScalarField as PrimeField>::BigInt>;
24
25    /// The cofactor of this curve, represented as a sequence of little-endian limbs.
26    const COFACTOR: &'static [u64];
27    const COFACTOR_INV: Self::ScalarField;
28
29    fn cofactor_is_one() -> bool {
30        Self::COFACTOR[0] == 1 && Self::COFACTOR.iter().skip(1).all(|&e| e == 0)
31    }
32}
ark_ec/models/mod.rs

ark_ec/models/
mod.rs
