Google DeepMind가 AlphaProof Code로 Signal 암호화 프로토콜의 보안 속성을 검증하다

요약

Google DeepMind는 AI 에이전트 프레임워크인 AlphaProof Code를 통해 Signal 암호화 프로토콜의 실제 컴파일된 코드에 대한 핵심 보안 속성을 형식적으로 검증했습니다. Gemini Carbon으로 구동되는 이 시스템은 수년이 걸리는 작업을 단 4주 만에 완료하며, AI가 광범위하게 배포된 암호화 프로토콜을 검증한 최초 사례로 주목받고 있습니다.

핵심 포인트

• AI 에이전트가 실제 운영 코드의 형식적 보안 검증을 달성함.
• AlphaProof Code는 Gemini Carbon 기반으로 6백만 줄 이상의 Lean 코드를 생성.
• 수년 걸리던 Signal 프로토콜 검증 작업을 단 4주 만에 완료함.
• 이 시스템은 이론 설계뿐 아니라 실제 컴파일된 코드까지 검증 가능함을 입증.