Module dusk_plonk::constraint_system

source ·
Expand description

The constraint System module stores the implementation of the PLONK Standard Composer, as well as the circuit tools and abstractions, used by the Composer to generate, build, preprocess circuits.

Structs

  • Constraint
    Constraint representation containing the coefficients of a polynomial evaluation
  • Witness
    Allocated witness in the constraint system.
  • WitnessPoint
    Represents a JubJub point in the circuit