Trait snarkvm_curves::traits::group::TwistedEdwardsParameters

pub trait TwistedEdwardsParameters: ModelParameters {
    type MontgomeryParameters: MontgomeryParameters<BaseField = Self::BaseField>;

    const EDWARDS_A: Self::BaseField;
    const EDWARDS_D: Self::BaseField;
    const COFACTOR: &'static [u64];
    const COFACTOR_INV: Self::ScalarField;
    const AFFINE_GENERATOR_COEFFS: (Self::BaseField, Self::BaseField);

    fn mul_by_a(elem: &Self::BaseField) -> Self::BaseField { ... }
}

Required Associated Types

type MontgomeryParameters: MontgomeryParameters<BaseField = Self::BaseField>

Required Associated Constants

const EDWARDS_A: Self::BaseField

The coefficient A of the twisted Edwards curve.

const EDWARDS_D: Self::BaseField

The coefficient D of the twisted Edwards curve.

const COFACTOR: &'static [u64]

The cofactor of the twisted Edwards curve.

const COFACTOR_INV: Self::ScalarField

The cofactor inverse of the twisted Edwards curve.

const AFFINE_GENERATOR_COEFFS: (Self::BaseField, Self::BaseField)

The affine generator of the twisted Edwards curve.

Provided Methods

fn mul_by_a(elem: &Self::BaseField) -> Self::BaseField

Implementors

impl TwistedEdwardsParameters for EdwardsParameters

type MontgomeryParameters = EdwardsParameters

const AFFINE_GENERATOR_COEFFS: (Self::BaseField, Self::BaseField) = _

const COFACTOR: &'static [u64] = _

const COFACTOR_INV: Fr = _

const EDWARDS_A: Fq = _

const EDWARDS_D: Fq = _