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.