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