org.cryptimeleon.craco.protocols.base

Class AdHocSchnorrProof.BaseSchnorrProofBuilder

java.lang.Object

org.cryptimeleon.craco.protocols.base.AdHocSchnorrProof.BaseSchnorrProofBuilder

Enclosing class:

AdHocSchnorrProof

public static class AdHocSchnorrProof.BaseSchnorrProofBuilder
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<java.lang.String,org.cryptimeleon.craco.protocols.base.AdHocSchnorrProof.FragmentCreator>	fragmentCreators
org.cryptimeleon.math.structures.rings.zn.Zn	zn

Constructor Summary

Constructors

Constructor and Description
BaseSchnorrProofBuilder(org.cryptimeleon.math.structures.rings.zn.Zn zn)

Method Summary

Modifier and Type	Method and Description
AdHocSchnorrProof.BaseSchnorrProofBuilder	addLinearExponentStatement(java.lang.String name, org.cryptimeleon.math.expressions.bool.ExponentEqualityExpr statement)
AdHocSchnorrProof.BaseSchnorrProofBuilder	addLinearStatement(java.lang.String name, org.cryptimeleon.math.expressions.bool.GroupEqualityExpr statement)
AdHocSchnorrProof.BaseSchnorrProofBuilder	addSmallerThanPowerStatement(java.lang.String name, org.cryptimeleon.math.expressions.exponent.ExponentExpr smallValue, int base, int power, SetMembershipPublicParameters setMembershipPp)
AdHocSchnorrProof	build()
FiatShamirProofSystem	buildFiatShamir()
DamgardTechnique	buildInteractiveDamgard(CommitmentScheme commitmentSchemeForDamgard)

Methods inherited from class java.lang.Object

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

Field Detail

zn

public final org.cryptimeleon.math.structures.rings.zn.Zn zn

fragmentCreators

protected java.util.Map<java.lang.String,org.cryptimeleon.craco.protocols.base.AdHocSchnorrProof.FragmentCreator> fragmentCreators

Constructor Detail

BaseSchnorrProofBuilder

public BaseSchnorrProofBuilder(org.cryptimeleon.math.structures.rings.zn.Zn zn)

Method Detail

addLinearStatement

public AdHocSchnorrProof.BaseSchnorrProofBuilder addLinearStatement(java.lang.String name,
                                                                    org.cryptimeleon.math.expressions.bool.GroupEqualityExpr statement)

addLinearExponentStatement

public AdHocSchnorrProof.BaseSchnorrProofBuilder addLinearExponentStatement(java.lang.String name,
                                                                            org.cryptimeleon.math.expressions.bool.ExponentEqualityExpr statement)

addSmallerThanPowerStatement

public AdHocSchnorrProof.BaseSchnorrProofBuilder addSmallerThanPowerStatement(java.lang.String name,
                                                                              org.cryptimeleon.math.expressions.exponent.ExponentExpr smallValue,
                                                                              int base,
                                                                              int power,
                                                                              SetMembershipPublicParameters setMembershipPp)

build

public AdHocSchnorrProof build()

buildFiatShamir

public FiatShamirProofSystem buildFiatShamir()

buildInteractiveDamgard

public DamgardTechnique buildInteractiveDamgard(CommitmentScheme commitmentSchemeForDamgard)