Cloudflare の暗号ライブラリ CIRCL に 7 つの実バグ、AI 監査で発見・全件修正済み

要約

zkSecurity の AI 監査パイプラインが、Cloudflare の実験的暗号ライブラリ CIRCL に対し 7 つの実バグを特定し、すべて上流で修正済みとなった。閾値 RSA の浮動小数点精度喪失から属性ベース暗号の完全アクセス制御破壊まで、深刻度は異なるが、いずれも暗号プロトコルの正確性や安全性を損なうものだった。AI による候補検出を人間が検証・開示対応したハイブリッド型監査で、BLS 聚約署名の鍵攻撃、DLEQ 証明の偽造可能性、多項式評価の丸め誤りなど設計レベルの脆弱性を摘出した。これは zkSecurity が暗号ライブラリ全般で実施する AI 監査実験シリーズの第 1 報であり、LLM が暗号コード推論で得意とする領域と盲点を可視化する。