org.cryptimeleon.craco.protocols.arguments.sigma.schnorr

Class DelegateProtocol

java.lang.Object

org.cryptimeleon.craco.protocols.arguments.sigma.schnorr.SendThenDelegateProtocol

org.cryptimeleon.craco.protocols.arguments.sigma.schnorr.DelegateProtocol

All Implemented Interfaces:

InteractiveArgument, SigmaProtocol, TwoPartyProtocol

Direct Known Subclasses:

AdHocSchnorrProof, PSBlindSignProtocol.BlindSignProtocolInstance.OpeningProof

public abstract class DelegateProtocol
extends SendThenDelegateProtocol

A SigmaProtocol that sets up some (shared) variables and then runs subprotocols to prove something about these variables.

This is a a special case of a SendThenDelegateProtocol in which the SendFirstValue is empty.

Field Summary

Fields inherited from interface org.cryptimeleon.craco.protocols.arguments.InteractiveArgument

PROVER_ROLE, VERIFIER_ROLE

Constructor Summary

Constructors

Constructor and Description
DelegateProtocol()

Method Summary

Modifier and Type	Method and Description
protected org.cryptimeleon.math.expressions.bool.BooleanExpression	provideAdditionalCheck(CommonInput commonInput, SendFirstValue sendFirstValue)
protected SendThenDelegateFragment.ProverSpec	provideProverSpec(CommonInput commonInput, SecretInput secretInput, SendThenDelegateFragment.ProverSpecBuilder builder) Run by the prover to set up (1) the sendFirstValue and (2) witness values for variables this fragment proves knowledge of itself (i.e.
protected abstract SendThenDelegateFragment.ProverSpec	provideProverSpecWithNoSendFirst(CommonInput commonInput, SecretInput secretInput, SendThenDelegateFragment.ProverSpecBuilder builder)
protected SendThenDelegateFragment.SubprotocolSpec	provideSubprotocolSpec(CommonInput commonInput, SendFirstValue sendFirstValue, SendThenDelegateFragment.SubprotocolSpecBuilder builder)
protected abstract SendThenDelegateFragment.SubprotocolSpec	provideSubprotocolSpec(CommonInput commonInput, SendThenDelegateFragment.SubprotocolSpecBuilder builder)
protected SendFirstValue	restoreSendFirstValue(CommonInput commonInput, org.cryptimeleon.math.serialization.Representation repr)
protected SendFirstValue	simulateSendFirstValue(CommonInput commonInput)

Methods inherited from class org.cryptimeleon.craco.protocols.arguments.sigma.schnorr.SendThenDelegateProtocol

checkTranscriptAsExpression, compressTranscript, debugProof, decompressTranscript, generateAnnouncement, generateAnnouncementSecret, generateResponse, generateSimulatedTranscript, getChallengeSpace, restoreAnnouncement, restoreChallenge, restoreResponse

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.arguments.sigma.SigmaProtocol

checkTranscript, checkTranscript, generateChallenge, getFirstMessageRole, getProverInstance, getVerifierInstance, instantiateProtocol, restoreTranscript

Methods inherited from interface org.cryptimeleon.craco.protocols.arguments.InteractiveArgument

getRoleNames, instantiateProver, instantiateVerifier

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

runProtocolLocally

Constructor Detail

DelegateProtocol

public DelegateProtocol()

Method Detail

provideProverSpec

protected SendThenDelegateFragment.ProverSpec provideProverSpec(CommonInput commonInput,
                                                                SecretInput secretInput,
                                                                SendThenDelegateFragment.ProverSpecBuilder builder)

Description copied from class: SendThenDelegateProtocol

Run by the prover to set up (1) the sendFirstValue and (2) witness values for variables this fragment proves knowledge of itself (i.e. those specified in SendThenDelegateProtocol.provideSubprotocolSpec(CommonInput, SendFirstValue, SendThenDelegateFragment.SubprotocolSpecBuilder)).

Specified by:

provideProverSpec in class SendThenDelegateProtocol

See Also:

SendThenDelegateFragment.provideProverSpec(SchnorrVariableAssignment, SendThenDelegateFragment.ProverSpecBuilder)

provideProverSpecWithNoSendFirst

protected abstract SendThenDelegateFragment.ProverSpec provideProverSpecWithNoSendFirst(CommonInput commonInput,
                                                                                        SecretInput secretInput,
                                                                                        SendThenDelegateFragment.ProverSpecBuilder builder)

See Also:

DelegateFragment.provideProverSpecWithNoSendFirst(SchnorrVariableAssignment, SendThenDelegateFragment.ProverSpecBuilder)

restoreSendFirstValue

protected SendFirstValue restoreSendFirstValue(CommonInput commonInput,
                                               org.cryptimeleon.math.serialization.Representation repr)

Specified by:

restoreSendFirstValue in class SendThenDelegateProtocol

simulateSendFirstValue

protected SendFirstValue simulateSendFirstValue(CommonInput commonInput)

Specified by:

simulateSendFirstValue in class SendThenDelegateProtocol

See Also:

SendThenDelegateFragment.simulateSendFirstValue()

provideSubprotocolSpec

protected SendThenDelegateFragment.SubprotocolSpec provideSubprotocolSpec(CommonInput commonInput,
                                                                          SendFirstValue sendFirstValue,
                                                                          SendThenDelegateFragment.SubprotocolSpecBuilder builder)

Specified by:

provideSubprotocolSpec in class SendThenDelegateProtocol

See Also:

SendThenDelegateFragment.provideSubprotocolSpec(SendFirstValue, SendThenDelegateFragment.SubprotocolSpecBuilder)

provideSubprotocolSpec

protected abstract SendThenDelegateFragment.SubprotocolSpec provideSubprotocolSpec(CommonInput commonInput,
                                                                                   SendThenDelegateFragment.SubprotocolSpecBuilder builder)

See Also:

DelegateFragment.provideSubprotocolSpec(SendThenDelegateFragment.SubprotocolSpecBuilder)

provideAdditionalCheck

protected org.cryptimeleon.math.expressions.bool.BooleanExpression provideAdditionalCheck(CommonInput commonInput,
                                                                                          SendFirstValue sendFirstValue)

Specified by:

provideAdditionalCheck in class SendThenDelegateProtocol

See Also:

SendThenDelegateFragment.provideAdditionalCheck(SendFirstValue)