org.cryptimeleon.craco.protocols.base

Class AdHocSchnorrProof

java.lang.Object

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

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

org.cryptimeleon.craco.protocols.base.AdHocSchnorrProof

All Implemented Interfaces:

InteractiveArgument, SigmaProtocol, TwoPartyProtocol

public class AdHocSchnorrProof
extends DelegateProtocol

A Schnorr proof designed to easily work with BaseProtocol.

Statements are specified using simple BasicNamedExponentVariableExprs. Use builder(Zn) to construct and witnessOf(java.lang.Object) to specify where to source your witness (can be any Java object, in which case variable "x" is sourced from object member object.x. This can be your BaseProtocolInstance that stores all the variables relevant to the protocol). The CommonInput for this is just null.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AdHocSchnorrProof.BaseSchnorrProofBuilder
static class	AdHocSchnorrProof.BaseSchnorrProofInput

Field Summary

Fields

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

Fields inherited from interface org.cryptimeleon.craco.protocols.arguments.InteractiveArgument

PROVER_ROLE, VERIFIER_ROLE

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
static AdHocSchnorrProof.BaseSchnorrProofBuilder	builder(org.cryptimeleon.math.structures.rings.zn.Zn zn)
ZnChallengeSpace	getChallengeSpace(CommonInput commonInput) Returns the challenge space used by this protocol.
protected SendThenDelegateFragment.ProverSpec	provideProverSpecWithNoSendFirst(CommonInput commonInput, SecretInput secretInput, SendThenDelegateFragment.ProverSpecBuilder builder)
protected SendThenDelegateFragment.SubprotocolSpec	provideSubprotocolSpec(CommonInput commonInput, SendThenDelegateFragment.SubprotocolSpecBuilder builder)
static AdHocSchnorrProof.BaseSchnorrProofInput	witnessOf(java.util.function.Function<java.lang.String,?> witnessSource) Get the witnesses by applying the given function.
static AdHocSchnorrProof.BaseSchnorrProofInput	witnessOf(java.lang.Object witnessSource) Get the witnesses from a Java object's object variables.

Methods inherited from class org.cryptimeleon.craco.protocols.arguments.sigma.schnorr.DelegateProtocol

provideAdditionalCheck, provideProverSpec, provideSubprotocolSpec, restoreSendFirstValue, simulateSendFirstValue

Methods inherited from class org.cryptimeleon.craco.protocols.arguments.sigma.schnorr.SendThenDelegateProtocol

checkTranscriptAsExpression, compressTranscript, debugProof, decompressTranscript, generateAnnouncement, generateAnnouncementSecret, generateResponse, generateSimulatedTranscript, restoreAnnouncement, restoreChallenge, restoreResponse

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.cryptimeleon.craco.protocols.arguments.sigma.SigmaProtocol

checkTranscript, checkTranscript, generateChallenge, getFirstMessageRole, getProverInstance, getVerifierInstance, instantiateProtocol, restoreTranscript

Methods inherited from interface org.cryptimeleon.craco.protocols.arguments.InteractiveArgument

getRoleNames, instantiateProver, instantiateVerifier

Methods inherited from interface org.cryptimeleon.craco.protocols.TwoPartyProtocol

runProtocolLocally

Field Detail

zn

protected 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

AdHocSchnorrProof

protected AdHocSchnorrProof(org.cryptimeleon.math.structures.rings.zn.Zn zn,
                            java.util.Map<java.lang.String,org.cryptimeleon.craco.protocols.base.AdHocSchnorrProof.FragmentCreator> fragmentCreators)

Method Detail

provideProverSpecWithNoSendFirst

protected SendThenDelegateFragment.ProverSpec provideProverSpecWithNoSendFirst(CommonInput commonInput,
                                                                               SecretInput secretInput,
                                                                               SendThenDelegateFragment.ProverSpecBuilder builder)

Specified by:

provideProverSpecWithNoSendFirst in class DelegateProtocol

See Also:

DelegateFragment.provideProverSpecWithNoSendFirst(SchnorrVariableAssignment, SendThenDelegateFragment.ProverSpecBuilder)

provideSubprotocolSpec

protected SendThenDelegateFragment.SubprotocolSpec provideSubprotocolSpec(CommonInput commonInput,
                                                                          SendThenDelegateFragment.SubprotocolSpecBuilder builder)

Specified by:

provideSubprotocolSpec in class DelegateProtocol

See Also:

DelegateFragment.provideSubprotocolSpec(SendThenDelegateFragment.SubprotocolSpecBuilder)

getChallengeSpace

public ZnChallengeSpace getChallengeSpace(CommonInput commonInput)

Description copied from interface: SigmaProtocol

Returns the challenge space used by this protocol.

Specified by:

getChallengeSpace in interface SigmaProtocol

Specified by:

getChallengeSpace in class SendThenDelegateProtocol

witnessOf

public static AdHocSchnorrProof.BaseSchnorrProofInput witnessOf(java.lang.Object witnessSource)

Get the witnesses from a Java object's object variables.

witnessOf

public static AdHocSchnorrProof.BaseSchnorrProofInput witnessOf(java.util.function.Function<java.lang.String,?> witnessSource)

Get the witnesses by applying the given function.

builder

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