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