Module composition

Protocol Composition with AND/OR Logic

This module defines the Protocol enum, which generalizes the SchnorrProof by enabling compositional logic between multiple proof instances.

Specifically, it supports:

• Simple atomic proofs (e.g., discrete logarithm, Pedersen commitments)
• Conjunctions (And) of multiple sub-protocols
• Disjunctions (Or) of multiple sub-protocols

Example Composition

And(
   Or( dleq, pedersen_commitment ),
   Simple( discrete_logarithm ),
   And( pedersen_commitment_dleq, bbs_blind_commitment_computation )
)

Enums

Protocol

A protocol proving knowledge of a witness for a composition of SchnorrProof’s.

ProtocolCommitment

ProtocolProverState

ProtocolResponse

ProtocolWitness