Jonathan Protzenko personal blog
15,000 lines of verified cryptography now in Python
In November 2022, I opened issue 99108 on Python’s GitHub repository, arguing that after a recent CVE in its implementation of SHA3, Python should embrace verified code for all of its hash-related infrastructure.
- Points
- 483
- HN comments
- 158
- Submissions
- 1
- Cited by
- 0 commenters
Security & PrivacySoftware Engineering2025
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 18, 2025 | 15,000 lines of verified cryptography now in Python by todsacerdoti | 483 | 158 |
