diff options
Diffstat (limited to 'test/data/formulas/dbl-hacl-x25519')
| -rw-r--r-- | test/data/formulas/dbl-hacl-x25519 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/data/formulas/dbl-hacl-x25519 b/test/data/formulas/dbl-hacl-x25519 new file mode 100644 index 0000000..b2a1d00 --- /dev/null +++ b/test/data/formulas/dbl-hacl-x25519 @@ -0,0 +1,4 @@ +source HACL* https://github.com/hacl-star/hacl-star/blob/v0.3.0/specs/Spec.Curve25519.fst#L80C9-L80C9 +parameter am24 +assume am24 = (a-2)/4 +coords xz |