diff options
Diffstat (limited to 'pyecsca/ec/efd/edwards/projective/addition')
24 files changed, 0 insertions, 499 deletions
diff --git a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl b/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl deleted file mode 100644 index 49d14c7..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl +++ /dev/null @@ -1,12 +0,0 @@ -source 2007 Bernstein--Lange -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-C) -compute Z3 = c F G diff --git a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-2 b/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-2 deleted file mode 100644 index 1d9cd2f..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-2 +++ /dev/null @@ -1,31 +0,0 @@ -source 2007 Bernstein--Lange -unified -compute R1 = X1 -compute R2 = Y1 -compute R3 = Z1 -compute R4 = X2 -compute R5 = Y2 -compute R6 = Z2 -compute R3 = R3 R6 -compute R7 = R1+R2 -compute R8 = R4+R5 -compute R1 = R1 R4 -compute R2 = R2 R5 -compute R7 = R7 R8 -compute R7 = R7-R1 -compute R7 = R7-R2 -compute R7 = R7 R3 -compute R8 = R1 R2 -compute R8 = d R8 -compute R2 = R2-R1 -compute R2 = R2 R3 -compute R3 = R3^2 -compute R1 = R3-R8 -compute R3 = R3+R8 -compute R2 = R2 R3 -compute R3 = R3 R1 -compute R1 = R1 R7 -compute R3 = c R3 -compute X3 = R1 -compute Y3 = R2 -compute Z3 = R3 diff --git a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-2.op3 b/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-2.op3 deleted file mode 100644 index 37c2595..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-2.op3 +++ /dev/null @@ -1,29 +0,0 @@ -R1 = X1 -R2 = Y1 -R3 = Z1 -R4 = X2 -R5 = Y2 -R6 = Z2 -R3 = R3*R6 -R7 = R1+R2 -R8 = R4+R5 -R1 = R1*R4 -R2 = R2*R5 -R7 = R7*R8 -R7 = R7-R1 -R7 = R7-R2 -R7 = R7*R3 -R8 = R1*R2 -R8 = d*R8 -R2 = R2-R1 -R2 = R2*R3 -R3 = R3^2 -R1 = R3-R8 -R3 = R3+R8 -R2 = R2*R3 -R3 = R3*R1 -R1 = R1*R7 -R3 = c*R3 -X3 = R1 -Y3 = R2 -Z3 = R3 diff --git a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-3 b/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-3 deleted file mode 100644 index f89c161..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-3 +++ /dev/null @@ -1,16 +0,0 @@ -source 2007 Bernstein--Lange -unified -parameter c2 -assume c2 = 2*c -compute A = Z1 Z2 -compute B = A^2 -compute C = X1 X2 -compute D = Y1 Y2 -compute E = d C D -compute BB = B^2 -compute EE = E^2 -compute H = (A+B)^2-BB -compute I = (A+E)^2-EE -compute X3 = (H-I)((X1+Y1)(X2+Y2)-C-D) -compute Y3 = (H+I-2 B)(D-C) -compute Z3 = c2(BB-EE) diff --git a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-3.op3 b/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-3.op3 deleted file mode 100644 index 5c9f508..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-3.op3 +++ /dev/null @@ -1,28 +0,0 @@ -A = Z1*Z2 -B = A^2 -C = X1*X2 -D = Y1*Y2 -t0 = C*D -E = d*t0 -BB = B^2 -EE = E^2 -t1 = A+B -t2 = t1^2 -H = t2-BB -t3 = A+E -t4 = t3^2 -I = t4-EE -t5 = X1+Y1 -t6 = X2+Y2 -t7 = t5*t6 -t8 = H-I -t9 = t7-C -t10 = t9-D -X3 = t8*t10 -t11 = 2*B -t12 = H+I -t13 = t12-t11 -t14 = D-C -Y3 = t13*t14 -t15 = BB-EE -Z3 = c2*t15 diff --git a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-4 b/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-4 deleted file mode 100644 index 0745da9..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-4 +++ /dev/null @@ -1,23 +0,0 @@ -source 2007 Bernstein--Lange -unified -parameter i -assume i^2 = -1 -compute iX2 = i X2 -compute C2 = Y2+iX2 -compute D2 = Y2-iX2 -compute iX1 = i X1 -compute C1 = Y1+iX1 -compute D1 = Y1-iX1 -compute A = Z1 Z2 -compute B = 2 A^2 -compute C = C1 C2 -compute D = D1 D2 -compute L = D+C -compute M = Y1 Y2 -compute N = 2 M-L -compute E = d M N -compute F = B-E -compute G = B+E -compute X3 = i A F (D-C) -compute Y3 = A G L -compute Z3 = c G F diff --git a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-4.op3 b/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-4.op3 deleted file mode 100644 index 3886a57..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl-4.op3 +++ /dev/null @@ -1,27 +0,0 @@ -iX2 = i*X2 -C2 = Y2+iX2 -D2 = Y2-iX2 -iX1 = i*X1 -C1 = Y1+iX1 -D1 = Y1-iX1 -A = Z1*Z2 -t0 = A^2 -B = 2*t0 -C = C1*C2 -D = D1*D2 -L = D+C -M = Y1*Y2 -t1 = 2*M -N = t1-L -t2 = M*N -E = d*t2 -F = B-E -G = B+E -t3 = D-C -t4 = F*t3 -t5 = A*t4 -X3 = i*t5 -t6 = G*L -Y3 = A*t6 -t7 = G*F -Z3 = c*t7 diff --git a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl.op3 b/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl.op3 deleted file mode 100644 index 6fdb17e..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/add-2007-bl.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 = D-C -t8 = G*t7 -Y3 = A*t8 -t9 = F*G -Z3 = c*t9 diff --git a/pyecsca/ec/efd/edwards/projective/addition/add-20080225-hwcd b/pyecsca/ec/efd/edwards/projective/addition/add-20080225-hwcd deleted file mode 100644 index ad7188e..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/add-20080225-hwcd +++ /dev/null @@ -1,17 +0,0 @@ -source 2008.02.25 Hisil--Wong--Carter--Dawson, page 8 -unified -parameter k -assume k*c = 1 -compute A = X1 Z2 -compute B = Y1 Z2 -compute C = Z1 X2 -compute D = Z1 Y2 -compute E = A B -compute F = C D -compute G = E+F -compute H = E-F -compute J = (A-C)(B+D)-H -compute K = (A+D)(B+C)-G -compute X3 = G J -compute Y3 = H K -compute Z3 = k J K diff --git a/pyecsca/ec/efd/edwards/projective/addition/add-20080225-hwcd.op3 b/pyecsca/ec/efd/edwards/projective/addition/add-20080225-hwcd.op3 deleted file mode 100644 index f91ca8d..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/add-20080225-hwcd.op3 +++ /dev/null @@ -1,20 +0,0 @@ -A = X1*Z2 -B = Y1*Z2 -C = Z1*X2 -D = Z1*Y2 -E = A*B -F = C*D -G = E+F -H = E-F -t0 = A-C -t1 = B+D -t2 = t0*t1 -J = t2-H -t3 = A+D -t4 = B+C -t5 = t3*t4 -K = t5-G -X3 = G*J -Y3 = H*K -t6 = J*K -Z3 = k*t6 diff --git a/pyecsca/ec/efd/edwards/projective/addition/add-20090311-hwcd b/pyecsca/ec/efd/edwards/projective/addition/add-20090311-hwcd deleted file mode 100644 index bdfb3fb..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/add-20090311-hwcd +++ /dev/null @@ -1,16 +0,0 @@ -source 2009.03.11 Hisil--Wong--Carter--Dawson, after formula (17), plus denominator elimination -unified -parameter k -assume k*c = 1 -compute R1 = X2 Y2 -compute R2 = Z2^2 -compute A = X1 Y1 -compute B = Z1^2 -compute C = R2 A -compute D = R1 B -compute E = (X1-X2)(Y1+Y2)-A+R1 -compute F = (X1+Y2)(Y1+X2)-A-R1 -compute G = (Z1+Z2)^2-B-R2 -compute X3 = 2 E(C+D) -compute Y3 = 2 F(C-D) -compute Z3 = k E F G diff --git a/pyecsca/ec/efd/edwards/projective/addition/add-20090311-hwcd.op3 b/pyecsca/ec/efd/edwards/projective/addition/add-20090311-hwcd.op3 deleted file mode 100644 index 32dc1c5..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/add-20090311-hwcd.op3 +++ /dev/null @@ -1,29 +0,0 @@ -R1 = X2*Y2 -R2 = Z2^2 -A = X1*Y1 -B = Z1^2 -C = R2*A -D = R1*B -t0 = X1-X2 -t1 = Y1+Y2 -t2 = t0*t1 -t3 = t2-A -E = t3+R1 -t4 = X1+Y2 -t5 = Y1+X2 -t6 = t4*t5 -t7 = t6-A -F = t7-R1 -t8 = Z1+Z2 -t9 = t8^2 -t10 = t9-B -G = t10-R2 -t11 = C+D -t12 = E*t11 -X3 = 2*t12 -t13 = C-D -t14 = F*t13 -Y3 = 2*t14 -t15 = F*G -t16 = E*t15 -Z3 = k*t16 diff --git a/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl b/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl deleted file mode 100644 index 72771c3..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl +++ /dev/null @@ -1,12 +0,0 @@ -source 2007 Bernstein--Lange -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-C) -compute Z3 = c F G diff --git a/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl-2 b/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl-2 deleted file mode 100644 index f309991..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl-2 +++ /dev/null @@ -1,30 +0,0 @@ -source 2007 Bernstein--Lange -unified -assume Z2 = 1 -compute R1 = X1 -compute R2 = Y1 -compute R3 = Z1 -compute R4 = X2 -compute R5 = Y2 -compute R7 = R1+R2 -compute R6 = R4+R5 -compute R1 = R1 R4 -compute R2 = R2 R5 -compute R7 = R7 R6 -compute R7 = R7-R1 -compute R7 = R7-R2 -compute R7 = R7 R3 -compute R6 = R1 R2 -compute R6 = d R6 -compute R2 = R2-R1 -compute R2 = R2 R3 -compute R3 = R3^2 -compute R1 = R3-R6 -compute R3 = R3+R6 -compute R2 = R2 R3 -compute R3 = R3 R1 -compute R1 = R1 R7 -compute R3 = c R3 -compute X3 = R1 -compute Y3 = R2 -compute Z3 = R3 diff --git a/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl-2.op3 b/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl-2.op3 deleted file mode 100644 index 4b605ad..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl-2.op3 +++ /dev/null @@ -1,27 +0,0 @@ -R1 = X1 -R2 = Y1 -R3 = Z1 -R4 = X2 -R5 = Y2 -R7 = R1+R2 -R6 = R4+R5 -R1 = R1*R4 -R2 = R2*R5 -R7 = R7*R6 -R7 = R7-R1 -R7 = R7-R2 -R7 = R7*R3 -R6 = R1*R2 -R6 = d*R6 -R2 = R2-R1 -R2 = R2*R3 -R3 = R3^2 -R1 = R3-R6 -R3 = R3+R6 -R2 = R2*R3 -R3 = R3*R1 -R1 = R1*R7 -R3 = c*R3 -X3 = R1 -Y3 = R2 -Z3 = R3 diff --git a/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl-3 b/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl-3 deleted file mode 100644 index 149ab61..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl-3 +++ /dev/null @@ -1,16 +0,0 @@ -source 2007 Bernstein--Lange -unified -parameter c2 -assume c2 = 2*c -assume Z2 = 1 -compute B = Z1^2 -compute C = X1 X2 -compute D = Y1 Y2 -compute E = d C D -compute BB = B^2 -compute EE = E^2 -compute H = (Z1+B)^2-BB -compute I = (Z1+E)^2-EE -compute X3 = (H-I)((X1+Y1)(X2+Y2)-C-D) -compute Y3 = (H+I-2 B)(D-C) -compute Z3 = c2(BB-EE) diff --git a/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl-3.op3 b/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl-3.op3 deleted file mode 100644 index 1aff593..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl-3.op3 +++ /dev/null @@ -1,27 +0,0 @@ -B = Z1^2 -C = X1*X2 -D = Y1*Y2 -t0 = C*D -E = d*t0 -BB = B^2 -EE = E^2 -t1 = Z1+B -t2 = t1^2 -H = t2-BB -t3 = Z1+E -t4 = t3^2 -I = t4-EE -t5 = X1+Y1 -t6 = X2+Y2 -t7 = t5*t6 -t8 = H-I -t9 = t7-C -t10 = t9-D -X3 = t8*t10 -t11 = 2*B -t12 = H+I -t13 = t12-t11 -t14 = D-C -Y3 = t13*t14 -t15 = BB-EE -Z3 = c2*t15 diff --git a/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl.op3 b/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl.op3 deleted file mode 100644 index 4da6bf9..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/madd-2007-bl.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 = D-C -t8 = G*t7 -Y3 = Z1*t8 -t9 = F*G -Z3 = c*t9 diff --git a/pyecsca/ec/efd/edwards/projective/addition/madd-20080225-hwcd b/pyecsca/ec/efd/edwards/projective/addition/madd-20080225-hwcd deleted file mode 100644 index fde623e..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/madd-20080225-hwcd +++ /dev/null @@ -1,18 +0,0 @@ -source 2008.02.25 Hisil--Wong--Carter--Dawson, page 8 -unified -parameter k -assume k*c = 1 -assume Z2 = 1 -compute A = X1 -compute B = Y1 -compute C = Z1 X2 -compute D = Z1 Y2 -compute E = A B -compute F = C D -compute G = E+F -compute H = E-F -compute J = (A-C)(B+D)-H -compute K = (A+D)(B+C)-G -compute X3 = G J -compute Y3 = H K -compute Z3 = k J K diff --git a/pyecsca/ec/efd/edwards/projective/addition/madd-20080225-hwcd.op3 b/pyecsca/ec/efd/edwards/projective/addition/madd-20080225-hwcd.op3 deleted file mode 100644 index 22ea53d..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/madd-20080225-hwcd.op3 +++ /dev/null @@ -1,20 +0,0 @@ -A = X1 -B = Y1 -C = Z1*X2 -D = Z1*Y2 -E = A*B -F = C*D -G = E+F -H = E-F -t0 = A-C -t1 = B+D -t2 = t0*t1 -J = t2-H -t3 = A+D -t4 = B+C -t5 = t3*t4 -K = t5-G -X3 = G*J -Y3 = H*K -t6 = J*K -Z3 = k*t6 diff --git a/pyecsca/ec/efd/edwards/projective/addition/mmadd-2007-bl b/pyecsca/ec/efd/edwards/projective/addition/mmadd-2007-bl deleted file mode 100644 index ff09dd2..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/mmadd-2007-bl +++ /dev/null @@ -1,10 +0,0 @@ -source 2007 Bernstein--Lange -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-C) -compute Z3 = c(1-E^2) diff --git a/pyecsca/ec/efd/edwards/projective/addition/mmadd-2007-bl.op3 b/pyecsca/ec/efd/edwards/projective/addition/mmadd-2007-bl.op3 deleted file mode 100644 index 1f64eff..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/mmadd-2007-bl.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 = 1+E -t8 = D-C -Y3 = t7*t8 -t9 = E^2 -t10 = 1-t9 -Z3 = c*t10 diff --git a/pyecsca/ec/efd/edwards/projective/addition/xmadd-2007-hcd b/pyecsca/ec/efd/edwards/projective/addition/xmadd-2007-hcd deleted file mode 100644 index c24559e..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/xmadd-2007-hcd +++ /dev/null @@ -1,19 +0,0 @@ -source 2007 Hisil--Carter--Dawson -unified -assume X2 = 1 -compute T0 = X1 Y2 -compute T0 = T0+Y1 -compute Y3 = Y1 Y2 -compute T1 = Y3 X1 -compute Y3 = Y3-X1 -compute Z3 = Z1 Z2 -compute X3 = T0 Z3 -compute Y3 = Y3 Z3 -compute T1 = d T1 -compute Z3 = Z3^2 -compute T0 = Z3-T1 -compute Z3 = Z3+T1 -compute X3 = X3 T0 -compute Y3 = Y3 Z3 -compute Z3 = Z3 T0 -compute Z3 = c Z3 diff --git a/pyecsca/ec/efd/edwards/projective/addition/xmadd-2007-hcd.op3 b/pyecsca/ec/efd/edwards/projective/addition/xmadd-2007-hcd.op3 deleted file mode 100644 index f607aff..0000000 --- a/pyecsca/ec/efd/edwards/projective/addition/xmadd-2007-hcd.op3 +++ /dev/null @@ -1,16 +0,0 @@ -T0 = X1*Y2 -T0 = T0+Y1 -Y3 = Y1*Y2 -T1 = Y3*X1 -Y3 = Y3-X1 -Z3 = Z1*Z2 -X3 = T0*Z3 -Y3 = Y3*Z3 -T1 = d*T1 -Z3 = Z3^2 -T0 = Z3-T1 -Z3 = Z3+T1 -X3 = X3*T0 -Y3 = Y3*Z3 -Z3 = Z3*T0 -Z3 = c*Z3 |