Trait ark_ec::scalar_mul::glv::GLVParameters

pub trait GLVParameters: Send + Sync + 'static + CurveConfig {
    type Curve: CurveGroup<Config = Self>;

    const COEFF_A1: Self::BaseField;
    const COEFF_A2: Self::BaseField;
    const COEFF_A3: Self::BaseField;
    const COEFF_B1: Self::BaseField;
    const COEFF_B2: Self::BaseField;
    const COEFF_B3: Self::BaseField;
    const COEFF_C1: Self::BaseField;
    const COEFF_C2: Self::BaseField;
    const COEFF_N11: Self::ScalarField;
    const COEFF_N12: Self::ScalarField;
    const COEFF_N21: Self::ScalarField;
    const COEFF_N22: Self::ScalarField;

    fn endomorphism(
        base: &<Self::Curve as CurveGroup>::Affine
    ) -> <Self::Curve as CurveGroup>::Affine;
    fn scalar_decomposition(
        k: &Self::ScalarField
    ) -> (Self::ScalarField, Self::ScalarField);
    fn glv_mul(
        base: &<Self::Curve as CurveGroup>::Affine,
        scalar: &Self::ScalarField
    ) -> Self::Curve;
}

The GLV parameters for computing the endomorphism and scalar decomposition.

Required Associated Types

type Curve: CurveGroup<Config = Self>

A representation of curve points that enables efficient arithmetic by avoiding inversions.

Required Associated Constants

const COEFF_A1: Self::BaseField

Coefficient a_1 of f(y) = a_1 * (y + a_2) * (y + a_3).

const COEFF_A2: Self::BaseField

Coefficient a_2 of f(y) = a_1 * (y + a_2) * (y + a_3).

const COEFF_A3: Self::BaseField

Coefficient a_3 of f(y) = a_1 * (y + a_2) * (y + a_3).

const COEFF_B1: Self::BaseField

Coefficient b_1 of g(y) = b_1 * (y + b_2) * (y + b_3).

const COEFF_B2: Self::BaseField

Coefficient b_2 of g(y) = b_1 * (y + b_2) * (y + b_3).

const COEFF_B3: Self::BaseField

Coefficient b_3 of g(y) = b_1 * (y + b_2) * (y + b_3).

const COEFF_C1: Self::BaseField

Coefficient c_1 of h(y) = (y + c_1) * (y + c_2).

const COEFF_C2: Self::BaseField

Coefficient c_2 of h(y) = (y + c_1) * (y + c_2).

const COEFF_N11: Self::ScalarField

The first element of the matrix for scalar decomposition.

const COEFF_N12: Self::ScalarField

The second element of the matrix for scalar decomposition.

const COEFF_N21: Self::ScalarField

The third element of the matrix for scalar decomposition.

const COEFF_N22: Self::ScalarField

The forth element of the matrix for the scalar decomposition.

Required Methods

fn endomorphism(
    base: &<Self::Curve as CurveGroup>::Affine
) -> <Self::Curve as CurveGroup>::Affine

Maps a point G to phi(G):= lambda G where psi is the endomorphism.

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

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

fn glv_mul(
    base: &<Self::Curve as CurveGroup>::Affine,
    scalar: &Self::ScalarField
) -> Self::Curve

Performs GLV multiplication.

Implementors