Module dusk_plonk::constraint_system[−][src]

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.

Re-exports

pub use ecc::Point;

Modules

ecc

Elliptic Curve Crypto gates

logic

XOR and AND gates

range

Range gate

Structs

StandardComposer

The StandardComposer 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.

Variable

The value is a reference to the actual value that was added to the constraint system