AMD SEV-SNP support (tracking)
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 35/100
- issue の種類
- 機能追加
- 明瞭さ
- おおむね明確
- 活発さ
- 静か
- 技術スタック
- aws, azure, gcp
- 領域
- cloud, infrastructure, security
調査の方向性
3つの未チェック項目から始めてください。#746 の KDS fetch のハードニング、SNP guest image と kernel-hash のリリース作業、そして KMS key-provider の検証です。既存の設計については #703 を読み、cloud の作業は #125 で分離してください。bare-metal SNP がハードニングされ、固定された kernel hash とともにリリースされ、意図した key provider のみを信頼すれば完了です。
索引モデルが issue の本文から書いたものです。
説明
AMD SEV-SNP landed in #703 as an experimental, opt-in platform. Intel TDX with NVIDIA Confidential Computing stays the production path. This issue tracks what's left before bare-metal SNP can be called supported, and how SNP should reach the clouds.
Where it stands
The hard parts are done:
- SNP reports verified against pinned AMD roots
- App identity bound to the hardware-signed report
- BadAML/ACPI closed by a kernel AML sandbox shipping in the guest image
- Key release fail-closed by default
- Opt-in via
--platform amd-sev-snp, auto-detected on AMD hosts
Left before it's "supported"
- Harden the AMD KDS fetch so a throttled host can't hang bootstrap (#746)
- Ship the SNP guest image in a tagged release and pin its kernel hash
- Small KMS hardening: confirm the key provider the guest trusts is actually ours
Until these land, SNP stays experimental and out of the production docs.
Cloud comes later, and separately
Whoever controls the VM launch decides the backend. On bare metal we control the launch and recompute the measurement ourselves. In a cloud we don't, so each cloud is its own backend on top of the provider's vTPM plus the AMD report, not a fork of the bare-metal path. AWS also signs reports with VLEK, which we reject today, so it needs its own verifier. None of this blocks bare metal. Cloud image and config plumbing is tracked in #125.
Related
- #703 (merged)
- #746 (KDS hardening)
- #125 (cloud plumbing)
- Closed during triage: #443, #744
Design notes
SNP is shaped differently from TDX. TDX gives runtime measurement registers and an event log, so we read identity straight from signed state. SNP gives a single launch measurement and no runtime register, so we bind app identity into the launch config (host_data) and recompute the launch measurement to check it against the report. One consequence: SNP has no RTMR-style runtime composability yet. That needs a vTPM, via SVSM on bare metal or the cloud's own vTPM elsewhere.
For the clouds, GCP and Azure would verify the provider vTPM and consume the AMD report; AWS needs VLEK support. For confidential GPUs, H100 works on bare-metal SNP and on Azure SNP, while GCP's confidential GPU is TDX. The full rationale and references live in #703.
- 主要言語
- Rust
- スター
- 551
- フォーク
- 97
- 平均マージ
- 1日 8時間
- マージ済み PR(30日)
- 182
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
Dstack-TEE/dstack のほかの issue
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
Dstack-TEE/dstack#1384 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 30/100
Dstack-TEE/dstack#1301 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 55/100
Dstack-TEE/dstack#1300 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
Dstack-TEE/dstack#1299 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
Dstack-TEE/dstack#1298 ·
Dstack-TEE/dstack の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
-
bug good first issue package: quic
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
-
難易度 1/5 1時間未満 初心者へのやさしさ 78/100
-
`dora trace view` sends a non-canonical full UUID as-is, so a valid trace ID shows "No spans found" オープンcli coordinator rust
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
-
area: tasks enhancement good first issue help wanted
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
Jason-jo17/Polybench#15 · コメント 1 件 ·