public static class SendThenDelegateFragment.ProverSpecBuilder
extends java.lang.Object
SendThenDelegateFragment.ProverSpec objects to describe data contributed by the prover.| Constructor and Description |
|---|
ProverSpecBuilder(SendThenDelegateFragment fragment)
Construct the builder
|
| 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.
|
public ProverSpecBuilder(SendThenDelegateFragment fragment)
fragment - the fragment this builder is supposed to build a spec for.public void setSendFirstValue(SendFirstValue sendFirstValue)
public void putWitnessValue(java.lang.String variableName,
org.cryptimeleon.math.structures.rings.zn.Zn.ZnElement witnessValue)
addVariable() in SendThenDelegateFragment.SubprotocolSpecBuilder.variableName - the same name as used in addVariable()witnessValue - a value that (hopefully) makes the subprotocols accept their transcripts.public void putWitnessValue(java.lang.String variableName,
org.cryptimeleon.math.structures.groups.GroupElement witnessValue)
addVariable() in SendThenDelegateFragment.SubprotocolSpecBuilder.variableName - the same name as used in addVariable()witnessValue - a value that (hopefully) makes the subprotocols accept their transcripts.public SendThenDelegateFragment.ProverSpec build()