표준화된 구성 요소는 검토의 출발점이지 메신저 전체에 대한 인증서가 아닙니다.
ML-KEM-768은 두 당사자가 공유 비밀을 설정하도록 도우며, 그 비밀은 이후 메시지 보호에 사용할 수 있습니다. 이는 메시징 시스템의 한 구성 요소이지 완전한 채팅 프로토콜, 메시지 암호 알고리즘, 앱이 안전하다는 인증서가 아닙니다.
NIST는 2024년 8월 13일 FIPS 203을 발표하여 ML-KEM과 512, 768, 1024 매개변수 집합을 표준화했습니다. 이들의 보안은 양자 공격에 견딜 것으로 여겨지는 격자 기반 문제에 의존합니다. “견딜 것으로 여겨진다”는 분석이 뒷받침하는 보안 가정이지, 미래에 어떤 약점도 나타나지 않는다는 약속이 아닙니다. NIST FIPS 203을 참고하세요.
암호화 채팅에서 KEM의 위치
암호화 주장을 이해하는 유용한 방법은 키 자료의 흐름을 따라가는 것입니다.
- 의도한 상대를 인증합니다. 사칭자와의 키 교환은 여전히 잘못된 사람과 하는 키 교환입니다.
- 공유 비밀 자료를 설정합니다. KEM은 캡슐화와 역캡슐화를 통해 비밀을 제공합니다.
- 각 목적에 맞는 키를 도출합니다. 키 도출 함수는 프로토콜의 서로 다른 부분에서 쓰는 자료를 분리합니다.
- 메시지를 암호화하고 인증합니다. 인증된 암호화 방식은 내용을 보호하고 허가되지 않은 변조를 감지합니다.
- 시간이 지나면서 세션을 관리합니다. 키 교체, 삭제, 기기 변경, 복구가 나중의 침해로 무엇이 노출될 수 있는지를 결정합니다.
이 단계들은 두 번째 단계의 표준만으로 전체 앱을 검증할 수 없는 이유를 보여 줍니다. NIST의 양자 내성 FAQ는 새 표준의 배포에 필요한 배경을 제공합니다.
왜 ML-KEM을 고전적인 키 합의와 결합할까요?
하이브리드 설계는 양자 내성 구성 요소를 타원곡선 Diffie–Hellman 같은 고전적 구성 요소와 함께 사용합니다. 전환기에 어느 한쪽의 가정에만 전적으로 의존하지 않으려는 것이 목표입니다.
보안 주장은 두 알고리즘의 목록이 아니라 완전한 결합 방식과 프로토콜에 속합니다. 검토자는 어떤 입력이 인증되는지, 어떻게 인코딩하고 결합하는지, 도출 과정에 어떤 맥락이 연결되는지, 구성 요소가 실패하면 어떻게 되는지를 알아야 합니다. 명시된 구성 없이 비밀을 이어 붙이는 것은 보안 논증이 아닙니다.
사용자에게 실질적인 질문은 “설정 페이지에 양자 안전이라고 쓰여 있는가?”가 아닙니다. “어떤 대화와 버전이 실제로 이 구성을 사용하며, 그 설명을 어떤 근거가 뒷받침하는가?”입니다.
Livara가 문서화한 내용
Livara의 보안 문서는 고전적 P-256과 ML-KEM-768 자료를 사용하는 LVR1 개인 채팅 세션과 콘텐츠용 AES-256-GCM을 설명합니다. LGS1 비공개 그룹은 두 당사자 간 LVR1 세션을 통해 배포되는 발신자 체인으로 설명합니다. 이는 서로 다른 계층입니다. 일반적인 그룹 메시지가 수신자마다 새로운 ML-KEM 교환을 수행하는 것은 아닐 수 있습니다.
이 문서는 개발자의 설명으로 읽어야 합니다. 표준화된 기본 요소의 이름을 나열한다고 해서 Livara의 맞춤형 조합이 독립 감사를 받았다거나 설치된 모든 빌드가 올바르게 구현했다는 사실이 증명되지는 않습니다. Proof Lab은 브라우저 시연의 한계를 명시합니다. 완전한 LVR1/LGS1 래칫을 실행하지 않으며 프로토콜 감사도 아닙니다.
양자 내성 보호가 다루지 않는 것
| 질문 | ML-KEM만으로 답할 수 없는 이유 |
|---|---|
| 수신자가 내 메시지를 복사할 수 있나요? | 수신자는 읽을 수 있는 내용을 받습니다. |
| 내 기기에 스파이웨어가 없나요? | 종단점 무결성은 별도의 신뢰 가정입니다. |
| 백업이 보호되나요? | 백업 키와 복구 규칙은 별도로 설계해야 합니다. |
| 그룹 멤버 변경이 안전한가요? | 인증, 멤버 구성, 키 갱신 규칙이 중요합니다. |
| 서비스가 메타데이터를 보관하나요? | 콘텐츠 암호화는 경로나 시각 정보를 자동으로 숨기지 않습니다. |
| 통화가 문자 채팅과 같은 방식으로 보호되나요? | 통화 신호와 미디어는 다른 프로토콜을 사용할 수 있습니다. |
Livara의 위협 모델도 비공개 대화와 공개 채널을 구분하며 기기 수준의 노출을 인정합니다. 개인 채팅에 관한 주장을 제품의 모든 영역으로 확대하지 마세요.
“FIPS 203 메시징” 구매자를 위한 점검 목록
정확한 매개변수 집합과 프로토콜 버전, 상대 인증과 키 결합에 대한 설명, 지원하는 클라이언트 버전, 호환되지 않는 클라이언트를 만났을 때의 동작, 배포된 구현과 연결된 시험이나 검토 결과를 요청하세요. 업체가 FIPS 검증을 주장한다면 관련 검증 기록과 범위를 요청하세요. FIPS 문서에 설명된 알고리즘을 사용한다는 사실만으로 제품이나 모듈이 검증되었다는 근거가 되지는 않습니다.
매개변수 이름으로 배터리 수명, 처리량, 앱 반응성을 추론하지 마세요. 이를 위해서는 기기, 빌드, 작업 부하를 명시한 측정이 필요합니다.
메시징에 유용한 변화는 장기 기밀성을 위한 새로운 도구가 생겼다는 것입니다. 그 가치는 마케팅 이름표를 바꾸는 데 있지 않고 통합, 구현, 운영상의 경계에 달려 있습니다.
