Module fullcodec_plonk::constraint_system [−][src]
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