diff options
Diffstat (limited to 'pyecsca/ec/efd/twisted')
83 files changed, 0 insertions, 1189 deletions
diff --git a/pyecsca/ec/efd/twisted/coordinates b/pyecsca/ec/efd/twisted/coordinates deleted file mode 100644 index bf62fff..0000000 --- a/pyecsca/ec/efd/twisted/coordinates +++ /dev/null @@ -1,25 +0,0 @@ -name twisted Edwards curves -parameter a -parameter d -coordinate x -coordinate y -satisfying a*x^2+y^2 == 1+d*x^2*y^2 -ysquared (a*x^2-1)/(d*x^2-1) -addition x = (x1*y2+y1*x2)/(1+d*x1*x2*y1*y2) -addition y = (y1*y2-a*x1*x2)/(1-d*x1*x2*y1*y2) -doubling x = (x1*y1+y1*x1)/(1+d*x1*x1*y1*y1) -doubling y = (y1*y1-a*x1*x1)/(1-d*x1*x1*y1*y1) -negation x = -x1 -negation y = y1 -neutral x = 0 -neutral y = 1 -toweierstrass u = (1+y)/(1-y) -toweierstrass v = 2*(1+y)/(x(1-y)) -a0 = 1/(a-d) -a1 = 0 -a2 = 4*a/(a-d)-2 -a3 = 0 -a4 = 1 -a6 = 0 -fromweierstrass x = 2*u/v -fromweierstrass y = (u-1)/(u+1) diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd b/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd deleted file mode 100644 index 69ebdf3..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd +++ /dev/null @@ -1,14 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.1 -unified -compute A = X1 X2 -compute B = Y1 Y2 -compute C = T1 d T2 -compute D = Z1 Z2 -compute E = (X1+Y1)(X2+Y2)-A-B -compute F = D - C -compute G = D + C -compute H = B - a A -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-2 b/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-2 deleted file mode 100644 index 6f1848d..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-2 +++ /dev/null @@ -1,14 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.2 -unified -compute A = X1 X2 -compute B = Y1 Y2 -compute C = Z1 T2 -compute D = T1 Z2 -compute E = D + C -compute F = (X1-Y1)(X2+Y2)+B-A -compute G = B + a A -compute H = D - C -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-2.op3 b/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-2.op3 deleted file mode 100644 index 41269cf..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-2.op3 +++ /dev/null @@ -1,17 +0,0 @@ -A = X1*X2 -B = Y1*Y2 -C = Z1*T2 -D = T1*Z2 -E = D+C -t0 = X1-Y1 -t1 = X2+Y2 -t2 = t0*t1 -t3 = t2+B -F = t3-A -t4 = a*A -G = B+t4 -H = D-C -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-3 b/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-3 deleted file mode 100644 index 8a95b77..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-3 +++ /dev/null @@ -1,17 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.1 -unified -appliesto extended-1 -parameter k -assume k = 2*d -compute A = (Y1-X1)(Y2-X2) -compute B = (Y1+X1)(Y2+X2) -compute C = T1 k T2 -compute D = Z1 2 Z2 -compute E = B - A -compute F = D - C -compute G = D + C -compute H = B + A -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-3.op3 b/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-3.op3 deleted file mode 100644 index 497c151..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-3.op3 +++ /dev/null @@ -1,18 +0,0 @@ -t0 = Y1-X1 -t1 = Y2-X2 -A = t0*t1 -t2 = Y1+X1 -t3 = Y2+X2 -B = t2*t3 -t4 = k*T2 -C = T1*t4 -t5 = 2*Z2 -D = Z1*t5 -E = B-A -F = D-C -G = D+C -H = B+A -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-4 b/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-4 deleted file mode 100644 index f65e73d..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-4 +++ /dev/null @@ -1,15 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.2 -unified -appliesto extended-1 -compute A = (Y1-X1)(Y2+X2) -compute B = (Y1+X1)(Y2-X2) -compute C = Z1 2 T2 -compute D = T1 2 Z2 -compute E = D + C -compute F = B - A -compute G = B + A -compute H = D - C -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-4.op3 b/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-4.op3 deleted file mode 100644 index af4280c..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd-4.op3 +++ /dev/null @@ -1,18 +0,0 @@ -t0 = Y1-X1 -t1 = Y2+X2 -A = t0*t1 -t2 = Y1+X1 -t3 = Y2-X2 -B = t2*t3 -t4 = 2*T2 -C = Z1*t4 -t5 = 2*Z2 -D = T1*t5 -E = D+C -F = B-A -G = B+A -H = D-C -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd.op3 b/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd.op3 deleted file mode 100644 index 9374a58..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/add-2008-hwcd.op3 +++ /dev/null @@ -1,18 +0,0 @@ -A = X1*X2 -B = Y1*Y2 -t0 = d*T2 -C = T1*t0 -D = Z1*Z2 -t1 = X1+Y1 -t2 = X2+Y2 -t3 = t1*t2 -t4 = t3-A -E = t4-B -F = D-C -G = D+C -t5 = a*A -H = B-t5 -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd b/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd deleted file mode 100644 index 43efa01..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd +++ /dev/null @@ -1,15 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.1 -unified -assume Z2 = 1 -compute A = X1 X2 -compute B = Y1 Y2 -compute C = T1 d T2 -compute D = Z1 -compute E = (X1+Y1)(X2+Y2)-A-B -compute F = D - C -compute G = D + C -compute H = B - a A -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-2 b/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-2 deleted file mode 100644 index 410ca20..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-2 +++ /dev/null @@ -1,15 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.2 -unified -assume Z2 = 1 -compute A = X1 X2 -compute B = Y1 Y2 -compute C = Z1 T2 -compute D = T1 -compute E = D + C -compute F = (X1-Y1)(X2+Y2)+B-A -compute G = B + a A -compute H = D - C -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-2.op3 b/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-2.op3 deleted file mode 100644 index bff3029..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-2.op3 +++ /dev/null @@ -1,17 +0,0 @@ -A = X1*X2 -B = Y1*Y2 -C = Z1*T2 -D = T1 -E = D+C -t0 = X1-Y1 -t1 = X2+Y2 -t2 = t0*t1 -t3 = t2+B -F = t3-A -t4 = a*A -G = B+t4 -H = D-C -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-3 b/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-3 deleted file mode 100644 index ea5191d..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-3 +++ /dev/null @@ -1,18 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.1 -unified -appliesto extended-1 -assume Z2 = 1 -parameter k -assume k = 2*d -compute A = (Y1-X1)(Y2-X2) -compute B = (Y1+X1)(Y2+X2) -compute C = T1 k T2 -compute D = 2 Z1 -compute E = B - A -compute F = D - C -compute G = D + C -compute H = B + A -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-3.op3 b/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-3.op3 deleted file mode 100644 index 3ac949e..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-3.op3 +++ /dev/null @@ -1,17 +0,0 @@ -t0 = Y1-X1 -t1 = Y2-X2 -A = t0*t1 -t2 = Y1+X1 -t3 = Y2+X2 -B = t2*t3 -t4 = k*T2 -C = T1*t4 -D = 2*Z1 -E = B-A -F = D-C -G = D+C -H = B+A -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-4 b/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-4 deleted file mode 100644 index 0433523..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-4 +++ /dev/null @@ -1,16 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.2 -unified -appliesto extended-1 -assume Z2 = 1 -compute A = (Y1-X1)(Y2+X2) -compute B = (Y1+X1)(Y2-X2) -compute C = Z1 2 T2 -compute D = 2 T1 -compute E = D + C -compute F = B - A -compute G = B + A -compute H = D - C -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-4.op3 b/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-4.op3 deleted file mode 100644 index b321c5c..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd-4.op3 +++ /dev/null @@ -1,17 +0,0 @@ -t0 = Y1-X1 -t1 = Y2+X2 -A = t0*t1 -t2 = Y1+X1 -t3 = Y2-X2 -B = t2*t3 -t4 = 2*T2 -C = Z1*t4 -D = 2*T1 -E = D+C -F = B-A -G = B+A -H = D-C -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd.op3 b/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd.op3 deleted file mode 100644 index 9c4b5fd..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/madd-2008-hwcd.op3 +++ /dev/null @@ -1,18 +0,0 @@ -A = X1*X2 -B = Y1*Y2 -t0 = d*T2 -C = T1*t0 -D = Z1 -t1 = X1+Y1 -t2 = X2+Y2 -t3 = t1*t2 -t4 = t3-A -E = t4-B -F = D-C -G = D+C -t5 = a*A -H = B-t5 -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd b/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd deleted file mode 100644 index 77f2ef7..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd +++ /dev/null @@ -1,15 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.1, plus assumption Z1=1, plus standard simplification -unified -assume Z1 = 1 -assume Z2 = 1 -compute A = X1 X2 -compute B = Y1 Y2 -compute C = T1 d T2 -compute E = (X1+Y1)(X2+Y2)-A-B -compute F = 1 - C -compute G = 1 + C -compute H = B - a A -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = 1 - C^2 diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-2 b/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-2 deleted file mode 100644 index e8bcf9a..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-2 +++ /dev/null @@ -1,16 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.2, plus assumption Z1=1 -unified -assume Z1 = 1 -assume Z2 = 1 -compute A = X1 X2 -compute B = Y1 Y2 -compute C = T2 -compute D = T1 -compute E = D + C -compute F = (X1-Y1)(X2+Y2)+B-A -compute G = B + a A -compute H = D - C -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-2.op3 b/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-2.op3 deleted file mode 100644 index 66fa350..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-2.op3 +++ /dev/null @@ -1,17 +0,0 @@ -A = X1*X2 -B = Y1*Y2 -C = T2 -D = T1 -E = D+C -t0 = X1-Y1 -t1 = X2+Y2 -t2 = t0*t1 -t3 = t2+B -F = t3-A -t4 = a*A -G = B+t4 -H = D-C -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-3 b/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-3 deleted file mode 100644 index 65f488e..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-3 +++ /dev/null @@ -1,18 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.1, plus assumption Z1=1, plus standard simplification -unified -appliesto extended-1 -assume Z1 = 1 -assume Z2 = 1 -parameter k -assume k = 2*d -compute A = (Y1-X1)(Y2-X2) -compute B = (Y1+X1)(Y2+X2) -compute C = T1 k T2 -compute E = B - A -compute F = 2 - C -compute G = 2 + C -compute H = B + A -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = 4 - C^2 diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-3.op3 b/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-3.op3 deleted file mode 100644 index 9818971..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-3.op3 +++ /dev/null @@ -1,17 +0,0 @@ -t0 = Y1-X1 -t1 = Y2-X2 -A = t0*t1 -t2 = Y1+X1 -t3 = Y2+X2 -B = t2*t3 -t4 = k*T2 -C = T1*t4 -E = B-A -F = 2-C -G = 2+C -H = B+A -X3 = E*F -Y3 = G*H -T3 = E*H -t5 = C^2 -Z3 = 4-t5 diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-4 b/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-4 deleted file mode 100644 index 1497e39..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-4 +++ /dev/null @@ -1,17 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.2, plus assumption Z1=1 -unified -appliesto extended-1 -assume Z1 = 1 -assume Z2 = 1 -compute A = (Y1-X1)(Y2+X2) -compute B = (Y1+X1)(Y2-X2) -compute C = 2 T2 -compute D = 2 T1 -compute E = D + C -compute F = B - A -compute G = B + A -compute H = D - C -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-4.op3 b/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-4.op3 deleted file mode 100644 index 9b5e383..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd-4.op3 +++ /dev/null @@ -1,16 +0,0 @@ -t0 = Y1-X1 -t1 = Y2+X2 -A = t0*t1 -t2 = Y1+X1 -t3 = Y2-X2 -B = t2*t3 -C = 2*T2 -D = 2*T1 -E = D+C -F = B-A -G = B+A -H = D-C -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd.op3 b/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd.op3 deleted file mode 100644 index f4bc7f6..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/addition/mmadd-2008-hwcd.op3 +++ /dev/null @@ -1,18 +0,0 @@ -A = X1*X2 -B = Y1*Y2 -t0 = d*T2 -C = T1*t0 -t1 = X1+Y1 -t2 = X2+Y2 -t3 = t1*t2 -t4 = t3-A -E = t4-B -F = 1-C -G = 1+C -t5 = a*A -H = B-t5 -X3 = E*F -Y3 = G*H -T3 = E*H -t6 = C^2 -Z3 = 1-t6 diff --git a/pyecsca/ec/efd/twisted/extended-1/doubling/dbl-2008-hwcd b/pyecsca/ec/efd/twisted/extended-1/doubling/dbl-2008-hwcd deleted file mode 100644 index 1c37c7f..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/doubling/dbl-2008-hwcd +++ /dev/null @@ -1,13 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.3 -compute A = X1^2 -compute B = Y1^2 -compute C = 2 Z1^2 -compute D = a A -compute E = (X1+Y1)^2-A-B -compute G = D + B -compute F = G - C -compute H = D - B -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended-1/doubling/dbl-2008-hwcd.op3 b/pyecsca/ec/efd/twisted/extended-1/doubling/dbl-2008-hwcd.op3 deleted file mode 100644 index dc3d945..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/doubling/dbl-2008-hwcd.op3 +++ /dev/null @@ -1,16 +0,0 @@ -A = X1^2 -B = Y1^2 -t0 = Z1^2 -C = 2*t0 -D = a*A -t1 = X1+Y1 -t2 = t1^2 -t3 = t2-A -E = t3-B -G = D+B -F = G-C -H = D-B -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended-1/doubling/mdbl-2008-hwcd b/pyecsca/ec/efd/twisted/extended-1/doubling/mdbl-2008-hwcd deleted file mode 100644 index faf5c42..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/doubling/mdbl-2008-hwcd +++ /dev/null @@ -1,12 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.3, plus assumption Z1=1, plus standard simplification -assume Z1 = 1 -compute A = X1^2 -compute B = Y1^2 -compute D = a A -compute E = (X1+Y1)^2-A-B -compute G = D + B -compute H = D - B -compute X3 = E (G - 2) -compute Y3 = G H -compute T3 = E H -compute Z3 = G^2 - 2 G diff --git a/pyecsca/ec/efd/twisted/extended-1/doubling/mdbl-2008-hwcd.op3 b/pyecsca/ec/efd/twisted/extended-1/doubling/mdbl-2008-hwcd.op3 deleted file mode 100644 index c36ded1..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/doubling/mdbl-2008-hwcd.op3 +++ /dev/null @@ -1,16 +0,0 @@ -A = X1^2 -B = Y1^2 -D = a*A -t0 = X1+Y1 -t1 = t0^2 -t2 = t1-A -E = t2-B -G = D+B -H = D-B -t3 = G-2 -X3 = E*t3 -Y3 = G*H -T3 = E*H -t4 = G^2 -t5 = 2*G -Z3 = t4-t5 diff --git a/pyecsca/ec/efd/twisted/extended-1/negation/neg b/pyecsca/ec/efd/twisted/extended-1/negation/neg deleted file mode 100644 index 600f95e..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/negation/neg +++ /dev/null @@ -1,4 +0,0 @@ -compute X3 = -X1 -compute Y3 = Y1 -compute Z3 = Z1 -compute T3 = -T1
\ No newline at end of file diff --git a/pyecsca/ec/efd/twisted/extended-1/negation/neg.op3 b/pyecsca/ec/efd/twisted/extended-1/negation/neg.op3 deleted file mode 100644 index 7e7a4c1..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/negation/neg.op3 +++ /dev/null @@ -1,4 +0,0 @@ -X3 = -X1 -Y3 = Y1 -Z3 = Z1 -T3 = -T1
\ No newline at end of file diff --git a/pyecsca/ec/efd/twisted/extended-1/tripling/tpl-2015-c b/pyecsca/ec/efd/twisted/extended-1/tripling/tpl-2015-c deleted file mode 100644 index 7de3ef9..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/tripling/tpl-2015-c +++ /dev/null @@ -1,18 +0,0 @@ -source 2015 Chuengsatiansup -compute YY = Y1^2 -compute aXX = a X1^2 -compute Ap = YY + aXX -compute B = 2(2 Z1^2 - Ap) -compute xB = aXX B -compute yB = YY B -compute AA = Ap (YY - aXX) -compute F = AA - yB -compute G = AA + xB -compute xE = X1 (yB + AA) -compute yH = Y1 (xB - AA) -compute zF = Z1 F -compute zG = Z1 G -compute X3 = xE zF -compute Y3 = yH zG -compute Z3 = zF zG -compute T3 = xE yH diff --git a/pyecsca/ec/efd/twisted/extended-1/tripling/tpl-2015-c.op3 b/pyecsca/ec/efd/twisted/extended-1/tripling/tpl-2015-c.op3 deleted file mode 100644 index 858abf2..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/tripling/tpl-2015-c.op3 +++ /dev/null @@ -1,24 +0,0 @@ -YY = Y1^2 -t0 = X1^2 -aXX = a*t0 -Ap = YY+aXX -t1 = Z1^2 -t2 = 2*t1 -t3 = t2-Ap -B = 2*t3 -xB = aXX*B -yB = YY*B -t4 = YY-aXX -AA = Ap*t4 -F = AA-yB -G = AA+xB -t5 = yB+AA -xE = X1*t5 -t6 = xB-AA -yH = Y1*t6 -zF = Z1*F -zG = Z1*G -X3 = xE*zF -Y3 = yH*zG -Z3 = zF*zG -T3 = xE*yH diff --git a/pyecsca/ec/efd/twisted/extended-1/variables b/pyecsca/ec/efd/twisted/extended-1/variables deleted file mode 100644 index ba9fb1f..0000000 --- a/pyecsca/ec/efd/twisted/extended-1/variables +++ /dev/null @@ -1,9 +0,0 @@ -name extended coordinates with a=-1 -assume a = -1 -variable X -variable Y -variable Z -variable T -satisfying x = X/Z -satisfying y = Y/Z -satisfying x*y = T/Z diff --git a/pyecsca/ec/efd/twisted/extended/addition/add-2008-hwcd b/pyecsca/ec/efd/twisted/extended/addition/add-2008-hwcd deleted file mode 100644 index 69ebdf3..0000000 --- a/pyecsca/ec/efd/twisted/extended/addition/add-2008-hwcd +++ /dev/null @@ -1,14 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.1 -unified -compute A = X1 X2 -compute B = Y1 Y2 -compute C = T1 d T2 -compute D = Z1 Z2 -compute E = (X1+Y1)(X2+Y2)-A-B -compute F = D - C -compute G = D + C -compute H = B - a A -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended/addition/add-2008-hwcd-2 b/pyecsca/ec/efd/twisted/extended/addition/add-2008-hwcd-2 deleted file mode 100644 index 6f1848d..0000000 --- a/pyecsca/ec/efd/twisted/extended/addition/add-2008-hwcd-2 +++ /dev/null @@ -1,14 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.2 -unified -compute A = X1 X2 -compute B = Y1 Y2 -compute C = Z1 T2 -compute D = T1 Z2 -compute E = D + C -compute F = (X1-Y1)(X2+Y2)+B-A -compute G = B + a A -compute H = D - C -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended/addition/add-2008-hwcd-2.op3 b/pyecsca/ec/efd/twisted/extended/addition/add-2008-hwcd-2.op3 deleted file mode 100644 index 41269cf..0000000 --- a/pyecsca/ec/efd/twisted/extended/addition/add-2008-hwcd-2.op3 +++ /dev/null @@ -1,17 +0,0 @@ -A = X1*X2 -B = Y1*Y2 -C = Z1*T2 -D = T1*Z2 -E = D+C -t0 = X1-Y1 -t1 = X2+Y2 -t2 = t0*t1 -t3 = t2+B -F = t3-A -t4 = a*A -G = B+t4 -H = D-C -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended/addition/add-2008-hwcd.op3 b/pyecsca/ec/efd/twisted/extended/addition/add-2008-hwcd.op3 deleted file mode 100644 index 9374a58..0000000 --- a/pyecsca/ec/efd/twisted/extended/addition/add-2008-hwcd.op3 +++ /dev/null @@ -1,18 +0,0 @@ -A = X1*X2 -B = Y1*Y2 -t0 = d*T2 -C = T1*t0 -D = Z1*Z2 -t1 = X1+Y1 -t2 = X2+Y2 -t3 = t1*t2 -t4 = t3-A -E = t4-B -F = D-C -G = D+C -t5 = a*A -H = B-t5 -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended/addition/madd-2008-hwcd b/pyecsca/ec/efd/twisted/extended/addition/madd-2008-hwcd deleted file mode 100644 index 43efa01..0000000 --- a/pyecsca/ec/efd/twisted/extended/addition/madd-2008-hwcd +++ /dev/null @@ -1,15 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.1 -unified -assume Z2 = 1 -compute A = X1 X2 -compute B = Y1 Y2 -compute C = T1 d T2 -compute D = Z1 -compute E = (X1+Y1)(X2+Y2)-A-B -compute F = D - C -compute G = D + C -compute H = B - a A -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended/addition/madd-2008-hwcd-2 b/pyecsca/ec/efd/twisted/extended/addition/madd-2008-hwcd-2 deleted file mode 100644 index 410ca20..0000000 --- a/pyecsca/ec/efd/twisted/extended/addition/madd-2008-hwcd-2 +++ /dev/null @@ -1,15 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.2 -unified -assume Z2 = 1 -compute A = X1 X2 -compute B = Y1 Y2 -compute C = Z1 T2 -compute D = T1 -compute E = D + C -compute F = (X1-Y1)(X2+Y2)+B-A -compute G = B + a A -compute H = D - C -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended/addition/madd-2008-hwcd-2.op3 b/pyecsca/ec/efd/twisted/extended/addition/madd-2008-hwcd-2.op3 deleted file mode 100644 index bff3029..0000000 --- a/pyecsca/ec/efd/twisted/extended/addition/madd-2008-hwcd-2.op3 +++ /dev/null @@ -1,17 +0,0 @@ -A = X1*X2 -B = Y1*Y2 -C = Z1*T2 -D = T1 -E = D+C -t0 = X1-Y1 -t1 = X2+Y2 -t2 = t0*t1 -t3 = t2+B -F = t3-A -t4 = a*A -G = B+t4 -H = D-C -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended/addition/madd-2008-hwcd.op3 b/pyecsca/ec/efd/twisted/extended/addition/madd-2008-hwcd.op3 deleted file mode 100644 index 9c4b5fd..0000000 --- a/pyecsca/ec/efd/twisted/extended/addition/madd-2008-hwcd.op3 +++ /dev/null @@ -1,18 +0,0 @@ -A = X1*X2 -B = Y1*Y2 -t0 = d*T2 -C = T1*t0 -D = Z1 -t1 = X1+Y1 -t2 = X2+Y2 -t3 = t1*t2 -t4 = t3-A -E = t4-B -F = D-C -G = D+C -t5 = a*A -H = B-t5 -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended/addition/mmadd-2008-hwcd b/pyecsca/ec/efd/twisted/extended/addition/mmadd-2008-hwcd deleted file mode 100644 index 77f2ef7..0000000 --- a/pyecsca/ec/efd/twisted/extended/addition/mmadd-2008-hwcd +++ /dev/null @@ -1,15 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.1, plus assumption Z1=1, plus standard simplification -unified -assume Z1 = 1 -assume Z2 = 1 -compute A = X1 X2 -compute B = Y1 Y2 -compute C = T1 d T2 -compute E = (X1+Y1)(X2+Y2)-A-B -compute F = 1 - C -compute G = 1 + C -compute H = B - a A -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = 1 - C^2 diff --git a/pyecsca/ec/efd/twisted/extended/addition/mmadd-2008-hwcd-2 b/pyecsca/ec/efd/twisted/extended/addition/mmadd-2008-hwcd-2 deleted file mode 100644 index e8bcf9a..0000000 --- a/pyecsca/ec/efd/twisted/extended/addition/mmadd-2008-hwcd-2 +++ /dev/null @@ -1,16 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.2, plus assumption Z1=1 -unified -assume Z1 = 1 -assume Z2 = 1 -compute A = X1 X2 -compute B = Y1 Y2 -compute C = T2 -compute D = T1 -compute E = D + C -compute F = (X1-Y1)(X2+Y2)+B-A -compute G = B + a A -compute H = D - C -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended/addition/mmadd-2008-hwcd-2.op3 b/pyecsca/ec/efd/twisted/extended/addition/mmadd-2008-hwcd-2.op3 deleted file mode 100644 index 66fa350..0000000 --- a/pyecsca/ec/efd/twisted/extended/addition/mmadd-2008-hwcd-2.op3 +++ /dev/null @@ -1,17 +0,0 @@ -A = X1*X2 -B = Y1*Y2 -C = T2 -D = T1 -E = D+C -t0 = X1-Y1 -t1 = X2+Y2 -t2 = t0*t1 -t3 = t2+B -F = t3-A -t4 = a*A -G = B+t4 -H = D-C -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended/addition/mmadd-2008-hwcd.op3 b/pyecsca/ec/efd/twisted/extended/addition/mmadd-2008-hwcd.op3 deleted file mode 100644 index f4bc7f6..0000000 --- a/pyecsca/ec/efd/twisted/extended/addition/mmadd-2008-hwcd.op3 +++ /dev/null @@ -1,18 +0,0 @@ -A = X1*X2 -B = Y1*Y2 -t0 = d*T2 -C = T1*t0 -t1 = X1+Y1 -t2 = X2+Y2 -t3 = t1*t2 -t4 = t3-A -E = t4-B -F = 1-C -G = 1+C -t5 = a*A -H = B-t5 -X3 = E*F -Y3 = G*H -T3 = E*H -t6 = C^2 -Z3 = 1-t6 diff --git a/pyecsca/ec/efd/twisted/extended/doubling/dbl-2008-hwcd b/pyecsca/ec/efd/twisted/extended/doubling/dbl-2008-hwcd deleted file mode 100644 index 1c37c7f..0000000 --- a/pyecsca/ec/efd/twisted/extended/doubling/dbl-2008-hwcd +++ /dev/null @@ -1,13 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.3 -compute A = X1^2 -compute B = Y1^2 -compute C = 2 Z1^2 -compute D = a A -compute E = (X1+Y1)^2-A-B -compute G = D + B -compute F = G - C -compute H = D - B -compute X3 = E F -compute Y3 = G H -compute T3 = E H -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/extended/doubling/dbl-2008-hwcd.op3 b/pyecsca/ec/efd/twisted/extended/doubling/dbl-2008-hwcd.op3 deleted file mode 100644 index dc3d945..0000000 --- a/pyecsca/ec/efd/twisted/extended/doubling/dbl-2008-hwcd.op3 +++ /dev/null @@ -1,16 +0,0 @@ -A = X1^2 -B = Y1^2 -t0 = Z1^2 -C = 2*t0 -D = a*A -t1 = X1+Y1 -t2 = t1^2 -t3 = t2-A -E = t3-B -G = D+B -F = G-C -H = D-B -X3 = E*F -Y3 = G*H -T3 = E*H -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/extended/doubling/mdbl-2008-hwcd b/pyecsca/ec/efd/twisted/extended/doubling/mdbl-2008-hwcd deleted file mode 100644 index faf5c42..0000000 --- a/pyecsca/ec/efd/twisted/extended/doubling/mdbl-2008-hwcd +++ /dev/null @@ -1,12 +0,0 @@ -source 2008 Hisil--Wong--Carter--Dawson, http://eprint.iacr.org/2008/522, Section 3.3, plus assumption Z1=1, plus standard simplification -assume Z1 = 1 -compute A = X1^2 -compute B = Y1^2 -compute D = a A -compute E = (X1+Y1)^2-A-B -compute G = D + B -compute H = D - B -compute X3 = E (G - 2) -compute Y3 = G H -compute T3 = E H -compute Z3 = G^2 - 2 G diff --git a/pyecsca/ec/efd/twisted/extended/doubling/mdbl-2008-hwcd.op3 b/pyecsca/ec/efd/twisted/extended/doubling/mdbl-2008-hwcd.op3 deleted file mode 100644 index c36ded1..0000000 --- a/pyecsca/ec/efd/twisted/extended/doubling/mdbl-2008-hwcd.op3 +++ /dev/null @@ -1,16 +0,0 @@ -A = X1^2 -B = Y1^2 -D = a*A -t0 = X1+Y1 -t1 = t0^2 -t2 = t1-A -E = t2-B -G = D+B -H = D-B -t3 = G-2 -X3 = E*t3 -Y3 = G*H -T3 = E*H -t4 = G^2 -t5 = 2*G -Z3 = t4-t5 diff --git a/pyecsca/ec/efd/twisted/extended/negation/neg b/pyecsca/ec/efd/twisted/extended/negation/neg deleted file mode 100644 index 600f95e..0000000 --- a/pyecsca/ec/efd/twisted/extended/negation/neg +++ /dev/null @@ -1,4 +0,0 @@ -compute X3 = -X1 -compute Y3 = Y1 -compute Z3 = Z1 -compute T3 = -T1
\ No newline at end of file diff --git a/pyecsca/ec/efd/twisted/extended/negation/neg.op3 b/pyecsca/ec/efd/twisted/extended/negation/neg.op3 deleted file mode 100644 index 7e7a4c1..0000000 --- a/pyecsca/ec/efd/twisted/extended/negation/neg.op3 +++ /dev/null @@ -1,4 +0,0 @@ -X3 = -X1 -Y3 = Y1 -Z3 = Z1 -T3 = -T1
\ No newline at end of file diff --git a/pyecsca/ec/efd/twisted/extended/tripling/tpl-2015-c b/pyecsca/ec/efd/twisted/extended/tripling/tpl-2015-c deleted file mode 100644 index 7de3ef9..0000000 --- a/pyecsca/ec/efd/twisted/extended/tripling/tpl-2015-c +++ /dev/null @@ -1,18 +0,0 @@ -source 2015 Chuengsatiansup -compute YY = Y1^2 -compute aXX = a X1^2 -compute Ap = YY + aXX -compute B = 2(2 Z1^2 - Ap) -compute xB = aXX B -compute yB = YY B -compute AA = Ap (YY - aXX) -compute F = AA - yB -compute G = AA + xB -compute xE = X1 (yB + AA) -compute yH = Y1 (xB - AA) -compute zF = Z1 F -compute zG = Z1 G -compute X3 = xE zF -compute Y3 = yH zG -compute Z3 = zF zG -compute T3 = xE yH diff --git a/pyecsca/ec/efd/twisted/extended/tripling/tpl-2015-c.op3 b/pyecsca/ec/efd/twisted/extended/tripling/tpl-2015-c.op3 deleted file mode 100644 index 858abf2..0000000 --- a/pyecsca/ec/efd/twisted/extended/tripling/tpl-2015-c.op3 +++ /dev/null @@ -1,24 +0,0 @@ -YY = Y1^2 -t0 = X1^2 -aXX = a*t0 -Ap = YY+aXX -t1 = Z1^2 -t2 = 2*t1 -t3 = t2-Ap -B = 2*t3 -xB = aXX*B -yB = YY*B -t4 = YY-aXX -AA = Ap*t4 -F = AA-yB -G = AA+xB -t5 = yB+AA -xE = X1*t5 -t6 = xB-AA -yH = Y1*t6 -zF = Z1*F -zG = Z1*G -X3 = xE*zF -Y3 = yH*zG -Z3 = zF*zG -T3 = xE*yH diff --git a/pyecsca/ec/efd/twisted/extended/variables b/pyecsca/ec/efd/twisted/extended/variables deleted file mode 100644 index 44e4865..0000000 --- a/pyecsca/ec/efd/twisted/extended/variables +++ /dev/null @@ -1,8 +0,0 @@ -name extended coordinates -variable X -variable Y -variable Z -variable T -satisfying x = X/Z -satisfying y = Y/Z -satisfying x*y = T/Z diff --git a/pyecsca/ec/efd/twisted/inverted/addition/add-2008-bbjlp b/pyecsca/ec/efd/twisted/inverted/addition/add-2008-bbjlp deleted file mode 100644 index ed221e4..0000000 --- a/pyecsca/ec/efd/twisted/inverted/addition/add-2008-bbjlp +++ /dev/null @@ -1,12 +0,0 @@ -source 2008 Bernstein--Birkner--Joye--Lange--Peters http://eprint.iacr.org/2008/013, Section 6 -unified -compute A = Z1 Z2 -compute B = d A^2 -compute C = X1 X2 -compute D = Y1 Y2 -compute E = C D -compute H = C - a D -compute I = (X1 + Y1)(X2 + Y2) - C - D -compute X3 = (E + B) H -compute Y3 = (E - B) I -compute Z3 = A H I diff --git a/pyecsca/ec/efd/twisted/inverted/addition/add-2008-bbjlp.op3 b/pyecsca/ec/efd/twisted/inverted/addition/add-2008-bbjlp.op3 deleted file mode 100644 index 236478a..0000000 --- a/pyecsca/ec/efd/twisted/inverted/addition/add-2008-bbjlp.op3 +++ /dev/null @@ -1,19 +0,0 @@ -A = Z1*Z2 -t0 = A^2 -B = d*t0 -C = X1*X2 -D = Y1*Y2 -E = C*D -t1 = a*D -H = C-t1 -t2 = X1+Y1 -t3 = X2+Y2 -t4 = t2*t3 -t5 = t4-C -I = t5-D -t6 = E+B -X3 = t6*H -t7 = E-B -Y3 = t7*I -t8 = H*I -Z3 = A*t8 diff --git a/pyecsca/ec/efd/twisted/inverted/addition/madd-2008-bbjlp b/pyecsca/ec/efd/twisted/inverted/addition/madd-2008-bbjlp deleted file mode 100644 index 66abd07..0000000 --- a/pyecsca/ec/efd/twisted/inverted/addition/madd-2008-bbjlp +++ /dev/null @@ -1,12 +0,0 @@ -source 2008 Bernstein--Birkner--Joye--Lange--Peters http://eprint.iacr.org/2008/013, Section 6, plus Z2=1, plus common-subexpression elimination -unified -assume Z2 = 1 -compute B = d Z1^2 -compute C = X1 X2 -compute D = Y1 Y2 -compute E = C D -compute H = C - a D -compute I = (X1 + Y1)(X2 + Y2) - C - D -compute X3 = (E + B) H -compute Y3 = (E - B) I -compute Z3 = Z1 H I diff --git a/pyecsca/ec/efd/twisted/inverted/addition/madd-2008-bbjlp.op3 b/pyecsca/ec/efd/twisted/inverted/addition/madd-2008-bbjlp.op3 deleted file mode 100644 index 05075c2..0000000 --- a/pyecsca/ec/efd/twisted/inverted/addition/madd-2008-bbjlp.op3 +++ /dev/null @@ -1,18 +0,0 @@ -t0 = Z1^2 -B = d*t0 -C = X1*X2 -D = Y1*Y2 -E = C*D -t1 = a*D -H = C-t1 -t2 = X1+Y1 -t3 = X2+Y2 -t4 = t2*t3 -t5 = t4-C -I = t5-D -t6 = E+B -X3 = t6*H -t7 = E-B -Y3 = t7*I -t8 = H*I -Z3 = Z1*t8 diff --git a/pyecsca/ec/efd/twisted/inverted/addition/mmadd-2008-bbjlp b/pyecsca/ec/efd/twisted/inverted/addition/mmadd-2008-bbjlp deleted file mode 100644 index 5a0685e..0000000 --- a/pyecsca/ec/efd/twisted/inverted/addition/mmadd-2008-bbjlp +++ /dev/null @@ -1,12 +0,0 @@ -source 2008 Bernstein--Birkner--Joye--Lange--Peters http://eprint.iacr.org/2008/013, Section 6, plus Z2=1, plus Z1=1, plus common-subexpression elimination -unified -assume Z1 = 1 -assume Z2 = 1 -compute C = X1 X2 -compute D = Y1 Y2 -compute E = C D -compute H = C - a D -compute I = (X1 + Y1)(X2 + Y2) - C - D -compute X3 = (E + d) H -compute Y3 = (E - d) I -compute Z3 = H I diff --git a/pyecsca/ec/efd/twisted/inverted/addition/mmadd-2008-bbjlp.op3 b/pyecsca/ec/efd/twisted/inverted/addition/mmadd-2008-bbjlp.op3 deleted file mode 100644 index fe012af..0000000 --- a/pyecsca/ec/efd/twisted/inverted/addition/mmadd-2008-bbjlp.op3 +++ /dev/null @@ -1,15 +0,0 @@ -C = X1*X2 -D = Y1*Y2 -E = C*D -t0 = a*D -H = C-t0 -t1 = X1+Y1 -t2 = X2+Y2 -t3 = t1*t2 -t4 = t3-C -I = t4-D -t5 = E+d -X3 = t5*H -t6 = E-d -Y3 = t6*I -Z3 = H*I diff --git a/pyecsca/ec/efd/twisted/inverted/doubling/dbl-2008-bbjlp b/pyecsca/ec/efd/twisted/inverted/doubling/dbl-2008-bbjlp deleted file mode 100644 index ca82407..0000000 --- a/pyecsca/ec/efd/twisted/inverted/doubling/dbl-2008-bbjlp +++ /dev/null @@ -1,12 +0,0 @@ -source 2008 Bernstein--Birkner--Joye--Lange--Peters http://eprint.iacr.org/2008/013, Section 6 -parameter d2 -assume d2 = 2*d -compute A = X1^2 -compute B = Y1^2 -compute U = a B -compute C = A + U -compute D = A - U -compute E = (X1 + Y1)^2 - A - B -compute X3 = C D -compute Y3 = E (C - d2 Z1^2) -compute Z3 = D E diff --git a/pyecsca/ec/efd/twisted/inverted/doubling/dbl-2008-bbjlp.op3 b/pyecsca/ec/efd/twisted/inverted/doubling/dbl-2008-bbjlp.op3 deleted file mode 100644 index 0a19ffe..0000000 --- a/pyecsca/ec/efd/twisted/inverted/doubling/dbl-2008-bbjlp.op3 +++ /dev/null @@ -1,15 +0,0 @@ -A = X1^2 -B = Y1^2 -U = a*B -C = A+U -D = A-U -t0 = X1+Y1 -t1 = t0^2 -t2 = t1-A -E = t2-B -X3 = C*D -t3 = Z1^2 -t4 = d2*t3 -t5 = C-t4 -Y3 = E*t5 -Z3 = D*E diff --git a/pyecsca/ec/efd/twisted/inverted/doubling/mdbl-2008-bbjlp b/pyecsca/ec/efd/twisted/inverted/doubling/mdbl-2008-bbjlp deleted file mode 100644 index b3fbf0b..0000000 --- a/pyecsca/ec/efd/twisted/inverted/doubling/mdbl-2008-bbjlp +++ /dev/null @@ -1,13 +0,0 @@ -source 2008 Bernstein--Birkner--Joye--Lange--Peters http://eprint.iacr.org/2008/013, Section 6, plus Z1=1 -assume Z1 = 1 -parameter d2 -assume d2 = 2*d -compute A = X1^2 -compute B = Y1^2 -compute U = a B -compute C = A + U -compute D = A - U -compute E = (X1 + Y1)^2 - A - B -compute X3 = C D -compute Y3 = E (C - d2) -compute Z3 = D E diff --git a/pyecsca/ec/efd/twisted/inverted/doubling/mdbl-2008-bbjlp.op3 b/pyecsca/ec/efd/twisted/inverted/doubling/mdbl-2008-bbjlp.op3 deleted file mode 100644 index 659aaf4..0000000 --- a/pyecsca/ec/efd/twisted/inverted/doubling/mdbl-2008-bbjlp.op3 +++ /dev/null @@ -1,13 +0,0 @@ -A = X1^2 -B = Y1^2 -U = a*B -C = A+U -D = A-U -t0 = X1+Y1 -t1 = t0^2 -t2 = t1-A -E = t2-B -X3 = C*D -t3 = C-d2 -Y3 = E*t3 -Z3 = D*E diff --git a/pyecsca/ec/efd/twisted/inverted/negation/neg b/pyecsca/ec/efd/twisted/inverted/negation/neg deleted file mode 100644 index b0e7acd..0000000 --- a/pyecsca/ec/efd/twisted/inverted/negation/neg +++ /dev/null @@ -1,3 +0,0 @@ -compute X3 = -X1 -compute Y3 = Y1 -compute Z3 = Z1
\ No newline at end of file diff --git a/pyecsca/ec/efd/twisted/inverted/negation/neg.op3 b/pyecsca/ec/efd/twisted/inverted/negation/neg.op3 deleted file mode 100644 index 36cb8c8..0000000 --- a/pyecsca/ec/efd/twisted/inverted/negation/neg.op3 +++ /dev/null @@ -1,3 +0,0 @@ -X3 = -X1 -Y3 = Y1 -Z3 = Z1
\ No newline at end of file diff --git a/pyecsca/ec/efd/twisted/inverted/variables b/pyecsca/ec/efd/twisted/inverted/variables deleted file mode 100644 index 97014ad..0000000 --- a/pyecsca/ec/efd/twisted/inverted/variables +++ /dev/null @@ -1,6 +0,0 @@ -name inverted coordinates -variable X -variable Y -variable Z -satisfying x = Z/X -satisfying y = Z/Y diff --git a/pyecsca/ec/efd/twisted/projective/addition/add-2008-bbjlp b/pyecsca/ec/efd/twisted/projective/addition/add-2008-bbjlp deleted file mode 100644 index 01be983..0000000 --- a/pyecsca/ec/efd/twisted/projective/addition/add-2008-bbjlp +++ /dev/null @@ -1,12 +0,0 @@ -source 2008 Bernstein--Birkner--Joye--Lange--Peters http://eprint.iacr.org/2008/013 Section 6 -unified -compute A = Z1 Z2 -compute B = A^2 -compute C = X1 X2 -compute D = Y1 Y2 -compute E = d C D -compute F = B-E -compute G = B+E -compute X3 = A F ((X1+Y1)(X2+Y2)-C-D) -compute Y3 = A G (D-a C) -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/projective/addition/add-2008-bbjlp.op3 b/pyecsca/ec/efd/twisted/projective/addition/add-2008-bbjlp.op3 deleted file mode 100644 index 6ea2404..0000000 --- a/pyecsca/ec/efd/twisted/projective/addition/add-2008-bbjlp.op3 +++ /dev/null @@ -1,20 +0,0 @@ -A = Z1*Z2 -B = A^2 -C = X1*X2 -D = Y1*Y2 -t0 = C*D -E = d*t0 -F = B-E -G = B+E -t1 = X1+Y1 -t2 = X2+Y2 -t3 = t1*t2 -t4 = t3-C -t5 = t4-D -t6 = F*t5 -X3 = A*t6 -t7 = a*C -t8 = D-t7 -t9 = G*t8 -Y3 = A*t9 -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/projective/addition/madd-2008-bbjlp b/pyecsca/ec/efd/twisted/projective/addition/madd-2008-bbjlp deleted file mode 100644 index f13cf42..0000000 --- a/pyecsca/ec/efd/twisted/projective/addition/madd-2008-bbjlp +++ /dev/null @@ -1,12 +0,0 @@ -source 2008 Bernstein--Birkner--Joye--Lange--Peters http://eprint.iacr.org/2008/013 Section 6, plus Z2=1, plus common-subexpression elimination -unified -assume Z2 = 1 -compute B = Z1^2 -compute C = X1 X2 -compute D = Y1 Y2 -compute E = d C D -compute F = B-E -compute G = B+E -compute X3 = Z1 F ((X1+Y1)(X2+Y2)-C-D) -compute Y3 = Z1 G (D-a C) -compute Z3 = F G diff --git a/pyecsca/ec/efd/twisted/projective/addition/madd-2008-bbjlp.op3 b/pyecsca/ec/efd/twisted/projective/addition/madd-2008-bbjlp.op3 deleted file mode 100644 index 68e4356..0000000 --- a/pyecsca/ec/efd/twisted/projective/addition/madd-2008-bbjlp.op3 +++ /dev/null @@ -1,19 +0,0 @@ -B = Z1^2 -C = X1*X2 -D = Y1*Y2 -t0 = C*D -E = d*t0 -F = B-E -G = B+E -t1 = X1+Y1 -t2 = X2+Y2 -t3 = t1*t2 -t4 = t3-C -t5 = t4-D -t6 = F*t5 -X3 = Z1*t6 -t7 = a*C -t8 = D-t7 -t9 = G*t8 -Y3 = Z1*t9 -Z3 = F*G diff --git a/pyecsca/ec/efd/twisted/projective/addition/mmadd-2008-bbjlp b/pyecsca/ec/efd/twisted/projective/addition/mmadd-2008-bbjlp deleted file mode 100644 index 85d2f8b..0000000 --- a/pyecsca/ec/efd/twisted/projective/addition/mmadd-2008-bbjlp +++ /dev/null @@ -1,10 +0,0 @@ -source 2008 Bernstein--Birkner--Joye--Lange--Peters http://eprint.iacr.org/2008/013 Section 6, plus Z2=1, plus Z1=1, plus standard simplification -unified -assume Z1 = 1 -assume Z2 = 1 -compute C = X1 X2 -compute D = Y1 Y2 -compute E = d C D -compute X3 = (1-E) ((X1+Y1)(X2+Y2)-C-D) -compute Y3 = (1+E) (D-a C) -compute Z3 = 1-E^2 diff --git a/pyecsca/ec/efd/twisted/projective/addition/mmadd-2008-bbjlp.op3 b/pyecsca/ec/efd/twisted/projective/addition/mmadd-2008-bbjlp.op3 deleted file mode 100644 index dc0a2a1..0000000 --- a/pyecsca/ec/efd/twisted/projective/addition/mmadd-2008-bbjlp.op3 +++ /dev/null @@ -1,17 +0,0 @@ -C = X1*X2 -D = Y1*Y2 -t0 = C*D -E = d*t0 -t1 = X1+Y1 -t2 = X2+Y2 -t3 = t1*t2 -t4 = 1-E -t5 = t3-C -t6 = t5-D -X3 = t4*t6 -t7 = a*C -t8 = 1+E -t9 = D-t7 -Y3 = t8*t9 -t10 = E^2 -Z3 = 1-t10 diff --git a/pyecsca/ec/efd/twisted/projective/doubling/dbl-2008-bbjlp b/pyecsca/ec/efd/twisted/projective/doubling/dbl-2008-bbjlp deleted file mode 100644 index 1177262..0000000 --- a/pyecsca/ec/efd/twisted/projective/doubling/dbl-2008-bbjlp +++ /dev/null @@ -1,11 +0,0 @@ -source 2008 Bernstein--Birkner--Joye--Lange--Peters http://eprint.iacr.org/2008/013 -compute B = (X1+Y1)^2 -compute C = X1^2 -compute D = Y1^2 -compute E = a C -compute F = E + D -compute H = Z1^2 -compute J = F - 2 H -compute X3 = (B-C-D)J -compute Y3 = F(E-D) -compute Z3 = F J diff --git a/pyecsca/ec/efd/twisted/projective/doubling/dbl-2008-bbjlp.op3 b/pyecsca/ec/efd/twisted/projective/doubling/dbl-2008-bbjlp.op3 deleted file mode 100644 index ac265b5..0000000 --- a/pyecsca/ec/efd/twisted/projective/doubling/dbl-2008-bbjlp.op3 +++ /dev/null @@ -1,15 +0,0 @@ -t0 = X1+Y1 -B = t0^2 -C = X1^2 -D = Y1^2 -E = a*C -F = E+D -H = Z1^2 -t1 = 2*H -J = F-t1 -t2 = B-C -t3 = t2-D -X3 = t3*J -t4 = E-D -Y3 = F*t4 -Z3 = F*J diff --git a/pyecsca/ec/efd/twisted/projective/doubling/mdbl-2008-bbjlp b/pyecsca/ec/efd/twisted/projective/doubling/mdbl-2008-bbjlp deleted file mode 100644 index a057621..0000000 --- a/pyecsca/ec/efd/twisted/projective/doubling/mdbl-2008-bbjlp +++ /dev/null @@ -1,10 +0,0 @@ -source 2008 Bernstein--Birkner--Joye--Lange--Peters http://eprint.iacr.org/2008/013, plus Z1=1, plus standard simplification -assume Z1 = 1 -compute B = (X1+Y1)^2 -compute C = X1^2 -compute D = Y1^2 -compute E = a C -compute F = E + D -compute X3 = (B-C-D)(F-2) -compute Y3 = F(E-D) -compute Z3 = F^2-2 F diff --git a/pyecsca/ec/efd/twisted/projective/doubling/mdbl-2008-bbjlp.op3 b/pyecsca/ec/efd/twisted/projective/doubling/mdbl-2008-bbjlp.op3 deleted file mode 100644 index dff3391..0000000 --- a/pyecsca/ec/efd/twisted/projective/doubling/mdbl-2008-bbjlp.op3 +++ /dev/null @@ -1,15 +0,0 @@ -t0 = X1+Y1 -B = t0^2 -C = X1^2 -D = Y1^2 -E = a*C -F = E+D -t1 = B-C -t2 = t1-D -t3 = F-2 -X3 = t2*t3 -t4 = E-D -Y3 = F*t4 -t5 = F^2 -t6 = 2*F -Z3 = t5-t6 diff --git a/pyecsca/ec/efd/twisted/projective/negation/neg b/pyecsca/ec/efd/twisted/projective/negation/neg deleted file mode 100644 index b0e7acd..0000000 --- a/pyecsca/ec/efd/twisted/projective/negation/neg +++ /dev/null @@ -1,3 +0,0 @@ -compute X3 = -X1 -compute Y3 = Y1 -compute Z3 = Z1
\ No newline at end of file diff --git a/pyecsca/ec/efd/twisted/projective/negation/neg.op3 b/pyecsca/ec/efd/twisted/projective/negation/neg.op3 deleted file mode 100644 index 36cb8c8..0000000 --- a/pyecsca/ec/efd/twisted/projective/negation/neg.op3 +++ /dev/null @@ -1,3 +0,0 @@ -X3 = -X1 -Y3 = Y1 -Z3 = Z1
\ No newline at end of file diff --git a/pyecsca/ec/efd/twisted/projective/tripling/tpl-2015-c b/pyecsca/ec/efd/twisted/projective/tripling/tpl-2015-c deleted file mode 100644 index c3870d2..0000000 --- a/pyecsca/ec/efd/twisted/projective/tripling/tpl-2015-c +++ /dev/null @@ -1,13 +0,0 @@ -source 2015 Chuengsatiansup -compute YY = Y1^2 -compute aXX = a X1^2 -compute Ap = YY + aXX -compute B = 2(2 Z1^2 - Ap) -compute xB = aXX B -compute yB = YY B -compute AA = Ap (YY - aXX) -compute F = AA - yB -compute G = AA + xB -compute X3 = X1 (yB + AA) F -compute Y3 = Y1 (xB - AA) G -compute Z3 = Z1 F G diff --git a/pyecsca/ec/efd/twisted/projective/tripling/tpl-2015-c.op3 b/pyecsca/ec/efd/twisted/projective/tripling/tpl-2015-c.op3 deleted file mode 100644 index fadf02f..0000000 --- a/pyecsca/ec/efd/twisted/projective/tripling/tpl-2015-c.op3 +++ /dev/null @@ -1,22 +0,0 @@ -YY = Y1^2 -t0 = X1^2 -aXX = a*t0 -Ap = YY+aXX -t1 = Z1^2 -t2 = 2*t1 -t3 = t2-Ap -B = 2*t3 -xB = aXX*B -yB = YY*B -t4 = YY-aXX -AA = Ap*t4 -F = AA-yB -G = AA+xB -t5 = yB+AA -t6 = t5*F -X3 = X1*t6 -t7 = xB-AA -t8 = t7*G -Y3 = Y1*t8 -t9 = F*G -Z3 = Z1*t9 diff --git a/pyecsca/ec/efd/twisted/projective/variables b/pyecsca/ec/efd/twisted/projective/variables deleted file mode 100644 index 9c6045b..0000000 --- a/pyecsca/ec/efd/twisted/projective/variables +++ /dev/null @@ -1,6 +0,0 @@ -name projective coordinates -variable X -variable Y -variable Z -satisfying x = X/Z -satisfying y = Y/Z |