diff options
Diffstat (limited to 'test/data/formulas/dbl-ipp-x25519')
| -rw-r--r-- | test/data/formulas/dbl-ipp-x25519 | 4 |
1 files changed, 4 insertions, 0 deletions
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 |