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

Interface SchnorrVariableAssignment

All Superinterfaces:

SecretInput, org.cryptimeleon.math.expressions.Substitution

All Known Implementing Classes:

SchnorrVariableAssignment.EmptyAssignment, SchnorrVariableValueHierarchy, SchnorrVariableValueList, SendThenDelegateFragment.WitnessValues

public interface SchnorrVariableAssignment
extends org.cryptimeleon.math.expressions.Substitution, SecretInput

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	SchnorrVariableAssignment.EmptyAssignment

Nested classes/interfaces inherited from interface org.cryptimeleon.craco.protocols.SecretInput

SecretInput.EmptySecretInput, SecretInput.SecretInputVector

Field Summary

Fields

Modifier and Type	Field and Description
static SchnorrVariableAssignment	EMPTY

Method Summary

Modifier and Type	Method and Description
default SchnorrVariableAssignment	evalLinear(java.math.BigInteger challenge, SchnorrVariableAssignment random) Computes this * challenge + random
default SchnorrVariableAssignment	fallbackTo(SchnorrVariableAssignment fallback)
default org.cryptimeleon.math.expressions.Expression	getSubstitution(org.cryptimeleon.math.expressions.VariableExpression variable)
SchnorrVariableValue	getValue(SchnorrVariable variable)

Methods inherited from interface org.cryptimeleon.math.expressions.Substitution

join, join, joinAndIgnoreNullpointers, joinDisjoint, joinDisjoint

Field Detail

EMPTY

static final SchnorrVariableAssignment EMPTY

Method Detail

getValue

SchnorrVariableValue getValue(SchnorrVariable variable)

getSubstitution

default org.cryptimeleon.math.expressions.Expression getSubstitution(org.cryptimeleon.math.expressions.VariableExpression variable)

Specified by:

getSubstitution in interface org.cryptimeleon.math.expressions.Substitution

fallbackTo

default SchnorrVariableAssignment fallbackTo(SchnorrVariableAssignment fallback)

evalLinear

default SchnorrVariableAssignment evalLinear(java.math.BigInteger challenge,
                                             SchnorrVariableAssignment random)

Computes this * challenge + random