aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/solinas64_2e171m19/CurveParameters.v
diff options
context:
space:
mode:
Diffstat (limited to 'src/Specific/solinas64_2e171m19/CurveParameters.v')
-rw-r--r--src/Specific/solinas64_2e171m19/CurveParameters.v2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Specific/solinas64_2e171m19/CurveParameters.v b/src/Specific/solinas64_2e171m19/CurveParameters.v
index 76664dbf1..f07eed61b 100644
--- a/src/Specific/solinas64_2e171m19/CurveParameters.v
+++ b/src/Specific/solinas64_2e171m19/CurveParameters.v
@@ -20,6 +20,8 @@ Definition curve : CurveParameters :=
goldilocks := Some false;
montgomery := false;
+ freeze := Some true;
+ ladderstep := false;
mul_code := None;