구글, AlphaProof Code로 '시그널' 암호 알고리즘 보안 검증 성공

요약

구글 딥마인드가 다중 AI 에이전트 기반의 정형 검증 시스템인 '알파프루프 코드(AlphaProof Code)'를 활용해 메신저 시그널의 암호화 라이브러리인 '립시그널(libsignal)'의 보안성을 입증했다. 구글은 약 650만 줄의 코드를 분석하여 해당 암호화 프로토콜이 수학적으로 핵심 보안 조건을 충족한다는 사실을 증명해냈다. 이는 최근 오픈AI와 앤트로픽 등 주요 AI 기업들이 암호학 및 수학 연구 성과를 경쟁적으로 발표하는 가운데 나온 구글의 성과다. 이번 연구는 AI 활용 범위가 기존의 암호 약점 탐지를 넘어 실제 소프트웨어의 복잡한 보안 검증 단계로 확대되고 있음을 시사한다. 구글은 향후 더욱 복잡한 실제 소프트웨어 시스템의 안전성을 검증하는 데 AI 기술을 적극 활용할 계획이다.

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