aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/solinas64_2e414m17/CurveParameters.v
diff options
context:
space:
mode:
authorGravatar Jason Gross <jgross@mit.edu>2017-11-07 22:19:10 -0500
committerGravatar Jason Gross <jgross@mit.edu>2017-11-07 22:19:10 -0500
commit383f3e1de0f4fe14c4b282651cf4123a72893e37 (patch)
tree3edae21c11fb5f749ec89a8f2c459f55bfe57f2e /src/Specific/solinas64_2e414m17/CurveParameters.v
parentc58855f90865aae024a4c7d0ec08d4c7a7679903 (diff)
Add a dummy karatsuba parameter
Currently unused, but adding it here in preparation for removing reification (which will allow easy support of karatsuba separate from goldilocks).
Diffstat (limited to 'src/Specific/solinas64_2e414m17/CurveParameters.v')
-rw-r--r--src/Specific/solinas64_2e414m17/CurveParameters.v1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Specific/solinas64_2e414m17/CurveParameters.v b/src/Specific/solinas64_2e414m17/CurveParameters.v
index d06e02006..0567d0263 100644
--- a/src/Specific/solinas64_2e414m17/CurveParameters.v
+++ b/src/Specific/solinas64_2e414m17/CurveParameters.v
@@ -19,6 +19,7 @@ Definition curve : CurveParameters :=
coef_div_modulus := Some 2%nat;
goldilocks := None;
+ karatsuba := None;
montgomery := false;
freeze := Some true;
ladderstep := false;