org.cryptimeleon.craco.protocols.arguments.sigma.instance

Class SigmaProtocolVerifierInstance

java.lang.Object

org.cryptimeleon.craco.protocols.arguments.sigma.instance.SigmaProtocolInstance

org.cryptimeleon.craco.protocols.arguments.sigma.instance.SigmaProtocolVerifierInstance

All Implemented Interfaces:

InteractiveArgumentInstance, TwoPartyProtocolInstance

public class SigmaProtocolVerifierInstance
extends SigmaProtocolInstance

Field Summary

Fields

Modifier and Type	Field and Description
protected org.cryptimeleon.craco.protocols.arguments.sigma.instance.SigmaProtocolVerifierInstance.State	state

Fields inherited from class org.cryptimeleon.craco.protocols.arguments.sigma.instance.SigmaProtocolInstance

announcement, announcementSecret, challenge, commonInput, protocol, response, secretInput

Constructor Summary

Constructors

Constructor and Description
SigmaProtocolVerifierInstance(SigmaProtocol protocol, CommonInput commonInput)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getRoleName()
boolean	hasTerminated() Returns true if the protocol is done, meaning no further calls to nextMessage() are necessary.
org.cryptimeleon.math.serialization.Representation	nextMessage(org.cryptimeleon.math.serialization.Representation received) Outputs the next message this protocol instance demands to be sent to the other party.

Methods inherited from class org.cryptimeleon.craco.protocols.arguments.sigma.instance.SigmaProtocolInstance

getProtocol, isAccepting

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.cryptimeleon.craco.protocols.TwoPartyProtocolInstance

sendsFirstMessage

Field Detail

state

protected org.cryptimeleon.craco.protocols.arguments.sigma.instance.SigmaProtocolVerifierInstance.State state

Constructor Detail

SigmaProtocolVerifierInstance

public SigmaProtocolVerifierInstance(SigmaProtocol protocol,
                                     CommonInput commonInput)

Method Detail

getRoleName

public java.lang.String getRoleName()

nextMessage

public org.cryptimeleon.math.serialization.Representation nextMessage(org.cryptimeleon.math.serialization.Representation received)

Description copied from interface: TwoPartyProtocolInstance

Outputs the next message this protocol instance demands to be sent to the other party.

Parameters:

received - the message recently received from the other party or null if this is the first round and no messages have been sent yet

Returns:

the message m to be sent to the other party (who then calls nextMessage(m) on their end). If nextMessage returns null, the protocol has terminated

hasTerminated

public boolean hasTerminated()

Description copied from interface: TwoPartyProtocolInstance

Returns true if the protocol is done, meaning no further calls to nextMessage() are necessary.