Skip to content

research(cocoon): compound attestation for multi-hop TEE chain — track Cocoon attestation evidence API #4650

@bug-ops

Description

@bug-ops

Description

Zeph currently trusts the Cocoon sidecar implicitly via RA-TLS. There is no mechanism to verify the full attestation chain end-to-end: Zeph → sidecar → TEE worker. This is a compound attestation gap identified in arXiv:2605.03213.

Current State

  • Zeph verifies RA-TLS certificate of the sidecar (ensures encrypted channel)
  • Zeph does NOT verify that the sidecar itself is running in a TEE or is unmodified
  • The sidecar-to-worker attestation is opaque to Zeph
  • Documented as Known Limitation in specs/055-cocoon/spec.md §15.1 and §15.2
  • Key Invariant added: NEVER implement compound attestation verification without upstream sidecar support

Trigger Condition

This issue becomes actionable when the Cocoon sidecar exposes an attestation evidence endpoint (TDX quote, proxy certificate chain, or similar). Monitor:

  • Cocoon sidecar release notes
  • GET /health or GET /stats response schema additions

Proposed Implementation (when trigger fires)

  1. Query sidecar attestation evidence endpoint on connection
  2. Verify the evidence chain (TDX quote → PCK cert → Intel SGX root)
  3. Surface attestation status in TUI and zeph cocoon doctor
  4. Config option: cocoon.verify_attestation_chain = true

Context

Related: #3692, #3677, #3676

Metadata

Metadata

Assignees

No one assigned

    Labels

    P2High value, medium complexityresearchResearch-driven improvementsecuritySecurity-related issue

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions