Module constraint_system

Definitions and constructions of plonk constraint system

Structs

• BoolVar
  An index to a witness value of boolean type.
• PlonkCircuit
  A specific Plonk circuit instantiation.

Enums

• MergeableCircuitType
  Enum for each type of mergeable circuit. We can only merge circuits from different types.
• PlonkType
  Enum for each type of Plonk scheme.

Traits

• Arithmetization
  An interface that transforms Plonk circuits to polynomial used by Plonk-based SNARKs.
• Circuit
  An interface for Plonk constraint systems.

Type Aliases

• GateId
  An index to a gate in circuit.
• Variable
  An index to one of the witness values.
• WireId
  An index to the type of gate wires. There are 4 different types of input gate wires (with indices 0..3), 1 type of output gate wires (with index 4), and 1 type of lookup gate wires (with index 5).