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 frumplestlatz on Friday April 18, 2025 @09:12PM (#43733360)
I'm curious why you put "verified" in scare-quotes, and why you think adopting formally verified code is a greater risk.
[ Parent | on HN ]
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 ]