aboutsummaryrefslogtreecommitdiffhomepage
path: root/pyecsca/ec/efd/edwards/yzsquared
diff options
context:
space:
mode:
authorJ08nY2019-03-12 16:43:35 +0100
committerJ08nY2019-03-21 11:00:14 +0100
commita9b7c026b0714bfa0aacf504e6b9dde65fccc2aa (patch)
treed32461cfbf5f275508779f5a4966c24cf020d21a /pyecsca/ec/efd/edwards/yzsquared
parent7fa186f42d17942192f8b23be8a2fb1b731b0641 (diff)
downloadpyecsca-a9b7c026b0714bfa0aacf504e6b9dde65fccc2aa.tar.gz
pyecsca-a9b7c026b0714bfa0aacf504e6b9dde65fccc2aa.tar.zst
pyecsca-a9b7c026b0714bfa0aacf504e6b9dde65fccc2aa.zip
Fix some EFD formulas and their output indices.
Diffstat (limited to 'pyecsca/ec/efd/edwards/yzsquared')
-rw-r--r--pyecsca/ec/efd/edwards/yzsquared/diffadd/dadd-2006-g4
-rw-r--r--pyecsca/ec/efd/edwards/yzsquared/diffadd/dadd-2006-g.op34
-rw-r--r--pyecsca/ec/efd/edwards/yzsquared/diffadd/mdadd-2006-g4
-rw-r--r--pyecsca/ec/efd/edwards/yzsquared/diffadd/mdadd-2006-g.op34
4 files changed, 8 insertions, 8 deletions
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