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

Class SigmaProtocolInstance

java.lang.Object

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

All Implemented Interfaces:

InteractiveArgumentInstance, TwoPartyProtocolInstance

Direct Known Subclasses:

SigmaProtocolProverInstance, SigmaProtocolVerifierInstance

public abstract class SigmaProtocolInstance
extends java.lang.Object
implements InteractiveArgumentInstance

Field Summary

Fields

Modifier and Type	Field and Description
protected Announcement	announcement
protected AnnouncementSecret	announcementSecret
protected Challenge	challenge
protected CommonInput	commonInput
protected SigmaProtocol	protocol
protected Response	response
protected SecretInput	secretInput

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SigmaProtocolInstance(SigmaProtocol protocol, CommonInput commonInput)
protected	SigmaProtocolInstance(SigmaProtocol protocol, CommonInput commonInput, SecretInput secretInput)

Method Summary

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

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

getRoleName, hasTerminated, nextMessage, sendsFirstMessage

Field Detail

protocol

protected SigmaProtocol protocol

commonInput

protected CommonInput commonInput

secretInput

protected SecretInput secretInput

announcementSecret

protected AnnouncementSecret announcementSecret

announcement

protected Announcement announcement

challenge

protected Challenge challenge

response

protected Response response

Constructor Detail

SigmaProtocolInstance

protected SigmaProtocolInstance(SigmaProtocol protocol,
                                CommonInput commonInput,
                                SecretInput secretInput)

SigmaProtocolInstance

protected SigmaProtocolInstance(SigmaProtocol protocol,
                                CommonInput commonInput)

Method Detail

getProtocol

public SigmaProtocol getProtocol()

Specified by:

getProtocol in interface InteractiveArgumentInstance

Specified by:

getProtocol in interface TwoPartyProtocolInstance

isAccepting

public boolean isAccepting()

Description copied from interface: InteractiveArgumentInstance

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

Specified by:

isAccepting in interface InteractiveArgumentInstance