4 ms·

I wouldn't rely on experts being able to navigate through complexity as it happens quite a bit that a major bug in a protocol obliterating it completely is foun

• mirekrusin 4y ago
  Alternative being what exactly? Giving up on the whole "computers" idea?
  • Sirened 4y ago
    Formal? Computer assisted proof checkers? Building strong cryptosystems is notoriously hard, especially when you start composing different systems since some are only secure given certain preconditions which are on you to remember and ensure.
    • boltzmann-brain 4y ago
      Proof checkers only check for invariants you knew to check for. They're not future proofing against exploits, they're merely a solidification of what you knew about your attack surface at a time.