From a07f6698ca90bbd57facf4c8124655fa90697a88 Mon Sep 17 00:00:00 2001
From: Skalman <skalman@riseup.net>
Date: Tue, 17 Sep 2024 02:15:08 -0400
Subject: [PATCH] Pass TE add test by  fixing typos in addition formula

---
 common/src/gadgets/te_cond_add.rs | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/common/src/gadgets/te_cond_add.rs b/common/src/gadgets/te_cond_add.rs
index dbf77da..6bdad6c 100644
--- 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;