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.
PROVER_ROLE, VERIFIER_ROLE| Constructor and Description |
|---|
DelegateProtocol() |
checkTranscriptAsExpression, compressTranscript, debugProof, decompressTranscript, generateAnnouncement, generateAnnouncementSecret, generateResponse, generateSimulatedTranscript, getChallengeSpace, restoreAnnouncement, restoreChallenge, restoreResponseclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitcheckTranscript, checkTranscript, generateChallenge, getFirstMessageRole, getProverInstance, getVerifierInstance, instantiateProtocol, restoreTranscriptgetRoleNames, instantiateProver, instantiateVerifierrunProtocolLocallyprotected SendThenDelegateFragment.ProverSpec provideProverSpec(CommonInput commonInput, SecretInput secretInput, SendThenDelegateFragment.ProverSpecBuilder builder)
SendThenDelegateProtocolSendThenDelegateProtocol.provideSubprotocolSpec(CommonInput, SendFirstValue, SendThenDelegateFragment.SubprotocolSpecBuilder)).protected abstract SendThenDelegateFragment.ProverSpec provideProverSpecWithNoSendFirst(CommonInput commonInput, SecretInput secretInput, SendThenDelegateFragment.ProverSpecBuilder builder)
protected SendFirstValue restoreSendFirstValue(CommonInput commonInput, org.cryptimeleon.math.serialization.Representation repr)
restoreSendFirstValue in class SendThenDelegateProtocolprotected SendFirstValue simulateSendFirstValue(CommonInput commonInput)
simulateSendFirstValue in class SendThenDelegateProtocolSendThenDelegateFragment.simulateSendFirstValue()protected SendThenDelegateFragment.SubprotocolSpec provideSubprotocolSpec(CommonInput commonInput, SendFirstValue sendFirstValue, SendThenDelegateFragment.SubprotocolSpecBuilder builder)
protected abstract SendThenDelegateFragment.SubprotocolSpec provideSubprotocolSpec(CommonInput commonInput, SendThenDelegateFragment.SubprotocolSpecBuilder builder)
protected org.cryptimeleon.math.expressions.bool.BooleanExpression provideAdditionalCheck(CommonInput commonInput, SendFirstValue sendFirstValue)
provideAdditionalCheck in class SendThenDelegateProtocolSendThenDelegateFragment.provideAdditionalCheck(SendFirstValue)