Sorry, this tweet is nonsense. The implementation is in assembly because people complain about crypto performance and to avoid side channels. Code was written by competent people who should implement crypto. Language is not "safe", it's safe against some mistakes, not logic bugs.https://twitter.com/marcan42/status/946252676781748224 …
Test suites are useless for crypto code. They wouldn't have caught this bug, or the ROCA bug, or side channel issues, or any of the really insidious potential problems.
-
-
This Tweet is unavailable.
-
It can't. Formal verification aside (which is an entire field on its own) you need human experts writing and reviewing the code. The good news is usually there is very little reason to *change* this code once it's been written.
End of conversation
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.