org.cryptimeleon.craco.sig

Interface MultiMessageStructurePreservingSignatureScheme

All Superinterfaces:

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

All Known Subinterfaces:

StructurePreservingSignatureEQScheme

All Known Implementing Classes:

SPSAGHO11SignatureScheme, SPSEQSignatureScheme, SPSFSP2SignatureScheme, SPSGroth15SignatureScheme, SPSKPW15SignatureScheme, SPSPOSSignatureScheme, SPSXSIGSignatureScheme

public interface MultiMessageStructurePreservingSignatureScheme
extends StandardMultiMessageSignatureScheme

A structure-preserving signature scheme

This is a special case of a multi-message signature scheme because SPS supports signing group elements

See paper [1] for the definition of SPS.

[1] Abe, Masayuki and Fuchsbauer, Georg and Groth, Jens and Haralambiev, Kristiyan and Ohkubo, Miyako "Structure-preserving signatures and commitments to group elements", in CRYPTO 2010, https://www.iacr.org/archive/crypto2010/62230210/62230210.pdf, 2010.

Method Summary

Modifier and Type	Method and Description
default Signature	sign(SigningKey secretKey, org.cryptimeleon.math.structures.groups.GroupElement... groupElements) Signs multiple group elements as a single unit.
default Signature	sign(SigningKey secretKey, org.cryptimeleon.math.structures.groups.cartesian.GroupElementVector groupElements) Signs the given vector of group elements.
default java.lang.Boolean	verify(VerificationKey verificationKey, Signature signature, org.cryptimeleon.math.structures.groups.GroupElement... groupElements) Verifies a signature for multiple messages.
default java.lang.Boolean	verify(VerificationKey verificationKey, Signature signature, org.cryptimeleon.math.structures.groups.cartesian.GroupElementVector groupElements) Verifies a signature for a vector of group elements.

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

generateKeyPair, generateKeyPair

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

sign, sign, verify, verify

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

getMaxNumberOfBytesForMapToPlaintext, mapToPlaintext, mapToPlaintext, restoreFromRepresentation, restorePlainText, restoreSignature, restoreSigningKey, restoreVerificationKey, sign, sign, verify, verify

Methods inherited from interface org.cryptimeleon.math.serialization.Representable

getRepresentation

Method Detail

sign

default Signature sign(SigningKey secretKey,
                       org.cryptimeleon.math.structures.groups.GroupElement... groupElements)

Signs multiple group elements as a single unit.

Parameters:

secretKey - key to sign with

groupElements - group elements to sign

Returns:

signature over the given plaintexts

verify

default java.lang.Boolean verify(VerificationKey verificationKey,
                                 Signature signature,
                                 org.cryptimeleon.math.structures.groups.GroupElement... groupElements)

Verifies a signature for multiple messages.

Parameters:

verificationKey - key to use for verification

signature - signature to verify

groupElements - group elements to verify signature for

Returns:

true if verification succeeds, else false

sign

default Signature sign(SigningKey secretKey,
                       org.cryptimeleon.math.structures.groups.cartesian.GroupElementVector groupElements)

Signs the given vector of group elements.

Parameters:

secretKey - key to sign with

groupElements - vector of group elements to sign

Returns:

signature over the given vector of plaintexts

verify

default java.lang.Boolean verify(VerificationKey verificationKey,
                                 Signature signature,
                                 org.cryptimeleon.math.structures.groups.cartesian.GroupElementVector groupElements)

Verifies a signature for a vector of group elements.

Parameters:

verificationKey - key to use for verification

signature - signature to verify

groupElements - vector of group elements to verify signature for

Returns:

true if verification succeeds, else false