org.cryptimeleon.craco.sig.sps

Interface SPSMessageSpaceVerifier

All Known Implementing Classes:

SPSPOSSignatureScheme, SPSXSIGSignatureScheme, TCAKOT15CommitmentScheme

public interface SPSMessageSpaceVerifier

Interface to define a message check for SPSSchemes. Provides a default implementation for schemes that simply sign a vector of group elements. May be overridden for schemes with more complicated message spaces

Method Summary

Modifier and Type	Method and Description
default void	doMessageChecks(PlainText plainText, int expectedMessageLength, org.cryptimeleon.math.structures.groups.Group expectedGroup) Checks if the given plainText matches the structure expected by the scheme and throws detailed exception if the plainText fails any check.

Method Detail

doMessageChecks

default void doMessageChecks(PlainText plainText,
                             int expectedMessageLength,
                             org.cryptimeleon.math.structures.groups.Group expectedGroup)
                      throws java.lang.IllegalArgumentException

Checks if the given plainText matches the structure expected by the scheme and throws detailed exception if the plainText fails any check.

For this default implementation, the following properties of the parameter plainText are checked: * plainText is of type MessageBlock. * The amount of PlainTexts matches expectedMessageLength. * The elements stored in plainText are of type GroupElementPlainText. * The elements stored in said GroupElementPlainTexts are \in expectedGroup

Throws:

java.lang.IllegalArgumentException