[noise] Formal verification of NoiseIK
Jason A. Donenfeld
Jason at zx2c4.com
Thu Jul 13 17:36:55 PDT 2017
I'll respond in length soon to the explicit nonce thread. I've been
backed up with the following, but now that this is out of the way I'll
catch up on the other stuff in the list. But first:
Nice results for NoiseIK: it isn't terrible!
The paper is still a draft, so if there's something you'd like to see
in it that isn't there, feel free to pipe up.
More information about the Noise