Include infinity bit in ToConstraintField for SW curves

Related to arkworks-rs/snark#284
arkworks-rs · Nov 12, 2020 · ebd8774 · ebd8774
1 parent 4a4851d
commit ebd8774
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ec/src/models/short_weierstrass_jacobian.rs b/ec/src/models/short_weierstrass_jacobian.rs
@@ -807,7 +807,9 @@ where
     fn to_field_elements(&self) -> Option<Vec<ConstraintF>> {
         let mut x_fe = self.x.to_field_elements()?;
         let y_fe = self.y.to_field_elements()?;
+        let infinity_fe = self.infinity.to_field_elements()?;
         x_fe.extend_from_slice(&y_fe);
+        x_fe.extend_from_slice(&infinity_fe);
         Some(x_fe)
     }
 }