public static class AdHocSchnorrProof.BaseSchnorrProofBuilder
extends java.lang.Object
| 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 and Description |
|---|
BaseSchnorrProofBuilder(org.cryptimeleon.math.structures.rings.zn.Zn zn) |
| 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) |
public final org.cryptimeleon.math.structures.rings.zn.Zn zn
protected java.util.Map<java.lang.String,org.cryptimeleon.craco.protocols.base.AdHocSchnorrProof.FragmentCreator> fragmentCreators
public BaseSchnorrProofBuilder(org.cryptimeleon.math.structures.rings.zn.Zn zn)
public AdHocSchnorrProof.BaseSchnorrProofBuilder addLinearStatement(java.lang.String name, org.cryptimeleon.math.expressions.bool.GroupEqualityExpr statement)
public AdHocSchnorrProof.BaseSchnorrProofBuilder addLinearExponentStatement(java.lang.String name, org.cryptimeleon.math.expressions.bool.ExponentEqualityExpr statement)
public AdHocSchnorrProof.BaseSchnorrProofBuilder addSmallerThanPowerStatement(java.lang.String name, org.cryptimeleon.math.expressions.exponent.ExponentExpr smallValue, int base, int power, SetMembershipPublicParameters setMembershipPp)
public AdHocSchnorrProof build()
public FiatShamirProofSystem buildFiatShamir()
public DamgardTechnique buildInteractiveDamgard(CommitmentScheme commitmentSchemeForDamgard)