diff options
| author |  Jason Gross <jasongross9@gmail.com> | 2016-08-04 11:28:23 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2016-08-04 11:28:23 -0700 |
| commit | f23858c3a204a11a6dc0bdd250ebb97dedb986ac (patch) | |
| tree | 2aeb44f97172238a1258c65a698122acc7726f53 /_CoqProject | |
| parent | fbb0f64892560322ed9dcd0f664e730e74de9b4e (diff) | |
Add a generalized version of Barrett Reduction (#44)
In this version, we split up the integer division so that we are less
likely to overflow in intermediate computations.
This is still not the version in HAC 14.42; that version also does early
reduction modulo b^(k+1).
This is work towards #43
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index fe9916326..7a2de03e0 100644 --- a/_CoqProject +++ b/_CoqProject @@ -51,6 +51,7 @@ src/ModularArithmetic/PseudoMersenneBaseParamProofs.v src/ModularArithmetic/PseudoMersenneBaseParams.v src/ModularArithmetic/Tutorial.v src/ModularArithmetic/BarrettReduction/Z.v +src/ModularArithmetic/BarrettReduction/ZGeneralized.v src/Spec/CompleteEdwardsCurve.v src/Spec/EdDSA.v src/Spec/Encoding.v |