quadraticize

folding::quadraticization

Function quadraticize 

Source 
pub fn quadraticize<C: FoldingConfig>(
    constraints: Vec<FoldingExp<C>>,
) -> (Quadraticized<C>, usize)
Expand description

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