|
@@ -1,4 +1,4 @@ |
|
|
Important work items for Ed448-Goldilocks / decaf: |
|
|
|
|
|
|
|
|
Important work items for Ed448-Goldilocks / decaf / Ristretto. |
|
|
|
|
|
|
|
|
* Test signed 32-bit NEON implementation to avoid bias/reduce after subtract |
|
|
* Test signed 32-bit NEON implementation to avoid bias/reduce after subtract |
|
|
|
|
|
|
|
@@ -6,7 +6,7 @@ Important work items for Ed448-Goldilocks / decaf: |
|
|
other implementors. |
|
|
other implementors. |
|
|
* Pretty good progress on Doxygenating the code. |
|
|
* Pretty good progress on Doxygenating the code. |
|
|
|
|
|
|
|
|
* Documentation: write a spec or add to Watson's |
|
|
|
|
|
|
|
|
* Documentation: help work on ristretto.group website. |
|
|
|
|
|
|
|
|
* Cleanup: unify intrinsics code |
|
|
* Cleanup: unify intrinsics code |
|
|
* Generate asm intrinsics with a script? |
|
|
* Generate asm intrinsics with a script? |
|
@@ -14,12 +14,10 @@ Important work items for Ed448-Goldilocks / decaf: |
|
|
* Testing: |
|
|
* Testing: |
|
|
* More testing. Testing, testing and testing. |
|
|
* More testing. Testing, testing and testing. |
|
|
* Test corner cases better. |
|
|
* Test corner cases better. |
|
|
|
|
|
* Try to formally verify some things. |
|
|
|
|
|
|
|
|
* Safety: |
|
|
* Safety: |
|
|
* Decide what to do about RNG failures |
|
|
|
|
|
* abort |
|
|
|
|
|
* return error and zeroize [ THIS ] |
|
|
|
|
|
* return error but continue if RNG is kind of mostly OK |
|
|
|
|
|
|
|
|
* If RNG fails, return error and zeroize |
|
|
|
|
|
|
|
|
* Portability: test and make clean with other compilers |
|
|
* Portability: test and make clean with other compilers |
|
|
* Using a fair amount of __attribute__ code. |
|
|
* Using a fair amount of __attribute__ code. |
|
@@ -29,8 +27,4 @@ Important work items for Ed448-Goldilocks / decaf: |
|
|
* Portability: try to make the vector code as portable as possible |
|
|
* Portability: try to make the vector code as portable as possible |
|
|
* Currently using clang ext_vector_length. |
|
|
* Currently using clang ext_vector_length. |
|
|
* I can't get a simple for-loop to autovectorize :-/ |
|
|
* I can't get a simple for-loop to autovectorize :-/ |
|
|
* SAGE tool? |
|
|
|
|
|
|
|
|
|
|
|
* More curves? E-521 at least? Ed41417? |
|
|
|
|
|
|
|
|
|
|
|
* Submit Decaf to SUPERCOP |
|
|
|
|
|
|
|
|
* Autogenerate somehow? |