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