protected abstract static class ProofOfPartialKnowledge.ProtocolTree
extends java.lang.Object
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).| Modifier and Type | Field and Description |
|---|---|
protected SigmaProtocol |
protocol |
| Constructor and Description |
|---|
ProtocolTree(SigmaProtocol protocol) |
| 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.
|
protected final SigmaProtocol protocol
public ProtocolTree(SigmaProtocol protocol)
protected abstract CommonInput getCommonInput()
protected abstract SecretInput getSecretInput(java.util.function.Function<java.lang.String,? extends SecretInput> secretInputsForLeafs)
public abstract void debugProof(java.util.function.Function<java.lang.String,? extends SecretInput> secretInputs)