The cr.yp.to microblog: 2015.12.31 23:58:54

2015.12.31 23:58:54 (682697464298745856) from Daniel J. Bernstein:

alpha release of gfverif (from @cryptojedi and me), plausible path towards guaranteed bug-free state-of-the-art ECC: http://gfverif.cryptojedi.org