snarkvm_console_types_boolean

Trait TwistedEdwardsParameters

Source
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 Constants§

Source

const EDWARDS_A: <Self as ModelParameters>::BaseField

The coefficient A of the twisted Edwards curve.

Source

const EDWARDS_D: <Self as ModelParameters>::BaseField

The coefficient D of the twisted Edwards curve.

Source

const COFACTOR: &'static [u64]

The cofactor of the twisted Edwards curve.

Source

const COFACTOR_INV: <Self as ModelParameters>::ScalarField

The cofactor inverse of the twisted Edwards curve.

Source

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

The affine generator of the twisted Edwards curve.

Required Associated Types§

Provided Methods§

Source

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

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§