AlphaProof Code - Signal 암호화 구현을 기계어 수준에서 형식 검증

#Google · 구글#DeepMind#AI 에이전트

Google DeepMind가 인간 전문가와 AI 에이전트를 결합한 AlphaProof Code로 Signal 프로토콜의 실제 코드가 지정된 핵심 보안 속성을 충족함을 수학적으로 증명함 Signal 프로토콜의 참조 구현인 libsignal을 AArch64 Linux 기계어로 컴파일해 검증함.

원문의 저작권은 GeekNews에 있습니다. 위 발췌는 원문 확인을 돕기 위한 짧은 인용입니다.