folding

Module quadraticization

Source
Expand description

A library to reduce constraints into degree 2.

Structs§

ExtendedWitnessGenerator
Quadraticized

Functions§

quadraticize
Returns the constraints converted into degree 2 or less and the extra constraints added in the process