This PR adds collinearity check with test for the G1 group.
This function implements and constrains, given three G1 points, a,b,c, that a+b-c=0. This allows for calculation of G1 point addition out of circuit. Note that this is not enough to ensure the correctness of point addition, this function must be paired with a curve check to ensure all points are valid group elements.
This PR adds collinearity check with test for the
G1group.This function implements and constrains, given three
G1points,a,b,c, thata+b-c=0. This allows for calculation ofG1point addition out of circuit. Note that this is not enough to ensure the correctness of point addition, this function must be paired with a curve check to ensure all points are valid group elements.