Struct stark_curve::StarkCurve

source ·
pub struct StarkCurve;
Expand description

Stark curve

Trait Implementations§

source§

impl Clone for StarkCurve

source§

fn clone(&self) -> StarkCurve

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Curve for StarkCurve

§

type FieldBytesSize = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>

Size of a serialized field element in bytes. Read more
§

type Uint = Uint<crypto_bigint::::uint::U256::{constant#0}>

Integer type used to represent field elements of this elliptic curve.
source§

const ORDER: Self::Uint = _

Order of this elliptic curve, i.e. number of elements in the scalar field.
source§

impl CurveArithmetic for StarkCurve

§

type Scalar = W<ScalarCore>

Scalar field modulo this curve’s order. Read more
§

type AffinePoint = AffinePoint<StarkCurve>

Elliptic curve point in affine coordinates.
§

type ProjectivePoint = ProjectivePoint<StarkCurve>

Elliptic curve point in projective coordinates. Read more
source§

impl Debug for StarkCurve

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Default for StarkCurve

source§

fn default() -> StarkCurve

Returns the “default value” for a type. Read more
source§

impl FieldBytesEncoding<StarkCurve> for U256

§

fn decode_field_bytes( field_bytes: &GenericArray<u8, <C as Curve>::FieldBytesSize> ) -> Self

Decode unsigned integer from serialized field element. Read more
§

fn encode_field_bytes(&self) -> GenericArray<u8, <C as Curve>::FieldBytesSize>

Encode unsigned integer into serialized field element. Read more
source§

impl Ord for StarkCurve

source§

fn cmp(&self, other: &StarkCurve) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 · source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more
1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized + PartialOrd,

Restrict a value to a certain interval. Read more
source§

impl PartialEq for StarkCurve

source§

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

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

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.
source§

impl PartialOrd for StarkCurve

source§

fn partial_cmp(&self, other: &StarkCurve) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

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

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

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

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

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

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

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

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more
source§

impl PrimeCurveParams for StarkCurve

§

type FieldElement = W<FieldElementCore>

Base field element type.
§

type PointArithmetic = EquationAIsGeneric

Point arithmetic implementation, might be optimized for this specific curve
source§

const EQUATION_A: Self::FieldElement = constants::EQUATION_A

Coefficient a in the curve equation.
source§

const EQUATION_B: Self::FieldElement = constants::EQUATION_B

Coefficient b in the curve equation.
source§

const GENERATOR: (Self::FieldElement, Self::FieldElement) = constants::GENERATOR

Generator point’s affine coordinates: (x, y).
source§

impl Copy for StarkCurve

source§

impl Eq for StarkCurve

source§

impl PrimeCurve for StarkCurve

source§

impl StructuralPartialEq for StarkCurve

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> Same for T

§

type Output = T

Should always be Self
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<C> ValidatePublicKey for C
where C: CurveArithmetic, <C as CurveArithmetic>::AffinePoint: FromEncodedPoint<C> + ToEncodedPoint<C>, <C as Curve>::FieldBytesSize: ModulusSize,

§

fn validate_public_key( secret_key: &SecretKey<C>, public_key: &EncodedPoint<<C as Curve>::FieldBytesSize> ) -> Result<(), Error>

Validate that the given [EncodedPoint] is a valid public key for the provided secret value.