v1.0

HISTORY.txt

+July 12, 2018:
+    Release 1.0 with Johan Pascal's build scripts.
+
 October 13, 2017:
     OK, back to preparations for 1.0, today with major changes.
     

TODO.txt

-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
 
@@ -6,7 +6,7 @@ Important work items for Ed448-Goldilocks / decaf:
   other implementors.
     * 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
     * Generate asm intrinsics with a script?
@@ -14,12 +14,10 @@ Important work items for Ed448-Goldilocks / decaf:
 * Testing:
     * More testing.  Testing, testing and testing.
     * Test corner cases better.
+    * Try to formally verify some things.
 
 * 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
     * Using a fair amount of __attribute__ code.
@@ -29,4 +27,4 @@ Important work items for Ed448-Goldilocks / decaf:
 * Portability: try to make the vector code as portable as possible
     * Currently using clang ext_vector_length.
     * I can't get a simple for-loop to autovectorize :-/
-    * SAGE tool?
+    * Autogenerate somehow?