Fix some EFD formulas and their output indices.

10 files changed, 20 insertions, 20 deletions

diff --git a/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g b/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g
index 0b5f17a..6ab2f30 100644
--- a/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g
+++ b/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g
@@ -3,5 +3,5 @@ parameter s
 assume s = (1+r)/(1-r)
 compute V = s(r Z2^2-Y2^2)(r Z3^2-Y3^2)
 compute W = (r Z2^2+Y2^2)(r Z3^2+Y3^2)
-compute Y5 = r Z1(W-V)
-compute Z5 = Y1(W+V)
+compute Y4 = r Z1(W-V)
+compute Z4 = Y1(W+V)
diff --git a/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g-2 b/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g-2
index b611b34..d7bb994 100644
--- a/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g-2
+++ b/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g-2
@@ -7,5 +7,5 @@ compute YY3 = Y3^2
 compute ZZ3 = r Z3^2
 compute V = s(ZZ2-YY2)(ZZ3-YY3)
 compute W = (ZZ2+YY2)(ZZ3+YY3)
-compute Y5 = (r Z1)(W-V)
-compute Z5 = Y1(W+V)
+compute Y4 = (r Z1)(W-V)
+compute Z4 = Y1(W+V)
diff --git a/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g-2.op3 b/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g-2.op3
index 3433bd8..0686bc1 100644
--- a/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g-2.op3
+++ b/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g-2.op3
@@ -13,6 +13,6 @@ t6 = ZZ3+YY3
 W = t5*t6
 t7 = r*Z1
 t8 = W-V
-Y5 = t7*t8
+Y4 = t7*t8
 t9 = W+V
-Z5 = Y1*t9
+Z4 = Y1*t9
diff --git a/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g.op3 b/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g.op3
index b7a2ed7..584ce61 100644
--- a/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g.op3
+++ b/pyecsca/ec/efd/edwards/yz/diffadd/dadd-2006-g.op3
@@ -19,6 +19,6 @@ t16 = t13+t12
 W = t15*t16
 t17 = W-V
 t18 = Z1*t17
-Y5 = r*t18
+Y4 = r*t18
 t19 = W+V
-Z5 = Y1*t19
+Z4 = Y1*t19
diff --git a/pyecsca/ec/efd/edwards/yz/diffadd/mdadd-2006-g-2 b/pyecsca/ec/efd/edwards/yz/diffadd/mdadd-2006-g-2
index 53d3fd7..2ddd828 100644
--- a/pyecsca/ec/efd/edwards/yz/diffadd/mdadd-2006-g-2
+++ b/pyecsca/ec/efd/edwards/yz/diffadd/mdadd-2006-g-2
@@ -8,5 +8,5 @@ compute YY3 = Y3^2
 compute ZZ3 = r Z3^2
 compute V = s(ZZ2-YY2)(ZZ3-YY3)
 compute W = (ZZ2+YY2)(ZZ3+YY3)
-compute Y5 = r(W-V)
-compute Z5 = Y1(W+V)
+compute Y4 = r(W-V)
+compute Z4 = Y1(W+V)
diff --git a/pyecsca/ec/efd/edwards/yz/diffadd/mdadd-2006-g-2.op3 b/pyecsca/ec/efd/edwards/yz/diffadd/mdadd-2006-g-2.op3
index 1a10347..c888d1f 100644
--- a/pyecsca/ec/efd/edwards/yz/diffadd/mdadd-2006-g-2.op3
+++ b/pyecsca/ec/efd/edwards/yz/diffadd/mdadd-2006-g-2.op3
@@ -12,6 +12,6 @@ t5 = ZZ2+YY2
 t6 = ZZ3+YY3
 W = t5*t6
 t7 = W-V
-Y5 = r*t7
+Y4 = r*t7
 t8 = W+V
-Z5 = Y1*t8
+Z4 = Y1*t8
diff --git a/pyecsca/ec/efd/edwards/yzsquared/diffadd/dadd-2006-g b/pyecsca/ec/efd/edwards/yzsquared/diffadd/dadd-2006-g
index 1353955..ab03316 100644
--- a/pyecsca/ec/efd/edwards/yzsquared/diffadd/dadd-2006-g
+++ b/pyecsca/ec/efd/edwards/yzsquared/diffadd/dadd-2006-g
@@ -3,5 +3,5 @@ parameter s
 assume s = (1+r)/(1-r)
 compute V = s(Z2-Y2)(Z3-Y3)
 compute W = (Z2+Y2)(Z3+Y3)
-compute Y5 = Z1(W-V)^2
-compute Z5 = Y1(W+V)^2
+compute Y4 = Z1(W-V)^2
+compute Z4 = Y1(W+V)^2
diff --git a/pyecsca/ec/efd/edwards/yzsquared/diffadd/dadd-2006-g.op3 b/pyecsca/ec/efd/edwards/yzsquared/diffadd/dadd-2006-g.op3
index 9194932..40d57b8 100644
--- a/pyecsca/ec/efd/edwards/yzsquared/diffadd/dadd-2006-g.op3
+++ b/pyecsca/ec/efd/edwards/yzsquared/diffadd/dadd-2006-g.op3
@@ -7,7 +7,7 @@ t4 = Z3+Y3
 W = t3*t4
 t5 = W-V
 t6 = t5^2
-Y5 = Z1*t6
+Y4 = Z1*t6
 t7 = W+V
 t8 = t7^2
-Z5 = Y1*t8
+Z4 = Y1*t8
diff --git a/pyecsca/ec/efd/edwards/yzsquared/diffadd/mdadd-2006-g b/pyecsca/ec/efd/edwards/yzsquared/diffadd/mdadd-2006-g
index f6fc535..2c6e1ac 100644
--- a/pyecsca/ec/efd/edwards/yzsquared/diffadd/mdadd-2006-g
+++ b/pyecsca/ec/efd/edwards/yzsquared/diffadd/mdadd-2006-g
@@ -4,5 +4,5 @@ parameter s
 assume s = (1+r)/(1-r)
 compute V = s(Z2-Y2)(Z3-Y3)
 compute W = (Z2+Y2)(Z3+Y3)
-compute Y5 = (W-V)^2
-compute Z5 = Y1(W+V)^2
+compute Y4 = (W-V)^2
+compute Z4 = Y1(W+V)^2
diff --git a/pyecsca/ec/efd/edwards/yzsquared/diffadd/mdadd-2006-g.op3 b/pyecsca/ec/efd/edwards/yzsquared/diffadd/mdadd-2006-g.op3
index 530c50f..8e82aa3 100644
--- a/pyecsca/ec/efd/edwards/yzsquared/diffadd/mdadd-2006-g.op3
+++ b/pyecsca/ec/efd/edwards/yzsquared/diffadd/mdadd-2006-g.op3
@@ -6,7 +6,7 @@ t3 = Z2+Y2
 t4 = Z3+Y3
 W = t3*t4
 t5 = W-V
-Y5 = t5^2
+Y4 = t5^2
 t6 = W+V
 t7 = t6^2
-Z5 = Y1*t7
+Z4 = Y1*t7