Struct ark_ed_on_bw6_761::EdwardsConfig

pub struct EdwardsConfig;

Trait Implementations

impl Clone for EdwardsConfig

fn clone(&self) -> EdwardsConfig

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CurveConfig for EdwardsConfig

const COFACTOR: &'static [u64] = &[8]

COFACTOR = 8

const COFACTOR_INV: Fp<MontBackend<FrConfig, 6>, 6> = { let (is_positive, limbs) = (true, [8674279390494949112u64, 15240859427573675856u64, 13020121988094067992u64, 14211568457929686250u64, 93102543031734126u64, 5676483408116939u64]); ::ark_ff::Fp::from_sign_and_limbs(is_positive, &limbs) }

COFACTOR^(-1) mod r = 12124894969357926281749346891948134384518445910386624712788431705725441736421489799867521238554906438478484045560

type BaseField = Fp<MontBackend<FqConfig, 6>, 6>

Base field that the curve is defined over.

type ScalarField = Fp<MontBackend<FrConfig, 6>, 6>

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

fn cofactor_is_one() -> bool

impl Default for EdwardsConfig

fn default() -> EdwardsConfig

Returns the “default value” for a type.

impl MontCurveConfig for EdwardsConfig

const COEFF_A: Fp<MontBackend<FqConfig, 6>, 6> = { let (is_positive, limbs) = (true, [17639914114608903477u64, 6796304894911422003u64, 18232461024502714610u64, 15879819540323974659u64, 8814602613805040697u64, 42174236813863999u64]); ::ark_ff::Fp::from_sign_and_limbs(is_positive, &limbs) }

COEFF_A = 0x95D53EB3F6AC3F7A53C26020144439DC6073BCAE513E03FD06B6B3BAA390F25E51534B26719E33F4CD906D4DA9B535

const COEFF_B: Fp<MontBackend<FqConfig, 6>, 6> = { let (is_positive, limbs) = (true, [10392952872191281866u64, 13310962613858755020u64, 2444517246809519885u64, 4450231765296207243u64, 5469414353344988417u64, 78924075892630699u64]); ::ark_ff::Fp::from_sign_and_limbs(is_positive, &limbs) }

COEFF_B = 0x118650763CE64AB4BE743604C8D05013DC2663652A3D58B21ECAB7BFF65B70DB8BA09F9098E61CC903B2F92B2564ACA

type TECurveConfig = EdwardsConfig

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

impl PartialEq<EdwardsConfig> for EdwardsConfig

fn eq(&self, other: &EdwardsConfig) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TECurveConfig for EdwardsConfig

const COEFF_A: Fp<MontBackend<FqConfig, 6>, 6> = { let (is_positive, limbs) = (false, [1u64]); ::ark_ff::Fp::from_sign_and_limbs(is_positive, &limbs) }

COEFF_A = -1 =

const COEFF_D: Fp<MontBackend<FqConfig, 6>, 6> = { let (is_positive, limbs) = (true, [79743u64]); ::ark_ff::Fp::from_sign_and_limbs(is_positive, &limbs) }

COEFF_D = 79743

const GENERATOR: Affine<EdwardsConfig> = EdwardsAffine::new_unchecked(GENERATOR_X, GENERATOR_Y)

AFFINE_GENERATOR_COEFFS = (GENERATOR_X, GENERATOR_Y)

fn mul_by_a(
    elem: <EdwardsConfig as CurveConfig>::BaseField
) -> <EdwardsConfig as CurveConfig>::BaseField

Multiplication by a is just negation.

type MontCurveConfig = EdwardsConfig

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

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

Checks that the current point is in the prime order subgroup given the point 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: &[u64]) -> Projective<Self>

Default implementation of group multiplication for projective coordinates

fn mul_affine(base: &Affine<Self>, scalar: &[u64]) -> Projective<Self>

Default implementation of group multiplication for affine coordinates

fn msm(
    bases: &[Affine<Self>],
    scalars: &[Self::ScalarField]
) -> Result<Projective<Self>, usize>

Default implementation for multi scalar multiplication

fn serialize_with_mode<W>(
    item: &Affine<Self>,
    writer: W,
    compress: Compress
) -> Result<(), SerializationError>where
    W: Write,

If uncompressed, serializes both x and y coordinates. If compressed, serializes y coordinate with a bit to encode whether x is positive.

fn deserialize_with_mode<R>(
    reader: R,
    compress: Compress,
    validate: Validate
) -> Result<Affine<Self>, SerializationError>where
    R: Read,

If validate is Yes, calls check() to make sure the element is valid.

fn serialized_size(compress: Compress) -> usize

impl Eq for EdwardsConfig

impl StructuralEq for EdwardsConfig

impl StructuralPartialEq for EdwardsConfig