Interface for public-key signature verifiers. More...

Inheritance diagram for PK_Verifier:

Public Member Functions
virtual PK_MessageAccumulator *	NewVerificationAccumulator () const =0
	Create a new HashTransformation to accumulate the message to be verified. More...

virtual void	InputSignature (PK_MessageAccumulator &messageAccumulator, const byte *signature, size_t signatureLength) const =0
	Input signature into a message accumulator. More...

virtual bool	Verify (PK_MessageAccumulator *messageAccumulator) const
	Check whether messageAccumulator contains a valid signature and message. More...

virtual bool	VerifyAndRestart (PK_MessageAccumulator &messageAccumulator) const =0
	Check whether messageAccumulator contains a valid signature and message, and restart messageAccumulator. More...

virtual bool	VerifyMessage (const byte message, size_t messageLen, const byte signature, size_t signatureLen) const
	Check whether input signature is a valid signature for input message. More...

virtual DecodingResult	Recover (byte recoveredMessage, PK_MessageAccumulator messageAccumulator) const
	Recover a message from its signature. More...

virtual DecodingResult	RecoverAndRestart (byte *recoveredMessage, PK_MessageAccumulator &messageAccumulator) const =0
	Recover a message from its signature. More...

virtual DecodingResult	RecoverMessage (byte recoveredMessage, const byte nonrecoverableMessage, size_t nonrecoverableMessageLength, const byte *signature, size_t signatureLength) const
	Recover a message from its signature. More...

Public Member Functions inherited from PK_SignatureScheme
virtual size_t	SignatureLength () const =0
	Provides the signature length if it only depends on the key. More...

virtual size_t	MaxSignatureLength (size_t recoverablePartLength=0) const
	Provides the maximum signature length produced given the length of the recoverable message part. More...

virtual size_t	MaxRecoverableLength () const =0
	Provides the length of longest message that can be recovered. More...

virtual size_t	MaxRecoverableLengthFromSignatureLength (size_t signatureLength) const =0
	Provides the length of longest message that can be recovered from a signature of given length. More...

virtual bool	IsProbabilistic () const =0
	Determines whether a signature scheme requires a random number generator. More...

virtual bool	AllowNonrecoverablePart () const =0
	Determines whether the non-recoverable message part can be signed. More...

virtual bool	SignatureUpfront () const
	Determines whether the signature must be input before the message. More...

virtual bool	RecoverablePartFirst () const =0
	Determines whether the recoverable part must be input before the non-recoverable part. More...

Public Member Functions inherited from PublicKeyAlgorithm
CryptoMaterial &	AccessMaterial ()
	Retrieves a reference to a Public Key. More...

const CryptoMaterial &	GetMaterial () const
	Retrieves a reference to a Public Key. More...

virtual PublicKey &	AccessPublicKey ()=0
	Retrieves a reference to a Public Key. More...

virtual const PublicKey &	GetPublicKey () const
	Retrieves a reference to a Public Key. More...

Public Member Functions inherited from Algorithm
	Algorithm (bool checkSelfTestStatus=true)
	Interface for all crypto algorithms. More...

virtual std::string	AlgorithmName () const
	Provides the name of this algorithm. More...

virtual std::string	AlgorithmProvider () const
	Retrieve the provider of this algorithm. More...

Public Member Functions inherited from Clonable
virtual Clonable *	Clone () const
	Copies this object. More...

Detailed Description

Interface for public-key signature verifiers.

The Recover* functions throw NotImplemented if the signature scheme does not support message recovery.

The Verify* functions throw InvalidDataFormat if the scheme does support message recovery and the signature contains a non-empty recoverable message part. The Recover* functions should be used in that case.

Definition at line 2945 of file cryptlib.h.

Member Function Documentation

◆ NewVerificationAccumulator()

virtual PK_MessageAccumulator* PK_Verifier::NewVerificationAccumulator ( ) const

pure virtual

Create a new HashTransformation to accumulate the message to be verified.

Returns: a pointer to a PK_MessageAccumulator

NewVerificationAccumulator() can be used with all verification methods. Verify() will automatically delete the accumulator pointer. The caller is responsible for deletion if a method is called that takes a reference.

Implemented in ed25519Verifier.

◆ InputSignature()

