摘要

  • Muhammad Usama Sardar 在 10 月 27 日 RIPE 93 质疑把远程证明塞进 TLS 握手。Cocos AI 自己的 Intel TDX 通告记录：测试路径接受了重复或不匹配的会话值，握手后应用数据随之放行。
  • 另一份 Cocos AI 通告指出 AMD SEV-SNP 路径在调用者漏填预期值时可能接受无关证明。该项目在 0.9.0 版改为握手后证明；IETF SEAT 章程要求证明与当前连接绑定。

门卫认真看了徽章，却没看徽章挂在哪件外套上。Cocos AI 的 Intel TDX 原厂通告把这件事写成了可检查的软件路径：验证器收到了本次会话的新鲜性数值，但测试中的原始实现没有把这个预期值放进硬件报告的校验策略。外来的 TDX 报告带着不匹配或重复的 reportData，仍被接受；TLS 握手结束后，应用数据放行。

RIPE 93 的原始议程记录了 Sardar 10 月 27 日的发言。他追问：把证明提前塞进握手，新增复杂度换来了什么？Cocos 的通告给了这个问题一个不抽象的版本。仪式可以完整结束，证明却未必指向刚建立的连接。

第二份通告涉及不同硬件，也限定了不同的触发条件。AMD SEV-SNP 路径在 Cocos 0.8.2 中，只有调用者提供非空 reportData 时才设置预期值。若调用者漏填，验证器可能接受与本次连接无关的证明；提供非空值时，不匹配会被拒绝。Cocos 表示 0.9.0 版转向握手后证明。真正的开关在“缺值时继续”这一行逻辑。

Edgeless Systems 的 Contrast 通告又揭出另一种身份错位：在它列出的拦截流量及伪造报告或提取密钥条件下，旧版可能接受来自另一台机器、但测量值符合预期的有效报告。1.16.0 版加入允许的硬件标识名单。报告有效、机器正确、连接新鲜，是三道分别要过的门。

IETF SEAT 工作组章程要求证明材料绑定 TLS 连接，支持逐连接新鲜性，并在规范制定时并行做形式化分析。章程给出了实测题目：拿旧报告、空值、别的机器逐一闯门，看看应用数据是否仍留在门内。章程的权威来自这些可失败的测试，而非印章本身。