fix: z_is_zero inside sg check

Author: manishbista28

g16ckt/src/gadgets/bn254/pairing.rs

@@ -575,7 +575,7 @@ pub fn ell_coeffs_montgomery<C: CircuitContext>(
             wire_c: z_is_zero,
             gate_type: crate::GateType::And,
         });
-        z0_is_zero
+        z_is_zero
     };
 
     (ellc, is_in_sg)

g16ckt/src/gadgets/groth16.rs

@@ -72,8 +72,8 @@ pub fn groth16_verify<C: CircuitContext>(
         let is_valid_fr = {
             let mut and_all_wires = TRUE_WIRE;
             public.iter().for_each(|pubinp| {
-                let r: BigUint = ark_bn254::Fr::MODULUS.into();
-                let valid_pubinp = bigint::less_than_constant(circuit, pubinp, &r);
+                let q: BigUint = ark_bn254::Fr::MODULUS.into();
+                let valid_pubinp = bigint::less_than_constant(circuit, pubinp, &q);
                 let new_wire = circuit.issue_wire();
                 circuit.add_gate(crate::Gate {
                     wire_a: and_all_wires,