diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-01-09 10:52:09 -0500 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2017-01-09 10:52:09 -0500 |
| commit | 01043c274b74eb59da5c5e4215f77360af89effc (patch) | |
| tree | de7a8f1a38ed01298b44300bd3d579083314a5af /optimizations.md | |
| parent | 190782ef04b8f11fdfe579f43377a240cf9fb5fa (diff) | |
fix typo in optimizations.md
Diffstat (limited to 'optimizations.md')
| -rw-r--r-- | optimizations.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/optimizations.md b/optimizations.md index 3191d6701..bb41dffdb 100644 --- a/optimizations.md +++ b/optimizations.md @@ -7,5 +7,5 @@ | 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 | [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) | | +| Elliptic Curve Points | Point Compression | Implemented | [PointEncodingPre.v#L313](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) | | |