pub fn mul_zero_circuit<F: FiniteField, R: Rng>(
    ninputs: usize,
    ngates: usize,
    rng: &mut R
) -> (Circuit<F>, Vec<F>)
Expand description

Output a circuit evaluating to zero that’s just multiply gates.