minor comments

Author: shramee

addchain/t_tpl

@@ -1,5 +1,4 @@
 // Function generated by {{ .Meta.Name }}. DO NOT EDIT.
-// Computes FQ12 exponentiated by -t = -4965661367192848881
 fn addchain_exp_by_neg_t(x: Fq12, field_nz: NonZero<u256>) -> Fq12 {
     internal::revoke_ap_tracking();
 	// Inversion computation is derived from the addition chain:

src/curve/groups.cairo

@@ -32,16 +32,17 @@ impl AffineOps<
     #[inline(always)]
     fn pt_on_slope(self: @Affine<T>, slope: T, x2: T) -> Affine<T> {
         let Affine { x: sx, y: sy } = *self;
-        // x = λ^2 - sx - x2
+        // x = λ^2 - x1 - x2
         let x = slope.sqr() - sx - x2;
-        // y = λ(sx - x) - sy
+        // y = λ(x1 - x) - y1
         let y = slope * (sx - x) - sy;
         Affine { x, y }
     }
 
     fn chord(self: @Affine<T>, rhs: Affine<T>) -> T {
         let Affine { x: x1, y: y1 } = *self;
         let Affine { x: x2, y: y2 } = rhs;
+        // λ = (y2-y1) / (x2-x1)
         (y2 - y1) / (x2 - x1)
     }
 

src/fields/fq_12_expo.cairo

@@ -45,8 +45,8 @@ fn X3(a: (u512, u512)) -> (u512, u512) {
     a + a + a
 }
 
+// Computes FQ12 exponentiated by -t = -4965661367192848881 = 0x44e992b44a6909f1
 // Function generated by addchain. DO NOT EDIT.
-// Computes FQ12 exponentiated by t = 4965661367192848881
 #[inline(always)]
 fn addchain_exp_by_neg_t(x: Fq12, field_nz: NonZero<u256>) -> Fq12 {
     internal::revoke_ap_tracking();