AI가 Cloudflare의 CIRCL에서 7개의 실제 버그를 발견하다
AI Meets Cryptography 1: What AI Found in Cloudflare's Circl
zkSecurity는 AI 감사 에이전트 zkao를 사용하여 Cloudflare의 실험적 암호화 라이브러리 CIRCL을 분석했습니다. 그 결과, 임계 등급의 float64 정밀도 손실로 인한 임계 RSA 문제부터 속성 기반 암호화의 완전한 접근 제어 붕괴까지 7개의 실제 버그를 확인했으며, 모두 업스트림에서 수정되었습니다. 이 게시물은 각 버그의 기술적 세부 사항, AI 심각도 평가와 Cloudflare의 확인된 심각도 간의 차이, 그리고 LLM이 암호화에서 추론하는 방식에 대한 통찰을 제공합니다.
무엇이 이 버그를 눈에 띄게 만드는지는 단순히 부주의한 코드 한 줄이 아니라, 대수적 항등식과 무해해 보이는 직렬화 선택 사이의 상호작용입니다.