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<Secp256k1> for Secp256k1
impl PartialEq<Secp256k1> for Secp256k1
source§impl PartialOrd<Secp256k1> for Secp256k1
impl PartialOrd<Secp256k1> 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>where
K: AsRef<Self> + Invert<Output = CtOption<Self>>,
fn try_sign_prehashed<K>( &self, k: K, z: &FieldBytes ) -> Result<(Signature, Option<RecoveryId>), Error>where K: AsRef<Self> + Invert<Output = CtOption<Self>>,
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: &GenericArray<u8, <C as Curve>::FieldBytesSize>,
sig: &Signature<C>
) -> Result<(), Error>
fn verify_prehashed( &self, z: &GenericArray<u8, <C as Curve>::FieldBytesSize>, sig: &Signature<C> ) -> Result<(), Error>
Verify the prehashed message against the provided 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§
§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.