pub fn format_circuit_gate(i: usize, gate: &CircuitGate<Fp>) -> String