Repository navigation

docs(proofs): specify hinted TEE registration in the Registrar spec - #2044

Merged

roethke merged 5 commits into

roethke/hinted-tee-registration

Oct 1, 2026

Commits on Sep 30, 2026
- docs(proofs): specify hinted TEE registration in the Registrar spec
  
  roethke
  and
  claude
  committed
  ace0c42
- docs(proofs): fold Hinted TEE Registration into the Registrar page
  
  roethke
  and
  claude
  committed
  93b55fd
Commits on Oct 1, 2026
- docs(proofs): apply Leopold's Registrar review suggestions
  
  roethke
  and
  claude
  committed
  372ab04
- docs(proofs): align hinted registration references (#2045)
  leopoldjoy
  authored
  b822374
- Merge branch 'master' into roethke/hinted-tee-registration
  youssefea
  authored
  94844e1