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

Class SendThenDelegateFragment.SubprotocolSpecBuilder

java.lang.Object

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

Enclosing class:

SendThenDelegateFragment

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

A builder to help instantiate SendThenDelegateFragment.SubprotocolSpecs.

Constructor Summary

Constructors

Constructor and Description
SubprotocolSpecBuilder()

Method Summary

Modifier and Type	Method and Description
SchnorrGroupElemVariable	addGroupElemVariable(java.lang.String name, org.cryptimeleon.math.structures.groups.Group group) Specifies that the fragment shall prove knowledge of a GroupElement.
void	addSubprotocol(java.lang.String name, SchnorrFragment fragment) Specifies that this fragment shall run the given subprotocol.
SchnorrZnVariable	addZnVariable(java.lang.String name, org.cryptimeleon.math.structures.rings.zn.Zn zn) Specifies that the fragment shall prove knowledge of a Zn.ZnElement.
SendThenDelegateFragment.SubprotocolSpec	build() Instantiate the SendThenDelegateFragment.SubprotocolSpec from the data provided.

Methods inherited from class java.lang.Object

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

Constructor Detail

SubprotocolSpecBuilder

public SubprotocolSpecBuilder()

Method Detail

build

public SendThenDelegateFragment.SubprotocolSpec build()

Instantiate the SendThenDelegateFragment.SubprotocolSpec from the data provided.

addZnVariable

public SchnorrZnVariable addZnVariable(java.lang.String name,
                                       org.cryptimeleon.math.structures.rings.zn.Zn zn)

Specifies that the fragment shall prove knowledge of a Zn.ZnElement.

Parameters:

name - name of the variable. Must be unique within this SendThenDelegateFragment.SubprotocolSpecBuilder. The same names shall be used in SendThenDelegateFragment.provideProverSpec(SchnorrVariableAssignment, ProverSpecBuilder) when specifying a witness.

zn - the ring that values of this variable belong to

Returns:

a variable you can reference when constructing a SchnorrFragment subprotocol.

addGroupElemVariable

public SchnorrGroupElemVariable addGroupElemVariable(java.lang.String name,
                                                     org.cryptimeleon.math.structures.groups.Group group)

Specifies that the fragment shall prove knowledge of a GroupElement.

Parameters:

name - name of the variable. Must be unique within this SendThenDelegateFragment.SubprotocolSpecBuilder. The same names shall be used in SendThenDelegateFragment.provideProverSpec(SchnorrVariableAssignment, ProverSpecBuilder) when specifying a witness.

group - the group that values of this variable belong to

Returns:

a variable you can reference when constructing a SchnorrFragment subprotocol.

addSubprotocol

public void addSubprotocol(java.lang.String name,
                           SchnorrFragment fragment)

Specifies that this fragment shall run the given subprotocol.

Parameters:

name - a name unique within this SendThenDelegateFragment.SubprotocolSpecBuilder. You will not have to reference this name again.

fragment - the subprotocol to be run.