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 representation containing the coefficients of a polynomial evaluation
The TurboComposer is the circuit-builder tool that the dusk-plonk
repository provides so that circuit descriptions can be written, stored and
transformed into a Proof
at some point.
Witness data indexed in a TurboComposer
instance
Represents a JubJub point in the circuit