If someone wants to write up an overview of what exactly we need for the crypto auditing, I can send it to a few Crypto experts I've been in contact with. Just PM me.
Please, CfB, help with that.
Edit: what kind of 'experts'?
I've been in contact with several people, including Matt Green (zerocoin). I was originally referred to Matt by Susan Waters (http://cs.jhu.edu/~susan/) who was his professor, and Susan also recommended Lisa Yin in the same email. I've had contact with Lisa and she sounds open to an audit. Lisa has a PHD from MIT in Crypto. I have contact with a few other academics as well.
Right, Lisa. I remember (https://bitcointalksearch.org/topic/m.4989534). Well, what do you think, CfB?
Just do it. We need someone to check that Curve25519 and Crypto have no bugs.
You should email him (or her directly) the source for 0.73
Her email is listed at http://people.csail.mit.edu/yiqun/
She already wrote in that email:
Quote
I am wondering what you are looking for in the code review. If it is mainly the correctness of the implementation, then I would take a pass. I feel that what would be most helpful for Nxt is to review how the above crypto algorithms are utilized within the Nxt currency system to achieve the intended security goals. "
If I understand it correctly, that means she is not willing to check any code. Checking the principal algorithm is not enough. Usually the problems come with the implementation of the algorithm.
I agree. She should be sent the full source code of 0.73
.