Skip to content

docs(design): specify VCT root authentication#230

Open
p0mvn wants to merge 3 commits into
mainfrom
docs/vct-root-authentication-design
Open

docs(design): specify VCT root authentication#230
p0mvn wants to merge 3 commits into
mainfrom
docs/vct-root-authentication-design

Conversation

@p0mvn

@p0mvn p0mvn commented Jul 17, 2026

Copy link
Copy Markdown
Collaborator

Motivation

Header sync receives peer-supplied commitment roots and ZIP-221 leaf inputs that must be authenticated before they become authoritative VCT state. The design needs explicit ownership, persistence, recovery, scheduling, and peer-attribution invariants before implementation proceeds.

Solution

  • define state-owned root-authentication and completed-checkpoint frontiers
  • require atomic promotion through a verified-root persistence boundary
  • specify migration and recovery for existing mixed-provenance root rows
  • establish forward-only startup and exact asynchronous operation identity
  • document failure handling, implementation phases, metrics, and test coverage

Testing

  • markdownlint docs/design/header-sync-vct-root-authentication.md --config .trunk/configs/.markdownlint.yaml
  • IDE diagnostics report no errors for the document

This is a low-risk documentation-only change, so Rust builds, Clippy, and tests were not run under the repository's risk-based verification policy.

Specifications & References

Follow-up Work

  • Implement the authentication phases in focused PRs.

@v12-auditor

v12-auditor Bot commented Jul 17, 2026

Copy link
Copy Markdown

Warning

No auditable source files found in this PR's diff.

@p0mvn
p0mvn marked this pull request as draft July 17, 2026 03:57
Define ownership, persistence, recovery, and forward-only scheduling invariants before implementing authenticated peer-supplied roots.
Record completed prerequisites and introduce the durable frontier with the migration that depends on it.
@p0mvn
p0mvn marked this pull request as ready for review July 21, 2026 07:20
Require successor headers to be checkpoint-covered so a replaceable successor cannot authenticate authoritative roots.
@p0mvn
p0mvn requested a review from evan-forbes July 21, 2026 10:18
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.

1 participant