News for hackers. Stuff that matters.

A comment on 15,000 lines of verified cryptography now in Python. Parent comment

Re:15,000 lines of verified cryptography now in Python by Retr0id on Friday April 18, 2025 @09:18PM (#43733385)
I don't think formal verification is bad, I just don't think it's a silver bullet. i.e. we should not get complacent and assume that formally verified code is 100% safe.
[ Parent | on HN ]

There are no comments on this comment yet.