News for hackers. Stuff that matters.
Re:Bitcoin over Tor isn't a good idea by resolutionx on Thursday October 23, 2014 @08:21AM (#8497738)
The part that seems odd to me is that with all these developers, students, researchers, and curious users nobody documented it according to the paper. Which as stated by another user doesn't seem to be the case.
Re:Bitcoin over Tor isn't a good idea by mannykannot on Thursday October 23, 2014 @09:41AM (#8498030)
Documentation produced that way is actually consistent with the statement you first quoted. I think what is happening here is that the researchers, being properly careful, verified what the software does, rather than trust to descriptions by others.

If there had been a formal specification, I imagine they would have both analyzed the specification for vulnerabilities, and checked the code for correct implementation.