구글 딥마인드 AI 도구, 시그널 암호 프로토콜의 안전성 검증

한눈에 보기

구글 딥마인드가 새 AI 도구 AlphaProof Code로 메신저 시그널의 암호 프로토콜(메시지를 안전하게 주고받는 규칙)을 수학적으로 검증했어요. 4주 만에 진행한 시험 프로젝트였어요. 이 작업은 시그널, 구글 메시지, 왓츠앱 같은 앱의 암호 기술을 다시 한번 독립적으로 확인해 준 결과예요.

핵심만 콕콕

1. 1

   검증한 범위에서는 새로운 취약점이 발견되지 않았어요.

2. 2

   오래전에 고쳐진 취약점이 있던 예전 버전에 적용하자 그 문제를 정확히 찾아냈어요.

3. 3

   시그널 앱 전체를 검증한 것은 아니어서 아직 할 일이 많이 남아 있어요.

4. 4

   연구팀은 이번에 만든 명세와 증명을 공개해 다른 검증 작업에 쓰이도록 했어요.

왜 중요할까요?

AI가 소프트웨어의 오류를 수학으로 확인하는 시대가 가까워지고 있어, 메신저 보안을 더 믿을 수 있게 될 수 있어요.

같은 소식을 전한 다른 곳

• Google DeepMind blogIntroducing AlphaProof Code: a breakthrough in verifying complex software at depth