Module single

This module contains definition for a single circuit setup.

Modules

• log

Structs

• DLogProof
  A Proof of knowledge of the discrete logarithm of some element relative to another.
• ExtraTransitionInformation
• Phase1CRSElements
  The CRS elements we produce in phase 1.
• Phase1Contribution
  Represents a contribution to phase1 of the ceremony.
• Phase1RawCRSElements
  Raw CRS elements, not yet validated for consistency.
• Phase1RawContribution
  Represents a contribution before validation.
• Phase2CRSElements
  The CRS elements we produce in phase 2.
• Phase2Contribution
  Represents a contribution to phase2 of the ceremony.
• Phase2RawCRSElements
  Raw CRS elements, not yet validated for consistency.
• Phase2RawContribution
  Represents a raw, unvalidatedontribution.

Functions

• circuit_degree
• combine
  Combine the outputs from all phases into a proving key.
• transition
  Transition between phase1 and phase2, using the circuit.