Struct StarknetCurveConfig 

pub struct StarknetCurveConfig;

Starknet’s Curve Details.

Trait Implementations

impl Clone for StarknetCurveConfig

fn clone(&self) -> StarknetCurveConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl CurveConfig for StarknetCurveConfig

const COFACTOR: &'static [u64]

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

const COFACTOR_INV: Fr = Fr::ONE

The inverse of the cofactor.

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

Base field that the curve is defined over.

type ScalarField = Fp<StarknetFrParam, { 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 StarknetCurveConfig

fn default() -> StarknetCurveConfig

Returns the “default value” for a type.

impl PartialEq for StarknetCurveConfig

fn eq(&self, other: &StarknetCurveConfig) -> 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 PedersenParams<StarknetCurveConfig> for StarknetPedersenParams

const LOW_PART_BITS: u32 = 248u32

Low part bits.

const LOW_PART_MASK: U256

Low part mask. (2**248 - 1)

const N_ELEMENT_BITS_HASH: usize = 252usize

Number of elements in the hash.

const P_0: Affine<StarknetCurveConfig>

Shift point.

const P_1: Affine<StarknetCurveConfig>

Constant point – P_1.

const P_2: Affine<StarknetCurveConfig>

Constant point – P_2.

const P_3: Affine<StarknetCurveConfig>

Constant point – P_3.

const P_4: Affine<StarknetCurveConfig>

Constant point – P_4.

type AffineRepr = Affine<StarknetCurveConfig>

The affine representation type for this Elliptic Curve.

impl SWCurveConfig for StarknetCurveConfig

const COEFF_A: Fq

Coefficient a of the curve equation.

const COEFF_B: Fq

Coefficient b of the curve equation.

const GENERATOR: Affine<StarknetCurveConfig>

Generator of the prime-order subgroup.

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

Helper method for computing elem * Self::COEFF_A.

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

Helper method for computing elem + Self::COEFF_B.

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

Check if the provided curve point is in the prime-order subgroup.

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

Performs cofactor clearing. The default method is simply to multiply by the cofactor. Some curves can implement a more efficient algorithm.

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 StarknetCurveConfig

impl StructuralPartialEq for StarknetCurveConfig