Module folding::quadraticization

source ·
Expand description

A library to reduce constraints into degree 2.

Structs

Functions

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