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.
Also, pyca/cryptography uses OpenSSL. OpenSSL is fine, but has the same "problem" as the previous python stdlib implementation. (Personally I think it's an acceptable risk. If anything, swapping in 15,000 lines of new code is the greater risk, even if it's "verified")