pub fn compile<F: Field>( builder: ConstraintBuilder<F>, ) -> (ConstraintSystem<F>, WitnessLayout<F>)