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

Class ProofOfPartialKnowledge.ProtocolTree

java.lang.Object

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

Enclosing class:

ProofOfPartialKnowledge

protected abstract static class ProofOfPartialKnowledge.ProtocolTree
extends java.lang.Object

To build, use ProofOfPartialKnowledge.leaf(java.lang.String, org.cryptimeleon.craco.protocols.arguments.sigma.SigmaProtocol, org.cryptimeleon.craco.protocols.CommonInput), ProofOfPartialKnowledge.and(org.cryptimeleon.craco.protocols.arguments.sigma.partial.ProofOfPartialKnowledge.ProtocolTree, org.cryptimeleon.craco.protocols.arguments.sigma.partial.ProofOfPartialKnowledge.ProtocolTree), and ProofOfPartialKnowledge.or(org.cryptimeleon.craco.protocols.arguments.sigma.partial.ProofOfPartialKnowledge.ProtocolTree, org.cryptimeleon.craco.protocols.arguments.sigma.partial.ProofOfPartialKnowledge.ProtocolTree).

Field Summary

Fields

Modifier and Type	Field and Description
protected SigmaProtocol	protocol

Constructor Summary

Constructors

Constructor and Description
ProtocolTree(SigmaProtocol protocol)

Method Summary

Modifier and Type	Method and Description
abstract void	debugProof(java.util.function.Function<java.lang.String,? extends SecretInput> secretInputs)
protected abstract CommonInput	getCommonInput()
protected abstract SecretInput	getSecretInput(java.util.function.Function<java.lang.String,? extends SecretInput> secretInputsForLeafs) Returns null if no valid secret input is known for this node.

Methods inherited from class java.lang.Object

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

Field Detail

protocol

protected final SigmaProtocol protocol

Constructor Detail

ProtocolTree

public ProtocolTree(SigmaProtocol protocol)

Method Detail

getCommonInput

protected abstract CommonInput getCommonInput()

getSecretInput

protected abstract SecretInput getSecretInput(java.util.function.Function<java.lang.String,? extends SecretInput> secretInputsForLeafs)

Returns null if no valid secret input is known for this node.

debugProof

public abstract void debugProof(java.util.function.Function<java.lang.String,? extends SecretInput> secretInputs)