Skip to content

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

Merged
roethke merged 5 commits into
masterfrom
roethke/hinted-tee-registration
Oct 1, 2026
Merged

roethke merged 5 commits into
masterfrom
roethke/hinted-tee-registration

Conversation

@roethke

@roethke roethke commented Sep 30, 2026 •

Copy link
Copy Markdown
Collaborator

What changed? Why?

Brings over @leopoldjoy's changes from #1956. That PR was stacked on #1953 (Upcoming Features, still a draft), so it merged into the #1953 branch and never reached master. The live Registrar page still describes the old RISC Zero / Boundless attestation-proof flow, which Cobalt replaced.

  • Registrar spec (proofs/registrar.mdx): Leopold's rewrite, which replaces the ZK/Boundless registrar with the hinted P-384 flow. It covers the attestation challenge, registration plan, P-384 hints, certificate cache, final registration, revocation, orphan deregistration, upgrade compatibility, operator inputs, and safety requirements.
  • Hinted Registration Migration section: per Leopold, the standalone Hinted TEE Registration page from docs: specify hinted TEE registration #1956 is folded into the Registrar page, since the hinted flow is the Registrar's architecture going forward and only the migration is upgrade-specific. The section replaces "Upgrade Compatibility" and covers the previous ZK/Boundless flow, why it changed, what the proxy upgrade preserved, and what did not change.
  • Edits on top of docs: specify hinted TEE registration #1956: past tense now that Cobalt is live. The Cobalt overview's TEE Registration Migration accordion links to /specifications/base-protocol/proofs/registrar#hinted-registration-migration.
  • Not brought over: the upcoming-features.mdx row change. That page only exists on docs: add Upcoming Features page for planned protocol work #1953.
  • Indexes: regenerated AGENTS.md, llms.txt, llms-full.txt.

Notes to reviewers

  • Content: registrar spec content is Leopold's, verbatim apart from tense edits and the merged migration section. Leopold, please confirm nothing changed in the implementation since docs: specify hinted TEE registration #1956 (Sep 24).
  • Out of scope, flagged: proofs/proof-contracts.mdx still documents NitroEnclaveVerifier with RISC Zero / SP1 attestation proofs, and its diagram shows Registry → NitroEnclaveVerifier → ZK verifier. The new registrar spec describes NitroValidator / CertManager / P384Verifier instead, so that page needs a follow-up.

How has it been tested?

Screenshots

Screenshots to follow.

Bring over Leopold's changes from #1956 (merged into the #1953 branch,
never landed on master): replace the ZK/Boundless registrar description
with the hinted P-384 flow shipped in Cobalt, and add the Hinted TEE
Registration page. Past tense where the migration has now shipped, and
link the new page from the Cobalt overview.

Co-authored-by: Leopold Joy <leo@leopoldjoy.com>
Generated with Claude Code

Co-Authored-By: Claude <noreply@anthropic.com>
@mintlify

mintlify Bot commented Sep 30, 2026 •

Copy link
Copy Markdown
Contributor

Preview deployment for your docs. Learn more about Mintlify Previews.

Project Status Preview Updated
base 🟢 Ready View Preview Oct 1, 2026, 5:56 PM

💡 Tip: Enable Automations to automatically generate PRs for you.

@cb-heimdall

cb-heimdall commented Sep 30, 2026 •

Copy link
Copy Markdown
Collaborator

✅ Heimdall Review Status

Requirement Status More Info
Reviews ✅ 1/1
Denominator calculation
Show calculation
1 if user is bot 0
1 if user is external 0
2 if repo is sensitive 0
From .codeflow.yml 1
Additional review requirements
Show calculation
Max 0
0
From CODEOWNERS 0
Global minimum 0
Max 1
1
1 if commit is unverified 0
Sum 1

Per Leopold: the hinted flow is the Registrar's architecture going
forward, and only the migration itself is upgrade-specific. Drop the
standalone page, replace Upgrade Compatibility with a Hinted
Registration Migration section (previous flow, why, what was preserved),
and link that anchor from the Cobalt overview.

Generated with Claude Code

Co-Authored-By: Claude <noreply@anthropic.com>
Comment thread docs/specifications/base-protocol/proofs/registrar.mdx Outdated
Comment thread docs/specifications/base-protocol/proofs/registrar.mdx Outdated
Comment thread docs/specifications/base-protocol/proofs/registrar.mdx Outdated
- Condense Responsibilities into a high-level summary
- State that revocation/expiry does not invalidate registered signers
- Drop the repeated no-fallback safety bullet

Co-authored-by: Leopold Joy <leo@leopoldjoy.com>
Generated with Claude Code

Co-Authored-By: Claude <noreply@anthropic.com>
* docs(proofs): align hinted registration references

* docs(proofs): keep hinted API references readable
@cb-heimdall

Copy link
Copy Markdown
Collaborator

Review Error for leopoldjoy @ 2026-10-01 17:50:21 UTC
User cannot review their own commit

@roethke
roethke merged commit e4a4983 into master Oct 1, 2026
15 checks passed
@roethke
roethke deleted the roethke/hinted-tee-registration branch October 1, 2026 17:58

This branch was successfully deployed

1 active deployment
staging - docs — 94844e1f Deployed Oct 1, 2026 by mintlify[bot]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants