diff options
| author | J08nY | 2023-11-17 19:20:00 +0100 |
|---|---|---|
| committer | J08nY | 2023-11-17 19:20:00 +0100 |
| commit | a48b5ce4185362d37b4e6ece842d723df386fd92 (patch) | |
| tree | c03b2db257a574ad140667abaa5ec57ec6549678 /test/data | |
| parent | 332c7f504fecf5f999511073ce6a391907721e83 (diff) | |
| download | pyecsca-a48b5ce4185362d37b4e6ece842d723df386fd92.tar.gz pyecsca-a48b5ce4185362d37b4e6ece842d723df386fd92.tar.zst pyecsca-a48b5ce4185362d37b4e6ece842d723df386fd92.zip | |
Diffstat (limited to 'test/data')
| -rw-r--r-- | test/data/formulas/add-ipp-x25519 | 2 | ||||
| -rw-r--r-- | test/data/formulas/add-ipp-x25519.op3 | 9 | ||||
| -rw-r--r-- | test/data/formulas/dbl-ipp-x25519 | 4 | ||||
| -rw-r--r-- | test/data/formulas/dbl-ipp-x25519.op3 | 9 | ||||
| -rw-r--r-- | test/data/formulas/ladd-boringssl-x25519 | 4 | ||||
| -rw-r--r-- | test/data/formulas/ladd-boringssl-x25519.op3 | 18 |
6 files changed, 46 insertions, 0 deletions
diff --git a/test/data/formulas/add-ipp-x25519 b/test/data/formulas/add-ipp-x25519 new file mode 100644 index 0000000..befda7b --- /dev/null +++ b/test/data/formulas/add-ipp-x25519 @@ -0,0 +1,2 @@ +source Intel IPP crypto https://github.com/intel/ipp-crypto/blob/ippcp_2021.9.0/sources/ippcp/crypto_mb/src/x25519/ifma_x25519.c#L1676 +coords xz diff --git a/test/data/formulas/add-ipp-x25519.op3 b/test/data/formulas/add-ipp-x25519.op3 new file mode 100644 index 0000000..2b2a446 --- /dev/null +++ b/test/data/formulas/add-ipp-x25519.op3 @@ -0,0 +1,9 @@ +B = X1 - Z1 +A = X1 + Z1 +C = mu * B //??? +B = A - C +A = A + C +A = A^2 +B = B^2 +X1 = Z2 * A +Z1 = X2 * B diff --git a/test/data/formulas/dbl-ipp-x25519 b/test/data/formulas/dbl-ipp-x25519 new file mode 100644 index 0000000..9010ee9 --- /dev/null +++ b/test/data/formulas/dbl-ipp-x25519 @@ -0,0 +1,4 @@ +source Intel IPP crypto https://github.com/intel/ipp-crypto/blob/ippcp_2021.9.0/sources/ippcp/crypto_mb/src/x25519/ifma_x25519.c#L1689 +parameter a24 +assume a24 = (a+2)/4 +coords xz diff --git a/test/data/formulas/dbl-ipp-x25519.op3 b/test/data/formulas/dbl-ipp-x25519.op3 new file mode 100644 index 0000000..baaeb54 --- /dev/null +++ b/test/data/formulas/dbl-ipp-x25519.op3 @@ -0,0 +1,9 @@ +A = X1 + Z1 +B = X1 - Z1 +A = A^2 +B = B^2 +C = A - B +D = a24 * C +D = D + B +X3 = A * B +Z3 = C * D diff --git a/test/data/formulas/ladd-boringssl-x25519 b/test/data/formulas/ladd-boringssl-x25519 new file mode 100644 index 0000000..416b245 --- /dev/null +++ b/test/data/formulas/ladd-boringssl-x25519 @@ -0,0 +1,4 @@ +source BoringSSL bfa8369 https://github.com/google/boringssl/blob/bfa8369795b7533a222a72b7a1bc928941cd66bf/crypto/curve25519/curve25519.c#L624 +parameter a24 +assume a24 = (a+2)/4 +coords xz diff --git a/test/data/formulas/ladd-boringssl-x25519.op3 b/test/data/formulas/ladd-boringssl-x25519.op3 new file mode 100644 index 0000000..738d213 --- /dev/null +++ b/test/data/formulas/ladd-boringssl-x25519.op3 @@ -0,0 +1,18 @@ +tmp0 = X3 - Z3 +tmp1 = X2 - Z2 +X2 = X2 + Z2 +Z2 = X3 + Z3 +Z3 = tmp0 * X2 +Z2 = Z2 * tmp1 +tmp0 = tmp1^2 +tmp1 = X2^2 +X3 = Z3 + Z2 +Z2 = Z3 - Z2 +X4 = tmp1 * tmp0 +tmp1 = tmp1 - tmp0 +Z2 = Z2^2 +Z3 = tmp1 * a24 +X5 = X3^2 +tmp0 = tmp0 + Z3 +Z5 = X1 * Z2 +Z4 = tmp1 * tmp0 |