D. J. Bernstein


A quite noticeable fraction of my time is spent on careful manual verification of mathematical proofs; particularly proofs in papers that I'm publishing, of course, so that all mistakes are caught. Tools for automated verification are gradually improving, and I take advantage of them when I can, but a large amount of work still needs to be done manually.

My verification procedures have become increasingly systematic, and in October 2005 I decided to start putting my verification records on the web.

D. J. Bernstein, ``Reducing lattice bases to find small-height values of univariate polynomials,'' ID 82f82c041b7e2bdce94a5e1f94511773:

D. J. Bernstein, ``Curve25519: new Diffie-Hellman speed records,'' ID 4230efdfa673480fc079449d90f322c0: