Pass TE add test by fixing typos in addition formula

w3f · Sep 17, 2024 · a07f669 · a07f669
1 parent 4434e1b
commit a07f669
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/common/src/gadgets/te_cond_add.rs b/common/src/gadgets/te_cond_add.rs
@@ -102,7 +102,7 @@ impl<F, Curve> ProverGadget<F> for TeCondAdd<F, Affine<Curve>>
                         &(
                             x3 *
                                 &(
-                                    &(y1 * y2) -
+                                    &(y1 * y2) +
 
                                         &(te_a_coeff *
 
@@ -114,7 +114,7 @@ impl<F, Curve> ProverGadget<F> for TeCondAdd<F, Affine<Curve>>
                             -
 
                             &(
-                                &(x1 * y1) + &(y2* x1)
+                                &(x1 * y1) + &(y2* x2)
                             )
                     )
             ) +
@@ -127,7 +127,7 @@ impl<F, Curve> ProverGadget<F> for TeCondAdd<F, Affine<Curve>>
                 b *
                     &( &(y3 *
                          &(
-                             &(x1 * y1) - &(x2 * y2)))  -                       
+                             &(x1 * y2) - &(x2 * y1)))  -                       
                          &(&(x1 * y1) - &(x2 * y2))
                     )
             )
@@ -162,7 +162,6 @@ impl<F, Curve> ProverGadget<F> for TeCondAdd<F, Affine<Curve>>
     }
 }
 
-
 impl<F: Field> VerifierGadget<F> for TeCondAddValues<F> {
     fn evaluate_constraints_main(&self) -> Vec<F> {
         let b = self.bitmask;