org.cryptimeleon.craco.sig.sps.groth15

Class SPSGroth15SignatureScheme

java.lang.Object

org.cryptimeleon.craco.sig.sps.groth15.SPSGroth15SignatureScheme

All Implemented Interfaces:

MultiMessageSignatureScheme, MultiMessageStructurePreservingSignatureScheme, SignatureScheme, StandardMultiMessageSignatureScheme, StandardSignatureScheme, org.cryptimeleon.math.serialization.annotations.RepresentationRestorer, org.cryptimeleon.math.serialization.Representable, org.cryptimeleon.math.serialization.StandaloneRepresentable

public class SPSGroth15SignatureScheme
extends java.lang.Object
implements MultiMessageStructurePreservingSignatureScheme

Signature scheme that was originally presented in [1] by Groth for signing matrices. This is the simplified version for vectors of messages from G_1 or G_2 as presented in [2]. A version for messages in G_2 can be obtained by swapping membership of all elements and vice versa.

Bilinear map type: 3

[1] Groth, J.: Efficient fully structure-preserving signatures for large messages. ASIACRYPT 2015, Part I. LNCS, vol. 9452, pp. 239–259. Springer, Heidelberg https://eprint.iacr.org/2015/824.pdf

[2] Camenisch, J., Drijvers, M., Dubovitskaya, M.: Practical UC-secure delegatable credentials with attributes and their application to blockchain. ACM CCS 2017. pp. 683–699. ACM Press

Field Summary

Fields

Modifier and Type	Field and Description
protected SPSGroth15PublicParameters	pp Public parameters of the signature scheme.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SPSGroth15SignatureScheme()
	SPSGroth15SignatureScheme(org.cryptimeleon.math.serialization.Representation repr)
	SPSGroth15SignatureScheme(SPSGroth15PublicParameters pp)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object other)
SignatureKeyPair<SPSGroth15VerificationKey,SPSGroth15SigningKey>	generateKeyPair(int numberOfMessages) Generates a key pair for signing a block of numberOfMessages messages with each signature.
int	getMaxNumberOfBytesForMapToPlaintext() Returns the maximal number of bytes that can be mapped injectively to a PlainText by SignatureScheme.mapToPlaintext(byte[], SigningKey) and SignatureScheme.mapToPlaintext(byte[], VerificationKey).
SPSGroth15PublicParameters	getPp()
org.cryptimeleon.math.serialization.Representation	getRepresentation()
int	hashCode()
MessageBlock	mapToPlaintext(byte[] bytes, SigningKey sk) Provides an injective mapping of the given bytes to a PlainText usable with this scheme (which may be a MessageBlock).
MessageBlock	mapToPlaintext(byte[] bytes, VerificationKey pk) Provides an injective mapping of the given bytes to a PlainText usable with this scheme (which may be a MessageBlock).
MessageBlock	restorePlainText(org.cryptimeleon.math.serialization.Representation repr)
SPSGroth15Signature	restoreSignature(org.cryptimeleon.math.serialization.Representation repr)
SPSGroth15SigningKey	restoreSigningKey(org.cryptimeleon.math.serialization.Representation repr)
SPSGroth15VerificationKey	restoreVerificationKey(org.cryptimeleon.math.serialization.Representation repr)
Signature	sign(PlainText plainText, SigningKey secretKey) Signs the giving plaintext using the given signing key.
java.lang.Boolean	verify(PlainText plainText, Signature signature, VerificationKey publicKey) Verifies the given signature for the given plaintext using the given verification key.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.cryptimeleon.craco.sig.MultiMessageStructurePreservingSignatureScheme

sign, sign, verify, verify

Methods inherited from interface org.cryptimeleon.craco.sig.StandardMultiMessageSignatureScheme

generateKeyPair

Methods inherited from interface org.cryptimeleon.craco.sig.MultiMessageSignatureScheme

sign, sign, verify, verify

Methods inherited from interface org.cryptimeleon.craco.sig.SignatureScheme

restoreFromRepresentation, sign, verify

Field Detail

pp

protected SPSGroth15PublicParameters pp

Public parameters of the signature scheme.

Constructor Detail

SPSGroth15SignatureScheme

protected SPSGroth15SignatureScheme()

SPSGroth15SignatureScheme

public SPSGroth15SignatureScheme(SPSGroth15PublicParameters pp)

SPSGroth15SignatureScheme

public SPSGroth15SignatureScheme(org.cryptimeleon.math.serialization.Representation repr)

Method Detail

generateKeyPair

public SignatureKeyPair<SPSGroth15VerificationKey,SPSGroth15SigningKey> generateKeyPair(int numberOfMessages)

Description copied from interface: StandardMultiMessageSignatureScheme

Generates a key pair for signing a block of numberOfMessages messages with each signature.

Specified by:

