시그널 프로토콜Signal Protocol
뜻
메신저 시그널이 쓰는 암호화 규약입니다. 구글 딥마인드는 이 프로토콜의 핵심 암호 코드를 AI 에이전트로 형식 검증했다고 발표했습니다.
시그널 프로토콜 관련 기사 1건
함께 보면 좋은 용어
- 구글 딥마인드Google DeepMind
- 구글의 AI 연구 조직입니다. 바둑 AI 알파고와 제미나이 모델을 만들었습니다.
- 린(Lean)Lean
- 수학 증명을 컴퓨터가 한 단계씩 검사할 수 있게 적는 프로그래밍 언어입니다. 사람이 쓴 증명이 맞는지 기계로 확인할 때 씁니다.
- 알파프루프 코드AlphaProof Code
- 구글 딥마인드가 11월 10일 공개한 형식 검증용 에이전트 프레임워크입니다. 여러 LLM이 연구팀처럼 일을 나눠 명세를 옮기고 증명을 쓰고 감사합니다.
- 에이전트Agent
- 목표 하나를 주면 스스로 계획을 세우고 검색·코딩·파일 작업 같은 도구를 번갈아 쓰며 끝까지 처리하는 AI입니다. 계정·배포 권한을 줄 때는 사람 승인 단계를 남겨야 합니다.
- 오픈소스Open source
- 소프트웨어 코드를 공개해 누구나 보고 고치고 나눌 수 있게 한 것입니다. 큰 오픈소스 프로젝트는 보안 공지와 패치도 공개적으로 냅니다.
- 제미나이 4 카본Gemini 4 Carbon
- 구글이 2026년 10월 28일 발표한 최상위 AI 모델입니다. 취약점 찾기와 패치 같은 사이버 보안 작업을 강점으로 내세웠고 처음에는 일부 사이버 방어 담당자에게만 열렸습니다.
- 형식 검증Formal verification
- 프로그램이 맞는지를 수학적 증명으로 확인하는 방법입니다. 알파프루프 코드는 린(Lean)이라는 언어로 증명을 만들고 린이 그 증명을 검사합니다.
- 2단계 인증Two-factor authentication
- 비밀번호에 더해 휴대폰 코드·인증 앱 같은 두 번째 확인을 거치게 하는 보안 설정입니다. 계정을 빼앗길 위험을 크게 줄입니다.
SHIFT 팔로우
영상으로 보고, 기사로 자세히 읽기
30초 영상은 인스타그램과 유튜브 쇼츠에, 그날 나온 소식은 스레드에 가장 먼저 올립니다.