Struct p256::NistP256

source ·
pub struct NistP256;
Expand description

NIST P-256 elliptic curve.

This curve is also known as prime256v1 (ANSI X9.62) and secp256r1 (SECG) and is specified in FIPS 186-4: Digital Signature Standard (DSS):

https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.186-4.pdf

It’s included in the US National Security Agency’s “Suite B” and is widely used in protocols like TLS and the associated X.509 PKI.

Its equation is y² = x³ - 3x + b over a ~256-bit prime field where b is the “verifiably random”† constant:

b = 41058363725152142129326129780047268409114441015993725554835256314039467401291

NOTE: the specific origins of this constant have never been fully disclosed (it is the SHA-1 digest of an inexplicable NSA-selected constant)

Trait Implementations§

source§

impl AffineArithmetic for NistP256

§

type AffinePoint = AffinePoint

Elliptic curve point in affine coordinates.
source§

impl AffineXCoordinate<NistP256> for AffinePoint

source§

fn x(&self) -> FieldBytes

Get the affine x-coordinate as a serialized field element.
source§

impl Clone for NistP256

source§

fn clone(&self) -> NistP256

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 NistP256

§

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

256-bit integer type used for internally representing field elements.

source§

const ORDER: U256 = _

Order of NIST P-256’s elliptic curve group (i.e. scalar modulus).

n = FFFFFFFF 00000000 FFFFFFFF FFFFFFFF BCE6FAAD A7179E84 F3B9CAC2 FC632551
Calculating the order

One way to calculate the order is with GP/PARI:

p = (2^224) * (2^32 - 1) + 2^192 + 2^96 - 1
b = 41058363725152142129326129780047268409114441015993725554835256314039467401291
E = ellinit([Mod(-3, p), Mod(b, p)])
default(parisize, 120000000)
n = ellsea(E)
isprime(n)
source§

impl Debug for NistP256

source§

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

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

impl DecompactPoint<NistP256> for AffinePoint

source§

fn decompact(x_bytes: &FieldBytes) -> CtOption<Self>

Attempt to decompact an elliptic curve point
source§

impl DecompressPoint<NistP256> for AffinePoint

source§

fn decompress(x_bytes: &FieldBytes, y_is_odd: Choice) -> CtOption<Self>

Attempt to decompress an elliptic curve point.
source§

impl Default for NistP256

source§

fn default() -> NistP256

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

impl FromEncodedPoint<NistP256> for AffinePoint

source§

fn from_encoded_point(encoded_point: &EncodedPoint) -> CtOption<Self>

Attempts to parse the given EncodedPoint as an SEC1-encoded AffinePoint.

Returns

None value if encoded_point is not on the secp256r1 curve.

source§

impl FromEncodedPoint<NistP256> for ProjectivePoint

source§

fn from_encoded_point(p: &EncodedPoint) -> CtOption<Self>

Deserialize the type this trait is impl’d on from an EncodedPoint.
source§

impl Ord for NistP256

source§

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

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

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

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

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

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

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

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

impl PartialEq<NistP256> for NistP256

source§

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

source§

fn partial_cmp(&self, other: &NistP256) -> 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 PointCompaction for NistP256

source§

const COMPACT_POINTS: bool = false

NIST P-256 points are typically uncompressed.

source§

impl PointCompression for NistP256

source§

const COMPRESS_POINTS: bool = false

NIST P-256 points are typically uncompressed.

source§

impl PrimeCurveArithmetic for NistP256

§

type CurveGroup = ProjectivePoint

Prime order elliptic curve group.
source§

impl ProjectiveArithmetic for NistP256

§

type ProjectivePoint = ProjectivePoint

Elliptic curve point in projective coordinates. Read more
source§

impl ScalarArithmetic for NistP256

§

type Scalar = Scalar

Scalar field type. Read more
source§

impl ToCompactEncodedPoint<NistP256> for AffinePoint

source§

fn to_compact_encoded_point(&self) -> CtOption<EncodedPoint>

Serialize this value as a SEC1 compact EncodedPoint

source§

impl ToEncodedPoint<NistP256> for AffinePoint

source§

fn to_encoded_point(&self, compress: bool) -> EncodedPoint

Serialize this value as a SEC1 EncodedPoint, optionally applying point compression.
source§

impl ToEncodedPoint<NistP256> for ProjectivePoint

source§

fn to_encoded_point(&self, compress: bool) -> EncodedPoint

Serialize this value as a SEC1 EncodedPoint, optionally applying point compression.
source§

impl Copy for NistP256

source§

impl Eq for NistP256

source§

impl PrimeCurve for NistP256

source§

impl StructuralEq for NistP256

source§

impl StructuralPartialEq for NistP256

Auto Trait Implementations§

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere 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 Twhere 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<T> for T

§

type Output = T

Should always be Self
source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for Twhere 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 Twhere 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.
source§

impl<C> ValidatePublicKey for Cwhere C: Curve + ProjectiveArithmetic, <C as AffineArithmetic>::AffinePoint: FromEncodedPoint<C> + ToEncodedPoint<C>, <<C as Curve>::UInt as ArrayEncoding>::ByteSize: ModulusSize,

source§

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

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