Trait snarkvm_console_network_environment::prelude::TwistedEdwardsParameters

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

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

    // Provided method
    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 as ModelParameters>::BaseField

The coefficient A of the twisted Edwards curve.

const EDWARDS_D: <Self as ModelParameters>::BaseField

The coefficient D of the twisted Edwards curve.

const COFACTOR: &'static [u64]

The cofactor of the twisted Edwards curve.

const COFACTOR_INV: <Self as ModelParameters>::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

Object Safety

This trait is not object safe.

Implementors

impl TwistedEdwardsParameters for EdwardsParameters

type MontgomeryParameters = EdwardsParameters

const AFFINE_GENERATOR_COEFFS: (<EdwardsParameters as ModelParameters>::BaseField, <EdwardsParameters as ModelParameters>::BaseField) = _

const COFACTOR: &'static [u64] = _

const COFACTOR_INV: Fp256<FrParameters> = _

const EDWARDS_A: Fp256<FrParameters> = _

const EDWARDS_D: Fp256<FrParameters> = _