Struct Config

pub struct Config;

Trait Implementations

impl Clone for Config

fn clone(&self) -> Config

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl CurveConfig for Config

const COFACTOR: &'static [u64]

COFACTOR = (x^8 - 4 x^7 + 5 x^6) - (4 x^4 + 6 x^3 - 4 x^2 - 4 x + 13) // 9 = 305502333931268344200999753193121504214466019254188142667664032982267604182971884026507427359259977847832272839041616661285803823378372096355777062779109

const COFACTOR_INV: Fr

COFACTOR_INV = COFACTOR^{-1} mod r 26652489039290660355457965112010883481355318854675681319708643586776743290055

type BaseField = QuadExtField<Fp2ConfigWrapper<Fq2Config>>

Base field that the curve is defined over.

type ScalarField = Fp<MontBackend<FrConfig, 4>, 4>

Finite prime field corresponding to an appropriate prime-order subgroup of the curve group.

fn cofactor_is_one() -> bool

impl Default for Config

fn default() -> Config

Returns the “default value” for a type.

impl GLVConfig for Config

const ENDO_COEFFS: &'static [Self::BaseField]

Constants that are used to calculate phi(G) := lambda*G. The coefficients of the endomorphism

const LAMBDA: Self::ScalarField

The eigenvalue corresponding to the endomorphism.

const SCALAR_DECOMP_COEFFS: [(bool, <Self::ScalarField as PrimeField>::BigInt); 4]

A 4-element vector representing a 2x2 matrix of coefficients the for scalar decomposition, s.t. k-th entry in the vector is at col i, row j in the matrix, with ij = BE binary decomposition of k. The entries are the LLL-reduced bases. The determinant of this matrix must equal ScalarField::characteristic().

fn endomorphism(p: &Projective<Self>) -> Projective<Self>

fn endomorphism_affine(p: &Affine<Self>) -> Affine<Self>

fn scalar_decomposition( k: Self::ScalarField, ) -> ((bool, Self::ScalarField), (bool, Self::ScalarField))

Decomposes a scalar s into k1, k2, s.t. s = k1 + lambda k2,

fn glv_mul_projective( p: Projective<Self>, k: Self::ScalarField, ) -> Projective<Self>

fn glv_mul_affine(p: Affine<Self>, k: Self::ScalarField) -> Affine<Self>

impl PartialEq for Config

fn eq(&self, other: &Config) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl SWCurveConfig for Config

const COEFF_A: Fq2

COEFF_A = [0, 0]

const COEFF_B: Fq2

COEFF_B = [4, 4]

const GENERATOR: G2Affine

AFFINE_GENERATOR_COEFFS = (G2_GENERATOR_X, G2_GENERATOR_Y)

fn mul_by_a(_: Self::BaseField) -> Self::BaseField

Helper method for computing elem * Self::COEFF_A.

fn is_in_correct_subgroup_assuming_on_curve(point: &G2Affine) -> bool

Check if the provided curve point is in the prime-order subgroup.

fn clear_cofactor(p: &G2Affine) -> G2Affine

Performs cofactor clearing. The default method is simply to multiply by the cofactor. Some curves can implement a more efficient algorithm.

fn deserialize_with_mode<R: Read>( reader: R, compress: Compress, validate: Validate, ) -> Result<Affine<Self>, SerializationError>

If validate is Yes, calls check() to make sure the element is valid.

fn serialize_with_mode<W: Write>( item: &Affine<Self>, writer: W, compress: Compress, ) -> Result<(), SerializationError>

If uncompressed, serializes both x and y coordinates as well as a bit for whether it is infinity. If compressed, serializes x coordinate with two bits to encode whether y is positive, negative, or infinity.

fn serialized_size(compress: Compress) -> usize

fn add_b(elem: Self::BaseField) -> Self::BaseField

Helper method for computing elem + Self::COEFF_B.

fn mul_projective(base: &Projective<Self>, scalar: &[u64]) -> Projective<Self>

Default implementation of group multiplication for projective coordinates

fn mul_affine(base: &Affine<Self>, scalar: &[u64]) -> Projective<Self>

Default implementation of group multiplication for affine coordinates.

fn msm( bases: &[Affine<Self>], scalars: &[Self::ScalarField], ) -> Result<Projective<Self>, usize>

Default implementation for multi scalar multiplication

impl WBConfig for Config

const ISOGENY_MAP: IsogenyMap<'static, Self::IsogenousCurve, Self> = g2_swu_iso::ISOGENY_MAP_TO_G2

type IsogenousCurve = SwuIsoConfig

impl Eq for Config

impl StructuralPartialEq for Config