Update ecc chip READMEs

Author: Avaneesh-axiom

extensions/ecc/circuit/src/edwards_chip/README.md

@@ -1 +1,17 @@
-Twisted Edwards (te) curve operations
+# Twisted Edwards (TE) curve operations
+
+The `te_add` instruction is implemented in the `edwards_chip` module.
+
+### 1. `te_add`
+
+**Assumptions:**
+
+- Both points `(x1, y1)` and `(x2, y2)` lie on the curve.
+
+**Circuit statements:**
+
+- The chip takes two inputs: `(x1, y1)` and `(x2, y2)`, and returns `(x3, y3)` where:
+  - `x3 = (x1 * y2 + x2 * y1) / (1 + d * x1 * x2 * y1 * y2)`
+  - `y3 = (y1 * y2 - a * x1 * x2) / (1 - d * x1 * x2 * y1 * y2)`
+
+- The `TeAddChip` constrains that these field expressions are computed correctly over the field `C::Fp`. The coefficients `a` and `d` are taken from the `CurveConfig`.

extensions/ecc/circuit/src/weierstrass_chip/README.md

@@ -1,8 +1,8 @@
 # Short Weierstrass (SW) Curve Operations
 
-The `ec_add_ne` and `ec_double` instructions are implemented in the `weierstrass_chip` module.
+The `sw_add_ne` and `sw_double` instructions are implemented in the `weierstrass_chip` module.
 
-### 1. `ec_add_ne`
+### 1. `sw_add_ne`
 
 **Assumptions:**
 
@@ -16,9 +16,9 @@ The `ec_add_ne` and `ec_double` instructions are implemented in the `weierstrass
   - `x3 = lambda^2 - x1 - x2`
   - `y3 = lambda * (x1 - x3) - y1`
 
-- The `EcAddNeChip` constrains that these field expressions are computed correctly over the field `C::Fp`.
+- The `SwAddNeChip` constrains that these field expressions are computed correctly over the field `C::Fp`.
 
-### 2. `ec_double`
+### 2. `sw_double`
 
 **Assumptions:**
 
@@ -31,4 +31,4 @@ The `ec_add_ne` and `ec_double` instructions are implemented in the `weierstrass
   - `x3 = lambda^2 - 2 * x1`
   - `y3 = lambda * (x1 - x3) - y1`
 
-- The `EcDoubleChip` constrains that these expressions are computed correctly over the field `C::Fp`. The coefficient `a` is taken from the `CurveConfig`.
+- The `SwDoubleChip` constrains that these expressions are computed correctly over the field `C::Fp`. The coefficient `a` is taken from the `CurveConfig`.