배포 검증하기
배포 검증하기 (Verifying Your Deployment)
Model Vault Encrypted 배포를 검증하는 방법이에요: 자동 클라이언트 측 검사와 Model Vault 앱에서 조사할 수 있는 증명 세부 정보를 다뤄요.
출처: 문서
본문
이 페이지는 실제로 Model Vault Encrypted 배포를 어떻게 검증하는지 다뤄요. 기본 메커니즘은 Remote Attestation을 참조하세요.
실제로 데이터를 보호하는 검증은 자동이며 클라이언트 측이에요. Cohere OHTTP 프록시가 모든 연결에서 증명을 확인하고, 그것을 암호화 대상 키에 바인딩하며, 뭔가 문제가 있으면 연결을 거부해요. 별도로 Model Vault 앱은 한눈에 보는 상태 확인과 감사를 위해 볼트의 증명 세부 정보를 표시해요. 그 표시는 정보용이에요. 트래픽을 게이트하는 것은 앱 화면이 아니라 클라이언트 측 검사예요.
자동 검증 (클라이언트)
검증이 일어나기 위해 수동으로 할 일은 없어요. 클라이언트 측 Cohere OHTTP 프록시는 독립형 프록시로 실행하든 Python 패키지로 사용하든 매 세션마다 전체 검사를 실행하고, 뭔가 문제가 있으면 연결을 거부해요:
- 배포의 증명 토큰과 OHTTP 공개 키를 가져와요.
- Intel Trust Authority가 게시한 공개 키(JWKS)에 대해 토큰의 서명을 검증해서, Intel이 진짜로 발행했고 변조되지 않았음을 확인해요.
- 증명 정책이 일치했는지, 즉 하드웨어가 진짜이고 측정된 소프트웨어가 승인된 값과 일치하는지 확인해요.
- OHTTP 공개 키가 증명된 TEE에 암호학적으로 바인딩되어 있어서 진짜 환경에만 암호화하게 되는지 확인해요.
- 토큰이 수명이 짧은 유효 기간 내에 있는지 확인해요.
이 모든 것이 통과해야만 클라이언트가 요청을 암호화해서 보내요.
Passport 모델에서 클라이언트는 배포에 대해 자체 nonce 도전(challenge)을 실행하지 않아요. 신선도는 대신 토큰의 짧은 수명으로 보장돼요: Intel Trust Authority는 증거를 생성한 VM과의 nonce 교환 후에만 토큰을 발행하므로, 유효하고 만료되지 않은 토큰은 ITA가 평가했을 때 기본 증거가 신선했다는 것을 증명해요. 토큰은 단 몇 분 동안만 유효하고 주기적으로 갱신되므로, 결과는 환경의 현재 상태를 반영해요.
Model Vault 앱에서 증명 조사하기
각 기밀 컴퓨팅 모델은 Model Vault 앱에서 녹색 방패를 가져요. 클릭하면 증명 세부 정보가 열리는데, 결과가 하드웨어, 펌웨어, 소프트웨어, 정책 검사로 나뉘어 표시돼요:
가장 중요한 단일 필드는 **정책 결과(policy result)**예요. 증명된 증거가 등록된 정책과 일치하면 전체 판정은 secure예요. 아래 섹션들은 각 필드 그룹이 무엇을 알려주는지 설명해요.
앱 화면은 정보용이며, 보안 경계가 아니에요
Model Vault 앱에서 보는 것은 편리한 상태 표시이지, 특정 요청을 서빙한 환경의 증명이 아니에요. 렌더링된 세부 정보 중 어떤 것도 실제 연결과 바인딩되지 않으므로, 독립적인 보장으로 신뢰해서는 안 돼요. 변조 방지 보장은 클라이언트 측 Cohere OHTTP 프록시 검사(매 연결에서 증명을 암호화 대상 OHTTP 키에 바인딩)와 클라이언트가 검증할 수 있는 응답별 증명 인증서에서 옵니다. 검토에는 앱 화면을, 신뢰 결정에는 클라이언트 측 검증을 사용하세요.
전체 토큰
이 필드들은 증명 토큰 자체를 설명해요.
| 필드 | 무엇을 알려주는지 | 기대값 |
|---|---|---|
| Issuer | 토큰을 발행한 주체 | Intel Trust Authority |
| Signature algorithm | 토큰이 어떻게 서명되었는지 | PS384 |
| Issued / expires | 증명이 수행된 시점과 유효 기간 | 최근, 짧은 창 (몇 분) |
| Token ID | 감사 추적에 유용한 고유 식별자 | 있음 |
| Protocol version | ITA 증명 프로토콜의 버전 | 있음 |
CPU 기밀성 (Intel TDX)
이 필드들은 워크로드가 실행되는 기밀 VM을 설명해요. 여기서는 Intel TDX 배포에 대해 보여드려요. 다른 기밀 VM 플랫폼은 플랫폼별 이름으로 동등한 필드를 노출해요.
| 필드 | 무엇을 알려주는지 | 확인할 것 |
|---|---|---|
| TEE type | CPU TEE 기술 | TDX |
| Debug mode | 디버그 인터페이스가 켜져 있는지 | disabled |
| Is debuggable | 호스트가 VM을 디버그할 수 있는지 | false |
| TCB status | 플랫폼 펌웨어가 최신 보안 수준인지 | UpToDate (아래 참고) |
| TCB date | 플랫폼의 신뢰 컴퓨팅 베이스 수준의 날짜 | 정보용 |
| Security advisories | 이 TCB 수준에서 적용되는 알려진 Intel 보안 공지 | 있으면 검토 |
| Measurement registers | MRTD와 RTMR0-RTMR3: 시작된 VM, 펌웨어, 커널, OS, 워크로드의 지문 |
감사 및 독립 비교용 |
측정 레지스터는 무엇이 로드되었는지 단계별로 기록해요:
MRTD: TD가 구축될 때(그것을 시작하는 가상 펌웨어) 하드웨어가 찍는 기밀 VM의 초기 측정값.RTMR0: 가상 펌웨어(OVMF/TDVF)와 그 구성.RTMR1/RTMR2: 부팅 중에 측정된 커널,initrd, 부팅 파라미터, OS 구성 요소.RTMR3: 런타임, 워크로드별 측정값 (예: 추론 스택과 구성).
Note
TCB 상태가
OutOfDate라는 것은 플랫폼 펌웨어가 가장 최신 패치 수준이 아니라는 뜻이에요. 실패가 아니라 경고로 표시돼요. 나열된 보안 공지에 따라 여전히 허용 가능할 수 있지만, 민감한 워크로드에서는 검토할 가치가 있어요.
GPU 보안
이 필드들은 GPU가 검증된 펌웨어를 실행하는 진짜 하드웨어임을 증명해요. GPU 증거는 **NVIDIA의 Remote Attestation Service(NRAS)**가 확인하고 복합 토큰에 통합돼요.
| 필드 | 무엇을 알려주는지 | 확인할 것 |
|---|---|---|
| Hardware model | 증명된 GPU 모델 | 기밀 컴퓨팅이 가능한 NVIDIA GPU |
| Secure boot | GPU가 보안 부팅으로 부팅되었는지 | true |
| Debug mode | GPU 디버그 모드가 켜져 있는지 | disabled |
| Measurement result | GPU 펌웨어 측정값이 참조 값과 일치했는지 | comparison-successful |
| Driver / VBIOS version | GPU에서 실행 중인 펌웨어와 드라이버 버전 | 정보용 |
소프트웨어 및 펌웨어 무결성
증명은 GPU뿐 아니라 전체 스택의 무결성을 검증해요. 증거와 ITA 정책이 함께 CPU/VM 측과 GPU 측을 모두 확인해요.
CPU 및 가상 머신 (Intel TDX):
- 기밀 VM을 시작한 가상 펌웨어(OVMF/TDVF)와 TDX 모듈,
MRTD와RTMR0에 캡처됨. - 런타임 측정 레지스터에 캡처된 커널,
initrd, 부팅 구성. - 읽기 전용 루트 파일시스템(
dm-verity)과 강제되는 Kata 컨테이너 정책, 그래서 승인된 이미지·컨테이너·프로세스만 실행될 수 있어요.
GPU (NRAS가 확인):
- 증명 보고서가 파싱되고, 인증서 체인이 검증되며, 서명이 암호학적으로 확인됨.
- 드라이버와 VBIOS Reference Integrity Manifests(RIM)가 검증되고 서명이 확인됨.
- 모든 GPU 펌웨어 측정값이 참조 값과 일치함.
이것들이 함께 펌웨어, 운영 체제, 추론 워크로드, GPU가 모두 승인되고 측정된 스택임을 확인해요. 기본 하드웨어가 진짜라는 것만이 아니라요.
정책 컴플라이언스
| 필드 | 무엇을 알려주는지 |
|---|---|
| Policy matched | 증거가 등록된 보안 정책을 충족했는지. 비어 있지 않으면 PASS, 비어 있으면 FAIL. |
| Policy ID / version | 어떤 정책이 평가되었는지 |
| Policy hash | 정책 규칙이 변경되지 않았음을 확인할 수 있게 해 줌 |
고급 감사
더 나아가려는 보안 팀을 위해:
- Faithful Verification 보고서: 증명 토큰을 Intel에 제출해, 그것을 발행하는 데 관여한 모든 ITA 마이크로서비스가 진짜 Intel SGX enclave 안에서 수정되지 않은 코드로 실행되고 있었다는 암호학적 증명을 얻어요. 손상되거나 악의적인 증명 운영자로부터도 보호해 줘요.
- 원시 측정값과 collateral: 토큰은 전체 TDX 측정 레지스터, 보안 버전 번호, quote 검증 collateral을 노출해서 기대값과 독립적으로 비교할 수 있게 해 줘요.
검증 실패 문제 해결
클라이언트가 연결에 실패하면 그것은 설계상의 동작이에요. 검증이 실패했고 데이터가 보내지지 않았다는 뜻이죠. 일반적인 원인:
- 잘못된 토큰 서명: 토큰이 Intel Trust Authority가 진짜로 서명하지 않았음. 데이터를 보내지 마세요.
- 정책 불일치: 측정된 펌웨어, 커널, 워크로드, 또는 GPU 펌웨어가 승인된 스택과 다르므로 토큰이 발행되지 않았음.
- TEE에 바인딩되지 않은 키: OHTTP 공개 키가 증명된 환경에 암호학적으로 연결되지 않았음. 가로채기 시도일 수 있음.
- 만료 또는 재생된 토큰: 토큰이 짧은 유효 기간을 지났거나 nonce가 일치하지 않음.
모든 경우 안전한 동작은 자동으로 발생하는 것이에요: 클라이언트가 연결을 거부해요. 볼트가 계속 검증에 실패하면 Model Vault 앱에서 상태를 확인하고 Cohere 지원에 연락하세요.