org.cryptimeleon.craco.protocols.arguments

Interface InteractiveArgument

All Superinterfaces:

TwoPartyProtocol

All Known Subinterfaces:

SigmaProtocol

All Known Implementing Classes:

AdHocSchnorrProof, AndProof, DamgardTechnique, DelegateProtocol, OrProof, ProofOfPartialKnowledge, PSBlindSignProtocol.BlindSignProtocolInstance.OpeningProof, SendThenDelegateProtocol

public interface InteractiveArgument
extends TwoPartyProtocol

An argument, that is a two-party protocol with roles "prover" and "verifier".

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	PROVER_ROLE
static java.lang.String	VERIFIER_ROLE

Method Summary

Modifier and Type	Method and Description
default void	debugProof(CommonInput commonInput, SecretInput secretInput) Checks if commonInput and secretInput are valid inputs for this protocol.
default java.lang.String[]	getRoleNames() Returns names for the roles of the participants in this protocol (for example, "prover" or "verifier" in the case of an InteractiveArgument).
InteractiveArgumentInstance	instantiateProtocol(java.lang.String role, CommonInput commonInput, SecretInput secretInput)
default InteractiveArgumentInstance	instantiateProver(CommonInput commonInput, SecretInput witness)
default InteractiveArgumentInstance	instantiateVerifier(CommonInput commonInput)

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

getFirstMessageRole, runProtocolLocally

Field Detail

PROVER_ROLE

static final java.lang.String PROVER_ROLE

See Also:

Constant Field Values

VERIFIER_ROLE

static final java.lang.String VERIFIER_ROLE

See Also:

Constant Field Values

Method Detail

getRoleNames

default java.lang.String[] getRoleNames()

Description copied from interface: TwoPartyProtocol

Returns names for the roles of the participants in this protocol (for example, "prover" or "verifier" in the case of an InteractiveArgument).

Specified by:

getRoleNames in interface TwoPartyProtocol

instantiateProtocol

InteractiveArgumentInstance instantiateProtocol(java.lang.String role,
                                                CommonInput commonInput,
                                                SecretInput secretInput)

Specified by:

instantiateProtocol in interface TwoPartyProtocol

instantiateProver

default InteractiveArgumentInstance instantiateProver(CommonInput commonInput,
                                                      SecretInput witness)

instantiateVerifier

default InteractiveArgumentInstance instantiateVerifier(CommonInput commonInput)

debugProof

default void debugProof(CommonInput commonInput,
                        SecretInput secretInput)

Checks if commonInput and secretInput are valid inputs for this protocol. Use for debugging. Throws an exception if something is wrong.