Struct VerifyingKey 

#[repr(C)]
pub struct VerifyingKey<C: IntrinsicCurve> { /* private fields */ }

Implementations

impl<C: IntrinsicCurve> VerifyingKey<C>

where C::Point: WeierstrassPoint + Group + FromCompressed<<<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate>, <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate: IntMod, for<'a> &'a <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate: Mul<&'a <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate, Output = <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate>,

pub fn new(public_key: PublicKey<C>) -> Self

pub fn from_sec1_bytes(bytes: &[u8]) -> Result<Self>

pub fn from_affine(point: <C as IntrinsicCurve>::Point) -> Result<Self>

pub fn to_sec1_bytes(&self, compress: bool) -> Vec<u8>

pub fn as_affine(&self) -> &<C as IntrinsicCurve>::Point

pub fn into_affine(self) -> <C as IntrinsicCurve>::Point

impl<C> VerifyingKey<C>

where C: IntrinsicCurve + PrimeCurve, C::Point: WeierstrassPoint + CyclicGroup + FromCompressed<<<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate> + VerifyCustomHook<C>, <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate: IntMod, C::Scalar: IntMod + Reduce, for<'a> &'a C::Point: Add<&'a C::Point, Output = C::Point>, for<'a> &'a <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate: Mul<&'a <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate, Output = <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate>, FieldBytesSize<C>: ModulusSize, SignatureSize<C>: ArrayLength<u8>,

pub fn recover_from_msg( msg: &[u8], signature: &Signature<C>, recovery_id: RecoveryId, ) -> Result<Self>

where C: DigestPrimitive,

Recover a VerifyingKey from the given message, signature, and RecoveryId.

The message is first hashed using this curve’s DigestPrimitive.

pub fn recover_from_digest<D>( msg_digest: D, signature: &Signature<C>, recovery_id: RecoveryId, ) -> Result<Self>

where D: Digest,

Recover a VerifyingKey from the given message Digest, signature, and RecoveryId.

pub fn recover_from_prehash( prehash: &[u8], signature: &Signature<C>, recovery_id: RecoveryId, ) -> Result<Self>

Recover a VerifyingKey from the given prehash of a message, the signature over that prehashed message, and a RecoveryId. Note that this function does not verify the signature with the recovered key.

impl<C> VerifyingKey<C>

where C: CurveArithmetic + IntrinsicCurve, <C as IntrinsicCurve>::Point: FromEncodedPoint<C> + ToEncodedPoint<C> + Default + ConditionallySelectable, FieldBytesSize<C>: ModulusSize,

pub fn from_encoded_point(public_key: &EncodedPoint<C>) -> Result<Self>

Initialize VerifyingKey from an EncodedPoint.

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

Serialize this VerifyingKey as a SEC1 EncodedPoint, optionally applying point compression.

impl<C> VerifyingKey<C>

where C: IntrinsicCurve + PrimeCurve, C::Point: WeierstrassPoint + CyclicGroup + FromCompressed<<<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate>, <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate: IntMod, C::Scalar: IntMod + Reduce,

pub fn recover_from_prehash_noverify( prehash: &[u8], sig: &[u8], recovery_id: RecoveryId, ) -> Result<Self>

where for<'a> &'a C::Point: Add<&'a C::Point, Output = C::Point>, for<'a> &'a <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate: Mul<&'a <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate, Output = <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate>,

Assumption

To use this implementation, the Signature<C>, Coordinate<C>, and FieldBytes<C> should all be encoded in big endian bytes. The implementation also assumes that Scalar::<C>::NUM_LIMBS <= FieldBytesSize::<C>::USIZE <= Coordinate::<C>::NUM_LIMBS.

Ref: https://github.com/RustCrypto/signatures/blob/85c984bcc9927c2ce70c7e15cbfe9c6936dd3521/ecdsa/src/recovery.rs#L297

Recovery does not require additional signature verification: https://github.com/RustCrypto/signatures/pull/831

Trait Implementations

impl<C: IntrinsicCurve> AsRef<<C as IntrinsicCurve>::Point> for VerifyingKey<C>

fn as_ref(&self) -> &<C as IntrinsicCurve>::Point

Converts this type into a shared reference of the (usually inferred) input type.

impl<C: Clone + IntrinsicCurve> Clone for VerifyingKey<C>

fn clone(&self) -> VerifyingKey<C>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C, D> DigestVerifier<D, Signature<C>> for VerifyingKey<C>

where C: PrimeCurve + IntrinsicCurve, D: Digest + FixedOutput<OutputSize = FieldBytesSize<C>>, SignatureSize<C>: ArrayLength<u8>, C::Point: WeierstrassPoint + CyclicGroup + FromCompressed<<<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate> + VerifyCustomHook<C>, <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate: IntMod, <C as IntrinsicCurve>::Scalar: IntMod + Reduce, for<'a> &'a C::Point: Add<&'a C::Point, Output = C::Point>, for<'a> &'a <C as IntrinsicCurve>::Scalar: DivUnsafe<&'a <C as IntrinsicCurve>::Scalar, Output = <C as IntrinsicCurve>::Scalar>,

fn verify_digest(&self, msg_digest: D, signature: &Signature<C>) -> Result<()>

Verify the signature against the given Digest output.

impl<C> PrehashVerifier<Signature<C>> for VerifyingKey<C>

where C: PrimeCurve + IntrinsicCurve, SignatureSize<C>: ArrayLength<u8>, C::Point: WeierstrassPoint + CyclicGroup + FromCompressed<<<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate> + VerifyCustomHook<C>, <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate: IntMod, C::Scalar: IntMod + Reduce, for<'a> &'a C::Point: Add<&'a C::Point, Output = C::Point>, for<'a> &'a <C as IntrinsicCurve>::Scalar: DivUnsafe<&'a <C as IntrinsicCurve>::Scalar, Output = <C as IntrinsicCurve>::Scalar>,

fn verify_prehash(&self, prehash: &[u8], signature: &Signature<C>) -> Result<()>

Use Self to verify that the provided signature for a given message prehash is authentic.

impl<C> Verifier<Signature<C>> for VerifyingKey<C>

where C: PrimeCurve + CurveArithmetic + DigestPrimitive + IntrinsicCurve, SignatureSize<C>: ArrayLength<u8>, C::Point: WeierstrassPoint + CyclicGroup + FromCompressed<<<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate> + VerifyCustomHook<C>, <<C as IntrinsicCurve>::Point as WeierstrassPoint>::Coordinate: IntMod, <C as IntrinsicCurve>::Scalar: IntMod + Reduce, for<'a> &'a C::Point: Add<&'a C::Point, Output = C::Point>, for<'a> &'a <C as IntrinsicCurve>::Scalar: DivUnsafe<&'a <C as IntrinsicCurve>::Scalar, Output = <C as IntrinsicCurve>::Scalar>,

fn verify(&self, msg: &[u8], signature: &Signature<C>) -> Result<()>

Use Self to verify that the provided signature for a given message bytestring is authentic.