diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-21 23:43:59 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-10-22 00:20:52 -0400 |
| commit | 102904674d12d1791f55a55cb66a334e5c21715a (patch) | |
| tree | fec67713e46239561cd6386b15508c393ef5aa33 /src/Specific/CurveParameters | |
| parent | 6c779ae1c2a2f4c798606ce3f7718768387f47a6 (diff) | |
Add tight and loose bounds, no carry in add, sub
Following Andres' suggestions to allow making ladderstep from other
synthesis things.
It went though mostly without a hitch, though there were a number of
boilerplate changes needed.
Diffstat (limited to 'src/Specific/CurveParameters')
| -rw-r--r-- | src/Specific/CurveParameters/x25519_c32.json | 2 | ||||
| -rw-r--r-- | src/Specific/CurveParameters/x25519_c64.json | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/CurveParameters/x25519_c32.json b/src/Specific/CurveParameters/x25519_c32.json index 8d89cff1a..5eda11a59 100644 --- a/src/Specific/CurveParameters/x25519_c32.json +++ b/src/Specific/CurveParameters/x25519_c32.json @@ -6,7 +6,7 @@ "bitwidth" : "32", "carry_chains" : "default", "coef_div_modulus" : "2", - "operations" : ["femul", "fesquare", "freeze"], + "operations" : ["femul", "feadd", "fesub", "fecarry", "fesquare", "freeze"], "compiler" : "gcc -march=native -mtune=native -std=gnu11 -O3 -flto -fomit-frame-pointer -fwrapv -Wno-attributes", "mul_header" : "(* Micro-optimized form from curve25519-donna by Adam Langley (Google) and Daniel Bernstein. See <https://github.com/agl/curve25519-donna/blob/master/LICENSE.md>. *)", "mul_code" diff --git a/src/Specific/CurveParameters/x25519_c64.json b/src/Specific/CurveParameters/x25519_c64.json index 64bbb872e..3bb2ef423 100644 --- a/src/Specific/CurveParameters/x25519_c64.json +++ b/src/Specific/CurveParameters/x25519_c64.json @@ -6,7 +6,7 @@ "bitwidth" : "64", "carry_chains" : "default", "coef_div_modulus" : "2", - "operations" : ["femul", "fesquare", "freeze", "ladderstep"], + "operations" : ["femul", "feadd", "fesub", "fecarry", "fesquare", "freeze", "ladderstep"], "extra_files" : ["X25519_C64/scalarmult.c"], "compiler" : "gcc -march=native -mtune=native -std=gnu11 -O3 -flto -fomit-frame-pointer -fwrapv -Wno-attributes", "mul_header" : "(* Micro-optimized form from curve25519-donna-c64 by Adam Langley (Google) and Daniel Bernstein. See <https://github.com/agl/curve25519-donna/blob/master/LICENSE.md>. *)", |