diff options
Diffstat (limited to 'src/Specific/solinas64_2e382m105')
-rw-r--r-- | src/Specific/solinas64_2e382m105/CurveParameters.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas64_2e382m105/CurveParameters.v b/src/Specific/solinas64_2e382m105/CurveParameters.v index 661b261b3..d74c845f8 100644 --- a/src/Specific/solinas64_2e382m105/CurveParameters.v +++ b/src/Specific/solinas64_2e382m105/CurveParameters.v @@ -3,13 +3,13 @@ Require Import Crypto.Util.LetIn. (*** Modulus : 2^382 - 105 -Base: 38 +Base: 38.2 ***) Definition curve : CurveParameters := {| sz := 10%nat; - base := 38; + base := 38 + 1/5; bitwidth := 64; s := 2^382; c := [(1, 105)]; |