proof for G1 multiplicaton

[mskrzypkows]

Hey, I've created an example of a proof over Fr which verifies the multiplication of the G1 element by Fr: https://github.com/mskrzypkows/arkworks_non_native_g1_multiplication/blob/main/src/non_native_g1_mul_proof.rs#L90

The multiplication is based on internal arkworks implementation. I've just ported it, so I can use it on G1 elements: https://github.com/mskrzypkows/arkworks_non_native_g1_multiplication/blob/main/src/non_native_affine_field_var.rs#L60

The proof is not verified even though the constraint is met (result x coordinate is equal to native one).
Can you give me some hints on how to find the cause of the proof not passing?

[mskrzypkows]

I noticed that if statements shouldn't be used in the circuit. I've removed all branching in the code and replaced it with selects. This time the memory consumption is very high, and still the proof is not verified, while the constraint values are fine. Maybe I have reached a constraint overflow, because there are too many operations in the circuit? 🤔

[mskrzypkows]

Solved the issue, one wrong thing was that I used if statements in the proof, another was that I had an inversion of a zero value (even though the value wasn't chosen in select for further processing).