pub struct Secp256k1;
Expand description
secp256k1 (K-256) elliptic curve.
Specified in Certicom’s SECG in “SEC 2: Recommended Elliptic Curve Domain Parameters”:
https://www.secg.org/sec2-v2.pdf
The curve’s equation is y² = x³ + 7
over a ~256-bit prime field.
It’s primarily notable for usage in Bitcoin and other cryptocurrencies, particularly in conjunction with the Elliptic Curve Digital Signature Algorithm (ECDSA).
Trait Implementations§
source§impl CurveArithmetic for Secp256k1
Available on crate feature arithmetic
only.
impl CurveArithmetic for Secp256k1
Available on crate feature
arithmetic
only.§type AffinePoint = AffinePoint
type AffinePoint = AffinePoint
Elliptic curve point in affine coordinates.
§type ProjectivePoint = ProjectivePoint
type ProjectivePoint = ProjectivePoint
Elliptic curve point in projective coordinates. Read more
source§impl DecompactPoint<Secp256k1> for AffinePoint
Available on crate feature arithmetic
only.
impl DecompactPoint<Secp256k1> for AffinePoint
Available on crate feature
arithmetic
only.Decompaction using Taproot conventions as described in BIP 340.
source§fn decompact(x_bytes: &FieldBytes) -> CtOption<Self>
fn decompact(x_bytes: &FieldBytes) -> CtOption<Self>
Attempt to decompact an elliptic curve point
source§impl DecompressPoint<Secp256k1> for AffinePoint
Available on crate feature arithmetic
only.
impl DecompressPoint<Secp256k1> for AffinePoint
Available on crate feature
arithmetic
only.source§fn decompress(x_bytes: &FieldBytes, y_is_odd: Choice) -> CtOption<Self>
fn decompress(x_bytes: &FieldBytes, y_is_odd: Choice) -> CtOption<Self>
Attempt to decompress an elliptic curve point.
source§impl DigestPrimitive for Secp256k1
Available on crate features ecdsa-core
and sha256
only.
impl DigestPrimitive for Secp256k1
Available on crate features
ecdsa-core
and sha256
only.source§impl FieldBytesEncoding<Secp256k1> for U256
impl FieldBytesEncoding<Secp256k1> for U256
source§fn decode_field_bytes(field_bytes: &FieldBytes) -> Self
fn decode_field_bytes(field_bytes: &FieldBytes) -> Self
Decode unsigned integer from serialized field element. Read more
source§fn encode_field_bytes(&self) -> FieldBytes
fn encode_field_bytes(&self) -> FieldBytes
Encode unsigned integer into serialized field element. Read more
source§impl FromEncodedPoint<Secp256k1> for AffinePoint
Available on crate feature arithmetic
only.
impl FromEncodedPoint<Secp256k1> for AffinePoint
Available on crate feature
arithmetic
only.source§fn from_encoded_point(encoded_point: &EncodedPoint) -> CtOption<Self>
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 secp256k1 curve.
source§impl FromEncodedPoint<Secp256k1> for ProjectivePoint
Available on crate feature arithmetic
only.
impl FromEncodedPoint<Secp256k1> for ProjectivePoint
Available on crate feature
arithmetic
only.source§fn from_encoded_point(p: &EncodedPoint) -> CtOption<Self>
fn from_encoded_point(p: &EncodedPoint) -> CtOption<Self>
Deserialize the type this trait is impl’d on from an
EncodedPoint
.source§impl Ord for Secp256k1
impl Ord for Secp256k1
source§impl PartialEq for Secp256k1
impl PartialEq for Secp256k1
source§impl PartialOrd for Secp256k1
impl PartialOrd for Secp256k1
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
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 moresource§impl PointCompression for Secp256k1
impl PointCompression for Secp256k1
source§const COMPRESS_POINTS: bool = true
const COMPRESS_POINTS: bool = true
secp256k1 points are typically compressed.
source§impl SignPrimitive<Secp256k1> for Scalar
Available on crate features ecdsa-core
and ecdsa
only.
impl SignPrimitive<Secp256k1> for Scalar
Available on crate features
ecdsa-core
and ecdsa
only.source§fn try_sign_prehashed<K>(
&self,
k: K,
z: &FieldBytes
) -> Result<(Signature, Option<RecoveryId>), Error>
fn try_sign_prehashed<K>( &self, k: K, z: &FieldBytes ) -> Result<(Signature, Option<RecoveryId>), Error>
Try to sign the prehashed message. Read more
source§fn try_sign_prehashed_rfc6979<D>(
&self,
z: &GenericArray<u8, <C as Curve>::FieldBytesSize>,
ad: &[u8]
) -> Result<(Signature<C>, Option<RecoveryId>), Error>where
Self: From<ScalarPrimitive<C>> + Invert<Output = CtOption<Self>>,
D: Digest<OutputSize = <C as Curve>::FieldBytesSize> + BlockSizeUser + FixedOutput + FixedOutputReset,
fn try_sign_prehashed_rfc6979<D>(
&self,
z: &GenericArray<u8, <C as Curve>::FieldBytesSize>,
ad: &[u8]
) -> Result<(Signature<C>, Option<RecoveryId>), Error>where
Self: From<ScalarPrimitive<C>> + Invert<Output = CtOption<Self>>,
D: Digest<OutputSize = <C as Curve>::FieldBytesSize> + BlockSizeUser + FixedOutput + FixedOutputReset,
Available on crate feature
rfc6979
only.source§impl ToEncodedPoint<Secp256k1> for AffinePoint
Available on crate feature arithmetic
only.
impl ToEncodedPoint<Secp256k1> for AffinePoint
Available on crate feature
arithmetic
only.source§fn to_encoded_point(&self, compress: bool) -> EncodedPoint
fn to_encoded_point(&self, compress: bool) -> EncodedPoint
Serialize this value as a SEC1
EncodedPoint
, optionally applying
point compression.source§impl ToEncodedPoint<Secp256k1> for ProjectivePoint
Available on crate feature arithmetic
only.
impl ToEncodedPoint<Secp256k1> for ProjectivePoint
Available on crate feature
arithmetic
only.source§fn to_encoded_point(&self, compress: bool) -> EncodedPoint
fn to_encoded_point(&self, compress: bool) -> EncodedPoint
Serialize this value as a SEC1
EncodedPoint
, optionally applying
point compression.source§impl VerifyPrimitive<Secp256k1> for AffinePoint
Available on crate features ecdsa-core
and ecdsa
only.
impl VerifyPrimitive<Secp256k1> for AffinePoint
Available on crate features
ecdsa-core
and ecdsa
only.source§fn verify_prehashed(&self, z: &FieldBytes, sig: &Signature) -> Result<(), Error>
fn verify_prehashed(&self, z: &FieldBytes, sig: &Signature) -> Result<(), Error>
Verify the prehashed message against the provided ECDSA signature. Read more
source§fn verify_digest<D>(
&self,
msg_digest: D,
sig: &Signature<C>
) -> Result<(), Error>where
D: FixedOutput<OutputSize = <C as Curve>::FieldBytesSize>,
fn verify_digest<D>(
&self,
msg_digest: D,
sig: &Signature<C>
) -> Result<(), Error>where
D: FixedOutput<OutputSize = <C as Curve>::FieldBytesSize>,
Available on crate feature
digest
only.Verify message digest against the provided signature.
impl Copy for Secp256k1
impl Eq for Secp256k1
impl PrimeCurve for Secp256k1
impl StructuralEq for Secp256k1
impl StructuralPartialEq for Secp256k1
Auto Trait Implementations§
impl RefUnwindSafe for Secp256k1
impl Send for Secp256k1
impl Sync for Secp256k1
impl Unpin for Secp256k1
impl UnwindSafe for Secp256k1
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> DynAssociatedOid for Twhere
T: AssociatedOid,
impl<T> DynAssociatedOid for Twhere
T: AssociatedOid,
source§impl<C> ValidatePublicKey for Cwhere
C: CurveArithmetic,
<C as CurveArithmetic>::AffinePoint: FromEncodedPoint<C> + ToEncodedPoint<C>,
<C as Curve>::FieldBytesSize: ModulusSize,
impl<C> ValidatePublicKey for Cwhere
C: CurveArithmetic,
<C as CurveArithmetic>::AffinePoint: FromEncodedPoint<C> + ToEncodedPoint<C>,
<C as Curve>::FieldBytesSize: ModulusSize,
source§fn validate_public_key(
secret_key: &SecretKey<C>,
public_key: &EncodedPoint<<C as Curve>::FieldBytesSize>
) -> Result<(), Error>
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.