KI-Audit findet sieben echte Bugs in Cloudflares CIRCL-Bibliothek
AI Meets Cryptography 1: What AI Found in Cloudflare's Circl
zkSecurity hat seine KI-Audit-Pipeline auf Cloudflares experimentelle Kryptografie-Bibliothek CIRCL gerichtet und sieben echte Bugs bestätigt – von einem kritischen float64-Präzisionsverlust bei Threshold-RSA bis zu einem vollständigen Bruch der Zugriffskontrolle in attributbasierter Verschlüsselung. Alle sieben wurden inzwischen upstream behoben. Der Artikel erläutert die einzelnen Schwachstellen, ihre Schweregrade und die Fixes und beleuchtet, wie LLMs über Kryptografie denken – wo sie stark sind, wo blind, und wie man das eine verstärkt und das andere eindämmt.
Der Abstand zwischen der von der KI eingeschätzten und der bestätigten Schwere ist selbst eine interessante Erkenntnis, auf die wir am Ende zurückkommen.