Skip to content

docs(proofs): drop dead NitroEnclaveVerifier source links - #1818

Open
Dusk1e wants to merge 1 commit into
base:masterfrom
Dusk1e:fix/registrar-dead-verifier-link
Open

docs(proofs): drop dead NitroEnclaveVerifier source links#1818
Dusk1e wants to merge 1 commit into
base:masterfrom
Dusk1e:fix/registrar-dead-verifier-link

Conversation

@Dusk1e

@Dusk1e Dusk1e commented Aug 15, 2026

Copy link
Copy Markdown

Three links on the TEE registrar page point at src/L1/proofs/tee/NitroEnclaveVerifier.sol in base/contracts. That file was deleted along with INitroEnclaveVerifier.sol in base/contracts#400 (merged Aug 12), so all three 404 now — once in the intro paragraph and twice in the contract-calls table.

This renders the name as inline code instead, which is how the page already refers to contracts it doesn't link. The TEEProverRegistry and TEEVerifier links next to them still resolve and are untouched.

Checked before and after with node scripts/lint-mdx.js on the file — no new findings.

This only covers the dead links. The rest of #1817 — the page still describing the Boundless ZK-attestation flow that base/base#4425 replaced with hinted Nitro registration — I've left alone, since I can't tell from outside where that migration lands. Happy to follow up there once you say what it should read.

Closes nothing on its own; see #1817 for the rest.

base/contracts#400 deleted src/L1/proofs/tee/NitroEnclaveVerifier.sol
along with INitroEnclaveVerifier.sol, so the three links to it on the TEE
registrar page 404. Render the contract name as inline code instead, the
way the page already refers to contracts it does not link.

The neighbouring TEEProverRegistry and TEEVerifier links still resolve
and are left alone.
@cb-heimdall

Copy link
Copy Markdown
Collaborator

🟡 Heimdall Review Status

Requirement Status More Info
Reviews 🟡 0/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

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.

2 participants