구글 딥마인드, 시그널 암호 코드를 AI로 4주 만에 검증

한눈에 보기

구글 딥마인드가 여러 AI 모델이 역할을 나눠 맡는 '알파프루프 코드'를 공개했어요. 이 도구로 메신저 앱 시그널의 핵심 암호 코드를 기계어 수준까지 수학적으로 검증했어요.

핵심만 콕콕

1. 1

   형식 검증(프로그램이 정해진 조건대로만 움직인다는 것을 수학적 증명으로 확인하는 방법)을 AI가 이 수준으로 한 것은 처음이에요.

2. 2

   AI 에이전트들이 린(증명을 컴퓨터로 검사하는 언어)으로 600만 줄이 넘는 코드를 만들었고, 사람이 볼 부분은 약 1%로 줄었어요.

3. 3

   검증 작업은 4주가 걸렸어요. 같은 일을 전문가 팀은 몇 년 동안 해 왔다고 해요.

4. 4

   과거 고쳤던 버그 2건을 다시 넣었을 때, 도구가 두 경우 모두 그 코드가 안전하지 않다는 증명을 내놓았어요.

왜 중요할까요?

메신저의 개인정보 보호가 실제로 약속대로 작동하는지 사람이 아닌 수학으로 확인할 수 있게 된 사례예요.

같은 소식을 전한 다른 곳

• WIREDA New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
• Google DeepMind blogIntroducing AlphaProof Code: a breakthrough in verifying complex software at depth
• 뉴스N연합구글 딥마인드 '알파프루프 코드', 시그널 암호화 프로토콜 기계어 수준 정식 검증 성공…보안 인증 시장 재편 압력 가시화
• Unite.AIGoogle DeepMind, AI 에이전트로 Signal의 핵심 기계어 코드 검증
• knpp.co.kr구글 딥마인드 '알파프루프 코드', 시그널 암호화 프로토콜 기계어 수준 정식 검증 성공…보안 인증 시장 재편 압력 가시화