org.cryptimeleon.craco.protocols.arguments.sigma.partial

Class ProofOfPartialKnowledge.ProverSpecBuilder

java.lang.Object

org.cryptimeleon.craco.protocols.arguments.sigma.partial.ProofOfPartialKnowledge.ProverSpecBuilder

Enclosing class:

ProofOfPartialKnowledge

public static class ProofOfPartialKnowledge.ProverSpecBuilder
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
ProofOfPartialKnowledge.ProverSpec	build()
void	putSecretInput(java.lang.String protocolName, SecretInput secretInput) Registers the secret input for the protocol with the given name (same name as used in leaf(...) within the ProofOfPartialKnowledge.provideProtocolTree(org.cryptimeleon.craco.protocols.CommonInput, org.cryptimeleon.craco.protocols.arguments.sigma.schnorr.SendFirstValue) call).
void	setSendFirstValue(SendFirstValue sendFirstValue) Instructs the fragment to send the given value first to the verifier.

Methods inherited from class java.lang.Object

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

Method Detail

setSendFirstValue

public void setSendFirstValue(SendFirstValue sendFirstValue)

Instructs the fragment to send the given value first to the verifier.

putSecretInput

public void putSecretInput(java.lang.String protocolName,
                           SecretInput secretInput)

Registers the secret input for the protocol with the given name (same name as used in leaf(...) within the ProofOfPartialKnowledge.provideProtocolTree(org.cryptimeleon.craco.protocols.CommonInput, org.cryptimeleon.craco.protocols.arguments.sigma.schnorr.SendFirstValue) call). If you don't have a valid witness for some subprotocol, simply don't call this.

Parameters:

protocolName - the same name as used in addVariable()

secretInput - a value that (hopefully) makes the subprotocol accept.

build

public ProofOfPartialKnowledge.ProverSpec build()