I voted yes, because I liked the idea of audit and didn't know much about Peter Todd. However after reading through all posts in this thread, I understand that hiring Mr. Todd is out of the question. I still like the idea of auditing the code. Oaxaca provided a nice list of people who might be interested in the task. If they won't respond, we can contact other universities. There are many reputable universities with strong CS departments. Maybe one of them will agree to review the InstantX. If we managed to get the audit done and the final report isn't negative, It would give Dash a massive boost for both; marketing and security reasons.