org.cryptimeleon.craco.protocols.base

Class BaseProtocolInstance

java.lang.Object

org.cryptimeleon.craco.protocols.base.BaseProtocolInstance

All Implemented Interfaces:

TwoPartyProtocolInstance

Direct Known Subclasses:

PSBlindSignProtocol.BlindSignProtocolInstance

public abstract class BaseProtocolInstance
extends java.lang.Object
implements TwoPartyProtocolInstance

A minimal TwoPartyProtocolInstance implementation that allows for subprotocol execution.

Constructor Summary

Constructors

Constructor and Description
BaseProtocolInstance(BaseProtocol protocol, java.lang.String role)

Method Summary

Modifier and Type	Method and Description
protected abstract void	doRoundForFirstRole(int round)
protected abstract void	doRoundForSecondRole(int round)
TwoPartyProtocol	getProtocol()
java.lang.String	getRoleName()
boolean	hasTerminated() Returns true if the protocol is done, meaning no further calls to nextMessage() are necessary.
protected void	internalDoRound(int round)
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.
protected org.cryptimeleon.math.serialization.Representation	receive(java.lang.String id)
protected void	runArgumentConcurrently(java.lang.String instanceName, InteractiveArgumentInstance instance) Runs the subprotocol argument and has the verifier throw an exception if the proof fails
protected void	runSubprotocolConcurrently(java.lang.String instanceName, TwoPartyProtocolInstance instance)
protected void	send(java.lang.String id, org.cryptimeleon.math.serialization.Representation repr)
protected void	terminate()

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

Constructor Detail

BaseProtocolInstance

public BaseProtocolInstance(BaseProtocol protocol,
                            java.lang.String role)

Method Detail

getProtocol

public TwoPartyProtocol getProtocol()

Specified by:

getProtocol in interface TwoPartyProtocolInstance

runSubprotocolConcurrently

protected void runSubprotocolConcurrently(java.lang.String instanceName,
                                          TwoPartyProtocolInstance instance)

runArgumentConcurrently

protected void runArgumentConcurrently(java.lang.String instanceName,
                                       InteractiveArgumentInstance instance)

Runs the subprotocol argument and has the verifier throw an exception if the proof fails

Parameters:

instanceName - name for the protocol (same for prover and verifier)

instance - the instance to run

send

protected void send(java.lang.String id,
                    org.cryptimeleon.math.serialization.Representation repr)

receive

protected org.cryptimeleon.math.serialization.Representation receive(java.lang.String id)

terminate

protected void terminate()

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.

Specified by:

nextMessage in interface TwoPartyProtocolInstance

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

internalDoRound

protected void internalDoRound(int round)

doRoundForFirstRole

protected abstract void doRoundForFirstRole(int round)

doRoundForSecondRole

protected abstract void doRoundForSecondRole(int round)

hasTerminated

public boolean hasTerminated()

Description copied from interface: TwoPartyProtocolInstance

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

Specified by:

hasTerminated in interface TwoPartyProtocolInstance

getRoleName

public java.lang.String getRoleName()

Specified by:

getRoleName in interface TwoPartyProtocolInstance