AIがCloudflareのCIRCLで7件のバグを発見、重大なアクセス制御の欠陥も

AI Meets Cryptography 1: What AI Found in Cloudflare's Circl

zkSecurityはAI監査パイプラインをCloudflareの実験的暗号ライブラリCIRCLに適用し、重大なfloat64精度損失による閾値RSAの破綻から、属性ベース暗号の完全なアクセス制御破りまで、7件の実際のバグを確認しました。これらはすべて上流で修正済みです。この記事では、AIがどのようにしてこれらのバグを見つけたか、その深刻度評価とCloudflareの評価のギャップ、そしてLLMが暗号を推論する際の強みと盲点について解説します。