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

Class SendThenDelegateFragment.ProverSpecBuilder

java.lang.Object

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

Enclosing class:

SendThenDelegateFragment

public static class SendThenDelegateFragment.ProverSpecBuilder
extends java.lang.Object

Helps build SendThenDelegateFragment.ProverSpec objects to describe data contributed by the prover.

Constructor Summary

Constructors

Constructor and Description
ProverSpecBuilder(SendThenDelegateFragment fragment) Construct the builder

Method Summary

Modifier and Type	Method and Description
SendThenDelegateFragment.ProverSpec	build()
void	putWitnessValue(java.lang.String variableName, org.cryptimeleon.math.structures.groups.GroupElement witnessValue) Instructs the fragment to use the given value for the witness variable registered via addVariable() in SendThenDelegateFragment.SubprotocolSpecBuilder.
void	putWitnessValue(java.lang.String variableName, org.cryptimeleon.math.structures.rings.zn.Zn.ZnElement witnessValue) Instructs the fragment to use the given value for the witness variable registered via addVariable() in SendThenDelegateFragment.SubprotocolSpecBuilder.
void	setSendFirstValue(SendFirstValue sendFirstValue) Instructs the fragment to send the given value first to the verifier.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProverSpecBuilder

public ProverSpecBuilder(SendThenDelegateFragment fragment)

Construct the builder

Parameters:

fragment - the fragment this builder is supposed to build a spec for.

Method Detail

setSendFirstValue

public void setSendFirstValue(SendFirstValue sendFirstValue)

Instructs the fragment to send the given value first to the verifier.

putWitnessValue

public void putWitnessValue(java.lang.String variableName,
                            org.cryptimeleon.math.structures.rings.zn.Zn.ZnElement witnessValue)

Instructs the fragment to use the given value for the witness variable registered via addVariable() in SendThenDelegateFragment.SubprotocolSpecBuilder.

Parameters:

variableName - the same name as used in addVariable()

witnessValue - a value that (hopefully) makes the subprotocols accept their transcripts.

putWitnessValue

public void putWitnessValue(java.lang.String variableName,
                            org.cryptimeleon.math.structures.groups.GroupElement witnessValue)

Instructs the fragment to use the given value for the witness variable registered via addVariable() in SendThenDelegateFragment.SubprotocolSpecBuilder.

Parameters:

variableName - the same name as used in addVariable()

witnessValue - a value that (hopefully) makes the subprotocols accept their transcripts.

build

public SendThenDelegateFragment.ProverSpec build()