Struct Curve25519Config 

pub struct Curve25519Config;

Curve25519’s Curve Details.

Trait Implementations

impl Clone for Curve25519Config

fn clone(&self) -> Curve25519Config

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl CurveConfig for Curve25519Config

const COFACTOR: &'static [u64]

The cofactor of this curve, represented as a sequence of little-endian limbs.

const COFACTOR_INV: Fr

The inverse of the cofactor.

type BaseField = Fp<Curve25519FqParam, { usize::div_ceil( $bits, $crate::arithmetic::limb::Limb::BITS as usize, ) }>

Base field that the curve is defined over.

type ScalarField = Fp<Curve25519FrParam, { usize::div_ceil( $bits, $crate::arithmetic::limb::Limb::BITS as usize, ) }>

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

fn cofactor_is_one() -> bool

Returns true if the cofactor is one.

impl Default for Curve25519Config

fn default() -> Curve25519Config

Returns the “default value” for a type.

impl MontCurveConfig for Curve25519Config

const COEFF_A: Self::BaseField

Coefficient a of the curve equation.

const COEFF_B: Self::BaseField

Coefficient b of the curve equation.

type TECurveConfig = Curve25519Config

Model parameters for the Twisted Edwards curve that is birationally equivalent to this curve.

impl PartialEq for Curve25519Config

fn eq(&self, other: &Curve25519Config) -> 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 TECurveConfig for Curve25519Config

const COEFF_A: Self::BaseField

Coefficient a of the curve equation.

const COEFF_D: Self::BaseField

Coefficient d of the curve equation.

const GENERATOR: Affine<Self>

Generator of the prime-order subgroup.

type MontCurveConfig = Curve25519Config

Model parameters for the Montgomery curve that is birationally equivalent to this curve.

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

Helper method for computing elem * Self::COEFF_A.

fn is_in_prime_order_subgroup(item: &Affine<Self>) -> bool

Checks that the current point is in the prime order subgroup, assuming the point is already on the curve.

fn clear_cofactor(item: &Affine<Self>) -> Affine<Self>

Performs cofactor clearing. The default method is simply to multiply by the cofactor. For some curve families though, it is sufficient to multiply by a smaller scalar.

fn mul_projective( base: &Projective<Self>, scalar: impl BitIteratorBE, ) -> Projective<Self>

Default implementation of group multiplication for projective coordinates.

fn mul_affine( base: &Affine<Self>, scalar: impl BitIteratorBE, ) -> Projective<Self>

Default implementation of group multiplication for affine coordinates.

impl Eq for Curve25519Config

impl StructuralPartialEq for Curve25519Config