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

Class Summary

Class	Description
AndProof	The AND composition of two (or more) SigmaProtocols.
OrProof	The OR composition of two SigmaProtocols.
OrProof.OrProofResponse
OrProof.OrProofSecretInput
ProofOfPartialKnowledge	A Sigma Protocol that composes several subprotocols in any AND/OR tree structure [CDS94].
ProofOfPartialKnowledge.ProtocolTree	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).
ProofOfPartialKnowledge.ProverSpec
ProofOfPartialKnowledge.ProverSpecBuilder