구글 딥마인드, AI로 시그널 암호 검증한 깊이

구글 딥마인드는 자사의 알파프루프 코드 프레임워크가 시그널의 암호화 프로토콜을 기계어 코드 수준까지 형식적으로 검증했다고 밝혔다. 이 기사는 널리 사용되는 프로토콜을 이 정도 깊이까지 인공지능으로 검증한 최초의 사례라고 설명했다. 이 프로젝트는 순방향 보안, 인증, 침해 후 보안을 다루는 600만 줄 이상의 린 기반 기계 검증 증명 코드를 생성했다. 연구진과 인공지능 에이전트가 보안 목표를 명세로 변환했고, 제미나이 카본 기반 에이전트가 생성한 증명을 인간 전문가들이 확인했다. 전문가들은 코드베이스의 1%를 감사했다. 과거에는 수년이 걸렸던 작업이 4주 만에 완료됐다. 이 프레임워크는 이전에 수정된 버그가 다시 유입된 격리된 코드 버전에서 보안 취약점을 탐지했다. 구글 딥마인드는 이 프로젝트의 검증 결과물을 오픈소스로 공개했다.