org.cryptimeleon.craco.protocols.arguments

Interface InteractiveArgumentInstance

All Superinterfaces:

TwoPartyProtocolInstance

All Known Implementing Classes:

SigmaProtocolInstance, SigmaProtocolProverInstance, SigmaProtocolVerifierInstance

public interface InteractiveArgumentInstance
extends TwoPartyProtocolInstance

Method Summary

Modifier and Type	Method and Description
InteractiveArgument	getProtocol()
boolean	isAccepting() Returns true if the protocol is accepting (meaning the prover was able to convince the verifier).

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

getRoleName, hasTerminated, nextMessage, sendsFirstMessage

Method Detail

isAccepting

boolean isAccepting()

Returns true if the protocol is accepting (meaning the prover was able to convince the verifier). Called on the verifier after protocol has terminated.

getProtocol

InteractiveArgument getProtocol()

Specified by:

getProtocol in interface TwoPartyProtocolInstance