diff options
Diffstat (limited to 'test/data/formulas/ladd-boringssl-x25519.op3')
| -rw-r--r-- | test/data/formulas/ladd-boringssl-x25519.op3 | 18 |
1 files changed, 18 insertions, 0 deletions
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 |