From 01043c274b74eb59da5c5e4215f77360af89effc Mon Sep 17 00:00:00 2001 From: jadep Date: Mon, 9 Jan 2017 10:52:09 -0500 Subject: fix typo in optimizations.md --- optimizations.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'optimizations.md') 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) | | -- cgit v1.2.3