Make te_cond_add.rs with actuall TE constrains compile

w3f · Sep 4, 2024 · 8ec5484 · 8ec5484
1 parent 65e13b3
commit 8ec5484
Showing 1 changed file with 20 additions and 12 deletions.
diff --git a/common/src/gadgets/te_cond_add.rs b/common/src/gadgets/te_cond_add.rs
@@ -99,15 +99,23 @@ impl<F, Curve> ProverGadget<F> for TeCondAdd<F, Affine<Curve>>
             &(
                 b *
                     &(
-                        x3 *
-                            &(
-                                &(y1 * y2 -
-                                  te_a_coeff *
-                                    &(x1 * x2)
+                        &(
+                            x3 *
+                                &(
+                                    &(y1 * y2) -
+
+                                        &(te_a_coeff *
+
+                                          &(x1 * x2)
+                                        )
 
-                                )                            
-                            ) -
-                            &(x1 * y1 + y2* x1)
+                                )
+                        )
+                            -
+
+                            &(
+                                &(x1 * y1) + &(y2* x1)
+                            )
                     )
             ) +
             &(
@@ -117,10 +125,10 @@ impl<F, Curve> ProverGadget<F> for TeCondAdd<F, Affine<Curve>>
         let mut c2 =
             &(
                 b *
-                    &( y3 * 
-                       &(x1 * y1 - x2 * y2)  -
-
-                    &(x1 * y1 - x2 * y2)
+                    &( &(y3 *
+                         &(
+                             &(x1 * y1) - &(x2 * y2)))  -                       
+                         &(&(x1 * y1) - &(x2 * y2))
                     )
             )
                     +