generateKeyPair in interface StandardMultiMessageSignatureScheme

Parameters:

numberOfMessages - the number of messages as input to sign supported by this key pair

sign

public Signature sign(PlainText plainText,
                      SigningKey secretKey)

Description copied from interface: SignatureScheme

Signs the giving plaintext using the given signing key. The signing key should contain all information necessary to sign, therefore public key is not needed.

Specified by:

sign in interface SignatureScheme

Parameters:

plainText - the message to sign

secretKey - the secret signing key

Returns:

signature on plainText computed using secretKey

verify

public java.lang.Boolean verify(PlainText plainText,
                                Signature signature,
                                VerificationKey publicKey)

Description copied from interface: SignatureScheme

Verifies the given signature for the given plaintext using the given verification key.

Specified by:

verify in interface SignatureScheme

Parameters:

plainText - the plaintext the signature should validate against

signature - the signature to verify

publicKey - the verification key to verify with

Returns:

true if verification succeeds, false else

getRepresentation

public org.cryptimeleon.math.serialization.Representation getRepresentation()

Specified by:

getRepresentation in interface org.cryptimeleon.math.serialization.Representable

restorePlainText

public MessageBlock restorePlainText(org.cryptimeleon.math.serialization.Representation repr)

Specified by:

restorePlainText in interface SignatureScheme

restoreSignature

public SPSGroth15Signature restoreSignature(org.cryptimeleon.math.serialization.Representation repr)

Specified by:

restoreSignature in interface SignatureScheme

restoreSigningKey

public SPSGroth15SigningKey restoreSigningKey(org.cryptimeleon.math.serialization.Representation repr)

Specified by:

restoreSigningKey in interface SignatureScheme

restoreVerificationKey

public SPSGroth15VerificationKey restoreVerificationKey(org.cryptimeleon.math.serialization.Representation repr)

Specified by:

restoreVerificationKey in interface SignatureScheme

getPp

public SPSGroth15PublicParameters getPp()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

mapToPlaintext

public MessageBlock mapToPlaintext(byte[] bytes,
                                   VerificationKey pk)

Description copied from interface: SignatureScheme

Provides an injective mapping of the given bytes to a PlainText usable with this scheme (which may be a MessageBlock).

It only guarantees injectivity for arrays of the same length. Applications that would like to use mapToPlaintext with multiple different array lengths may want to devise a padding method and then only call mapToPlaintext with byte arrays of the same (padded) length.

The contract is that VerificationKey pk and SigningKey sk are compatible (in the sense that verify(m,sign(m, sk),pk) == true), then mapToPlaintext(bytes, pk)) equals mapToPlaintext(bytes, sk) for all bytes.

Specified by:

mapToPlaintext in interface SignatureScheme

Parameters:

bytes - bytes to be mapped to a PlainText

pk - the verification key for which the resulting PlainText should be valid (note that the plaintext space may differ for different verification keys).

Returns:

the corresponding plaintext

mapToPlaintext

public MessageBlock mapToPlaintext(byte[] bytes,
                                   SigningKey sk)

Description copied from interface: SignatureScheme

Provides an injective mapping of the given bytes to a PlainText usable with this scheme (which may be a MessageBlock).

It only guarantees injectivity for arrays of the same length. Applications that would like to use mapToPlaintext with multiple different array lengths may want to devise a padding method and then only call mapToPlaintext with byte arrays of the same (padded) length.

The contract is that VerificationKey pk and SigningKey sk are compatible (in the sense that verify(m,sign(m, sk),pk) == true), then mapToPlaintext(bytes, pk)) equals mapToPlaintext(bytes, sk) for all bytes.

Specified by:

mapToPlaintext in interface SignatureScheme

Parameters:

bytes - bytes to be mapped to a PlainText

sk - the signing key for which the resulting PlainText should be valid (note that the plaintext space may differ for different signing keys).

Returns:

the corresponding plaintext

getMaxNumberOfBytesForMapToPlaintext

public int getMaxNumberOfBytesForMapToPlaintext()

Description copied from interface: SignatureScheme

Returns the maximal number of bytes that can be mapped injectively to a PlainText by SignatureScheme.mapToPlaintext(byte[], SigningKey) and SignatureScheme.mapToPlaintext(byte[], VerificationKey).

As described in SignatureScheme.mapToPlaintext(byte[], org.cryptimeleon.craco.sig.VerificationKey) there might be no injective PlainText for some byte arrays, e.g. if the byte array is too long. Therefore, this method provides the maximal number of bytes that can be mapped injectively to a PlainText.

Specified by:

getMaxNumberOfBytesForMapToPlaintext in interface SignatureScheme

Returns:

maximal number of bytes that can be given to SignatureScheme.mapToPlaintext(byte[], org.cryptimeleon.craco.sig.VerificationKey).