From 3694c7ba86650e3e8e60a18c8d540e56c5f026fc Mon Sep 17 00:00:00 2001
From: J08nY
Date: Wed, 8 Nov 2023 15:20:14 +0100
Subject: Add BoringSSL P224 formulas.

---
 test/data/formulas/add-boringssl-p224        |  2 ++
 test/data/formulas/add-boringssl-p224.op3    | 23 +++++++++++++++++++++++
 test/data/formulas/dbl-boringssl-p224        |  2 ++
 test/data/formulas/dbl-boringssl-p224.op3    | 20 ++++++++++++++++++++
 test/data/formulas/ladd-bc-r1rv76-x25519.op3 |  2 +-
 5 files changed, 48 insertions(+), 1 deletion(-)
 create mode 100644 test/data/formulas/add-boringssl-p224
 create mode 100644 test/data/formulas/add-boringssl-p224.op3
 create mode 100644 test/data/formulas/dbl-boringssl-p224
 create mode 100644 test/data/formulas/dbl-boringssl-p224.op3

(limited to 'test/data/formulas')

diff --git a/test/data/formulas/add-boringssl-p224 b/test/data/formulas/add-boringssl-p224
new file mode 100644
index 0000000..f3b8097
--- /dev/null
+++ b/test/data/formulas/add-boringssl-p224
@@ -0,0 +1,2 @@
+source BoringSSL bfa8369 https://github.com/google/boringssl/blob/bfa8369795b7533a222a72b7a1bc928941cd66bf/crypto/fipsmodule/ec/p224-64.c#L676
+coords jacobian-3
diff --git a/test/data/formulas/add-boringssl-p224.op3 b/test/data/formulas/add-boringssl-p224.op3
new file mode 100644
index 0000000..bd0f88e
--- /dev/null
+++ b/test/data/formulas/add-boringssl-p224.op3
@@ -0,0 +1,23 @@
+ftmp2 = Z2^2
+ftmp4 = Z2 * ftmp2
+ftmp4 = ftmp4 * Y1
+ftmp2 = ftmp2 * X1
+ftmp = Z1^2
+ftmp3 = Z1 * ftmp
+tmp = ftmp3 * Y2
+ftmp3 = tmp - ftmp4
+tmp = ftmp * X2
+ftmp = tmp - ftmp2
+ftmp5 = Z1 * Z2
+Z3 = ftmp * ftmp5
+_ftmp = ftmp^2
+ftmp5 = ftmp * _ftmp
+ftmp2 = ftmp2 * _ftmp
+tmp = ftmp4 * ftmp5
+tmp2 = ftmp3^2
+tmp2 = tmp2 - ftmp5
+ftmp5 = 2 * ftmp2
+X3 = tmp2 - ftmp5
+ftmp2 = ftmp2 - X3
+tmp2 = ftmp3 * ftmp2
+Y3 = tmp2 - tmp
diff --git a/test/data/formulas/dbl-boringssl-p224 b/test/data/formulas/dbl-boringssl-p224
new file mode 100644
index 0000000..db28389
--- /dev/null
+++ b/test/data/formulas/dbl-boringssl-p224
@@ -0,0 +1,2 @@
+source BoringSSL bfa8369 https://github.com/google/boringssl/blob/bfa8369795b7533a222a72b7a1bc928941cd66bf/crypto/fipsmodule/ec/p224-64.c#L591
+coords jacobian-3
diff --git a/test/data/formulas/dbl-boringssl-p224.op3 b/test/data/formulas/dbl-boringssl-p224.op3
new file mode 100644
index 0000000..a0d6fe8
--- /dev/null
+++ b/test/data/formulas/dbl-boringssl-p224.op3
@@ -0,0 +1,20 @@
+delta = Z1^2
+gamma = Y1^2
+beta = X1 * gamma
+ftmp = X1 - delta
+ftmp2 = X1 + delta
+ftmp2 = 3 * ftmp2
+alpha = ftmp * ftmp2
+tmp = alpha^2
+ftmp = 8 * beta
+X3 = tmp - ftmp
+delta = delta + gamma
+ftmp = Y1 + Z1
+tmp = ftmp^2
+Z3 = tmp - delta
+beta = 4 * beta
+beta = beta - X3
+tmp = alpha * beta
+tmp2 = gamma^2
+tmp2 = 8 * tmp2
+Y3 = tmp - tmp2
diff --git a/test/data/formulas/ladd-bc-r1rv76-x25519.op3 b/test/data/formulas/ladd-bc-r1rv76-x25519.op3
index 4142bff..2859b26 100644
--- a/test/data/formulas/ladd-bc-r1rv76-x25519.op3
+++ b/test/data/formulas/ladd-bc-r1rv76-x25519.op3
@@ -4,7 +4,7 @@ Z3 = X2 + Z2
 X2 = X2 - Z2
 t1 = t1 * X2
 X3 = X3 * Z3
-Z3 = Z3^3
+Z3 = Z3^2
 X2 = X2^2
 t2 = Z3 - X2
 Z2 = t2 * a24
-- 
cgit v1.2.3-70-g09d2