diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-01-09 10:51:13 -0500 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2017-01-09 10:51:13 -0500 |
| commit | 190782ef04b8f11fdfe579f43377a240cf9fb5fa (patch) | |
| tree | fd8f417f8e435c0eef058957d92bdd8537bd8061 /optimizations.md | |
| parent | 57d1746f125a1a3308da532866a9c5ed466f8c0e (diff) | |
shorten links in optimizations.md
Diffstat (limited to 'optimizations.md')
| -rw-r--r-- | optimizations.md | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/optimizations.md b/optimizations.md index af72dcd68..3191d6701 100644 --- a/optimizations.md +++ b/optimizations.md @@ -1,11 +1,11 @@ | Category | Name | Status | Lemma(s) | | |-----------------------|-------------------------------------|-------------------|--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|------------------| -| Field Arithmetic | Unsaturated limbs/delayed carrying | Implemented | https://github.com/mit-plv/fiat-crypto/blob/master/src/ModularArithmetic/ModularBaseSystemProofs.v#L347 | | -| Field Arithmetic | Division-free Modular Reduction | Implemented | https://github.com/mit-plv/fiat-crypto/blob/master/src/ModularArithmetic/PseudoMersenneBaseParamProofs.v#L41 | | +| Field Arithmetic | Unsaturated limbs/delayed carrying | Implemented | [ModularBaseSystemProofs.v#L347](https://github.com/mit-plv/fiat-crypto/blob/master/src/ModularArithmetic/ModularBaseSystemProofs.v#L347) | | +| Field Arithmetic | Division-free Modular Reduction | Implemented | [PseudoMersenneBaseParamProofs.v#L41](https://github.com/mit-plv/fiat-crypto/blob/master/src/ModularArithmetic/PseudoMersenneBaseParamProofs.v#L41) | | | Field Arithmetic | Inverse square root | Not Implemented | n/a | | | Field Arithmetic | Hex Exponentiation | Not Implemented | n/a | | -| Field Arithmetic | Addition Chain Exponentiation | Implemented | https://github.com/mit-plv/fiat-crypto/blob/master/src/Util/AdditionChainExponentiation.v#L53 | | +| Field Arithmetic | Addition Chain Exponentiation | Implemented | [AdditionChainExponentiation.v#L53](https://github.com/mit-plv/fiat-crypto/blob/master/src/Util/AdditionChainExponentiation.v#L53) | | | Field Arithmetic | Precomputed Tables | Not Implemented | n/a | | -| Elliptic Curve Points | Extended Coordinates | Implemented | https://github.com/mit-plv/fiat-crypto/blob/master/src/CompleteEdwardsCurve/ExtendedCoordinates.v#L258 | | -| Elliptic Curve Points | Point Compression | Implemented | https://github.com/mit-plv/fiat-crypto/blob/master/src/Encoding/PointEncodingPre.v#L313 and https://github.com/mit-plv/fiat-crypto/blob/master/src/Encoding/PointEncodingPre.v#L412 | | -| Low-Level | Use Varied-size Registers | Half-Implemented | https://github.com/mit-plv/fiat-crypto/blob/master/src/Reflection/MapCastWithCastOp.v#L116 | | +| Elliptic Curve Points | Extended Coordinates | Implemented | [ExtendedCoordinates.v#L258](https://github.com/mit-plv/fiat-crypto/blob/master/src/CompleteEdwardsCurve/ExtendedCoordinates.v#L258) | | +| Elliptic Curve Points | Point Compression | Implemented | [PointEncodingPre.v#L412](https://github.com/mit-plv/fiat-crypto/blob/master/src/Encoding/PointEncodingPre.v#L313) and [PointEncodingPre.v#L412](https://github.com/mit-plv/fiat-crypto/blob/master/src/Encoding/PointEncodingPre.v#L412) | | +| Low-Level | Use Varied-size Registers | Half-Implemented | [MapCastWithCastOp.v#L116](https://github.com/mit-plv/fiat-crypto/blob/master/src/Reflection/MapCastWithCastOp.v#L116) | | |