3 ms·

I believe it's safe to use in the sense of being stable. I don't believe they've had a full security audit yet, though.

• sarciszewski 12y ago
  Let's not wait 5 years then crowdfund it like TrueCrypt ;)
• tptacek 12y ago
  People have weird ideas about the protective powers of a "full security audit". This is Bernstein, Lange, and Schwabe's code. There aren't many auditors qualified to review it.
  • sitkack 12y ago
    Theorem provers?
    • nickmeharry 12y ago
      If you want proven crypto, there's always this project: https://github.com/idris-hackers/idris-crypto https://github.com/idris-hackers/idris-crypto
  • duaneb 12y ago
    It's more about having a third party look at it rather than the credentials of the authors being in question.
    • tptacek 12y ago
      I understand the idea, but again: there aren't many third parties that are qualified to evaluate crypto code at all.