virtual void PK_Verifier::InputSignature	(	PK_MessageAccumulator &	messageAccumulator,
		const byte *	signature,
		size_t	signatureLength
	)		const

pure virtual

Input signature into a message accumulator.

Parameters

messageAccumulator	a pointer to a PK_MessageAccumulator derived class
signature	the signature on the message
signatureLength	the size of the signature

Implemented in ed25519Verifier, DL_VerifierBase< T >, and TF_VerifierBase.

◆ Verify()

virtual bool PK_Verifier::Verify ( PK_MessageAccumulator * messageAccumulator ) const

virtual

Check whether messageAccumulator contains a valid signature and message.

Parameters

messageAccumulator a pointer to a PK_MessageAccumulator derived class

Returns: true if the signature is valid, false otherwise

Verify() deletes the messageAccumulator, even if an exception is thrown.

◆ VerifyAndRestart()

virtual bool PK_Verifier::VerifyAndRestart ( PK_MessageAccumulator & messageAccumulator ) const

pure virtual

Check whether messageAccumulator contains a valid signature and message, and restart messageAccumulator.

Parameters

messageAccumulator a reference to a PK_MessageAccumulator derived class

Returns: true if the signature is valid, false otherwise

VerifyAndRestart() restarts the messageAccumulator

Implemented in ed25519Verifier, DL_VerifierBase< T >, and TF_VerifierBase.

◆ VerifyMessage()

virtual bool PK_Verifier::VerifyMessage	(	const byte *	message,
		size_t	messageLen,
		const byte *	signature,
		size_t	signatureLen
	)		const

virtual

Check whether input signature is a valid signature for input message.

Parameters

message	a pointer to the message to be verified
messageLen	the size of the message
signature	a pointer to the signature over the message
signatureLen	the size of the signature

Returns: true if the signature is valid, false otherwise

◆ Recover()

virtual DecodingResult PK_Verifier::Recover	(	byte *	recoveredMessage,
		PK_MessageAccumulator *	messageAccumulator
	)		const

virtual

Recover a message from its signature.

Parameters

recoveredMessage	a pointer to the recoverable message part to be verified
messageAccumulator	a pointer to a PK_MessageAccumulator derived class

Returns: the result of the verification operation

Recover() deletes the messageAccumulator, even if an exception is thrown.

Precondition: COUNTOF(recoveredMessage) == MaxRecoverableLengthFromSignatureLength(signatureLength)

◆ RecoverAndRestart()

virtual DecodingResult PK_Verifier::RecoverAndRestart	(	byte *	recoveredMessage,
		PK_MessageAccumulator &	messageAccumulator
	)		const

pure virtual

Recover a message from its signature.

Parameters

recoveredMessage	a pointer to the recoverable message part to be verified
messageAccumulator	a pointer to a PK_MessageAccumulator derived class

Returns: the result of the verification operation

RecoverAndRestart() restarts the messageAccumulator

Precondition: COUNTOF(recoveredMessage) == MaxRecoverableLengthFromSignatureLength(signatureLength)

Implemented in TF_VerifierBase, ed25519Verifier, and DL_VerifierBase< T >.

◆ RecoverMessage()

virtual DecodingResult PK_Verifier::RecoverMessage	(	byte *	recoveredMessage,
		const byte *	nonrecoverableMessage,
		size_t	nonrecoverableMessageLength,
		const byte *	signature,
		size_t	signatureLength
	)		const

virtual

Recover a message from its signature.

Parameters

recoveredMessage	a pointer for the recovered message
nonrecoverableMessage	a pointer to the non-recoverable message part to be signed
nonrecoverableMessageLength	the size of the non-recoverable message part
signature	the signature on the message
signatureLength	the size of the signature

Returns: the result of the verification operation

Precondition: COUNTOF(recoveredMessage) == MaxRecoverableLengthFromSignatureLength(signatureLength)

The documentation for this class was generated from the following file:

cryptlib.h

Public Member Functions

Detailed Description

Member Function Documentation

◆ NewVerificationAccumulator()

◆ InputSignature()

◆ Verify()

◆ VerifyAndRestart()

◆ VerifyMessage()

◆ Recover()

◆ RecoverAndRestart()

◆ RecoverMessage()