구글 딥마인드, AlphaProof Code로 Signal 프로토콜 보안 검증 성공

요약

Google DeepMind가 보안 메신저 Signal 프로토콜의 기계어 코드에 대한 핵심 보안 속성을 공식 검증하는 데 성공했다고 발표했다. 이번 성과는 널리 사용되는 실제 운영 코드의 공식 검증을 성공한 최초의 사례로, 기존에 수십 년이 걸릴 수 있는 작업을 새로운 AI 에이전트 프레임워크인 AlphaProof Code를 활용해 단 한 달 만에 완료했다. Gemini Carbon 기반의 AlphaProof Code는 복잡하고 시간이 많이 소요되는 공식 검증 과정을 대폭 단축하며, 실제 기기에서 실행되는 코드 수준까지 검증을 수행했다. Google DeepMind는 향후 의료 기기 펌웨어부터 전력망 소프트웨어까지 핵심 시스템의 보안성을 수학적으로 증명할 수 있는 기반이 마련될 것으로 기대하고 있다. 이번 성과를 확산하기 위해 연구진은 공식 명세와 검증 아티팩트를 오픈소스로 공개할 예정이다.

AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.