lux/pulsar
2
0
Fork 0
mirror of https://github.com/luxfi/pulsar.git synced 2026-09-24 00:25:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

docs: rewrite NIST-SUBMISSION + SUITE refs after merge/delete

Browse Source
This commit is contained in:
zeekay
2026-05-31 11:01:10 -07:00
parent b82e6eebe7
commit d400cd6f5a
5 changed files with 28 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files
CHANGELOG.md
+2 -3
View File
@@ -154,8 +154,7 @@ independently-attackable sub-obligations:
### Submission documentation added (v10)
- `SUBMISSION.md` — NIST MPTC cover sheet (updated with Tier-1/2/3 labels + patent posture cross-ref)
- `NIST-SUBMISSION.md` — one-page executive summary
- `SUBMISSION.md` — NIST MPTC cover sheet (updated with Tier-1/2/3 labels + patent posture cross-ref; absorbed prior one-page executive summary)
- `docs/patents.md` — royalty-free patent grant + defensive termination + claim summary
- `docs/proof-axiom-inventory.md` — per-axiom residual trust accounting with closure plans
- `docs/proof-claims.md` — narrow EC/Lean refinement claim with explicit non-claims
@@ -164,7 +163,7 @@ independently-attackable sub-obligations:
- `docs/patent-claims.md` — 21 numbered claim drafts (5 claim groups) for attorney review
- `docs/evaluation.md` — experimental evaluation report per NIST IR 8214C §6
### Out-of-scope for v0.1 (roadmap, see `NIST-SUBMISSION.md` §Roadmap)
### Out-of-scope for v0.1 (roadmap, see `SUBMISSION.md` §Roadmap)
- Full κ-loop probabilistic Hoare model (multi-week)
- Full bit-level FIPS 204 codec mechanization (multi-month, Barbosa-Barthe-Dupressoir scale)
docs/information-architecture.md
+6 -6
View File
@@ -8,8 +8,8 @@
| If you want to read about... | Read here |
|---|---|
| **NIST MPTC submission for Pulsar** | `pulsar-mptc/SUBMISSION.md` + `NIST-SUBMISSION.md` |
| **Hanzo PQ Threshold Suite overview** | `pulsar-mptc/SUITE.md` |
| **NIST MPTC submission for Pulsar** | `pulsar-mptc/SUBMISSION.md` |
| **Hanzo PQ Threshold Suite overview** | `pulsar-mptc/docs/suite.md` |
| **Pulsar protocol spec** | `pulsar-mptc/docs/spec-overview.md` (text) + `pulsar-mptc/spec/pulsar.pdf` (formal) |
| **Pulsar IETF / CFRG draft** | `pulsar-mptc/docs/ietf-draft-skeleton.md` |
| **What's proved vs not proved** | `pulsar-mptc/docs/proof-claims.md` |
@@ -55,7 +55,7 @@ Classical signatures
└── THRESHOLD: standard BLS aggregation ← `lps/LP-NNN` (TBD)
Hybrid / composition
└── HANZO PQ THRESHOLD SUITE ← `pulsar-mptc/SUITE.md` (master index)
└── HANZO PQ THRESHOLD SUITE ← `pulsar-mptc/docs/suite.md` (master index)
Secret-sharing wrapper
└── LSS (Linear Shamir Secret Sharing) ← `lps/LP-019` + `lps/LP-141`
@@ -73,7 +73,7 @@ NIST submission reviewer
IETF / CFRG editor
├── Entry: pulsar-mptc/docs/ietf-draft-skeleton.md
├── Cross-ref: pulsar-mptc/SUITE.md (overview)
├── Cross-ref: pulsar-mptc/docs/suite.md (overview)
└── Conversion: mmark / kramdown-rfc → xml2rfc XML
Lux protocol developer (writing a new precompile, etc.)
@@ -153,7 +153,7 @@ A reader can hop axes:
For each new tier construction:
1. Add a row to `SUITE.md` §Tiers.
1. Add a row to `suite.md` §Tiers.
2. Add a corresponding tier-N entry to `information-architecture.md`
Axis 1.
3. If production-grade: spin up a parallel doc package
@@ -191,4 +191,4 @@ To prevent drift across repos / LPs / docs:
- Name: `information-architecture.md`
- Version: v0.1
- Date: 2026-05-18
- Cross-references: `SUITE.md`, `~/work/lux/lps/CRYPTO-CANONICAL.md`
- Cross-references: `suite.md`, `~/work/lux/lps/CRYPTO-CANONICAL.md`
docs/roadmap.md
+6 -6
View File
@@ -26,7 +26,7 @@ by `scripts/check-lean-bridge.sh`), Jasmin threshold sources + jasmin-ct
ML-DSA implementations, royalty-free patent grant (`patents.md`),
21-claim attorney-prep document (`patent-claims.md`), and 13/13
production go-live blockers closed (`BLOCKERS.md`). Every other
construction listed in `HANZO-CRYPTO-SUITE.md` — Corona, Magnetar,
construction listed in `suite.md` — Corona, Magnetar,
LSS, FROST/CGGMP21 (Lux profile), BLS aggregate (Lux profile), X-Wing-Sig,
P3Q precompile, C-Chain / X-Chain PQ migration, Z-Chain PQ identity
rollup, threshold TFHE — has varying degrees of LP-level spec
@@ -202,7 +202,7 @@ necessarily issued).
`corona/docs/tcb.md`, `corona/docs/fips-204-traceability.md`
(since Corona is byte-compatible with FIPS 204 verifier — same
underlying ML-DSA semantics, R-LWE sibling),
`corona/HANZO-CRYPTO-SUITE.md` cross-reference,
`corona/docs/suite.md` cross-reference,
`corona/docs/evaluation.md`, `corona/docs/ietf-draft.md`,
`corona/docs/patent-claims.md`, `corona/CHANGELOG.md`.
- EC proofs mirror Pulsar's structure: refinement chain + axiom
@@ -1189,7 +1189,7 @@ entries on track.
- `lps/CRYPTO-CANONICAL.md` is the master crypto wiring doc.
- `pulsar-mptc/docs/information-architecture.md` documents three-axis taxonomy.
- LPs 168-179 mirror Hanzo HIPs 0077-0104 for E2E PQ.
- `pulsar-mptc/SUITE.md` + `pulsar-mptc/HANZO-CRYPTO-SUITE.md` are master
- `pulsar-mptc/docs/suite.md` + `pulsar-mptc/docs/suite.md` are master
indexes.
**Target end state (Q4 2029)**:
@@ -1564,8 +1564,8 @@ the Q4 2026 NIST submission deadline.
## §H Roadmap Maintenance
This document is the authoritative crypto-stack roadmap. It supersedes
prior ad-hoc planning in `HANZO-CRYPTO-SUITE.md` §"Recommended next-quarter
work plan" and `SUITE.md` §"Equivalent-packaging roadmap".
prior ad-hoc planning in `suite.md` §"Recommended next-quarter
work plan" and `suite.md` §"Equivalent-packaging roadmap".
**Update cadence**:
- End-of-quarter: roadmap maintainer publishes a 1-page status update
@@ -1591,7 +1591,7 @@ work plan" and `SUITE.md` §"Equivalent-packaging roadmap".
- Version: v1.0 (initial)
- Date: 2026-05-18
- Maintainer: `crypto-suite@lux.network`
- Companion documents: `SUITE.md`, `HANZO-CRYPTO-SUITE.md`,
- Companion documents: `suite.md`, `suite.md`,
`information-architecture.md`, `SUBMISSION.md`, `proof-axiom-inventory.md`,
`proof-claims.md`, `tcb.md`, `fips-204-traceability.md`,
`BLOCKERS.md`, `patents.md`, `patent-claims.md`,
docs/sync-status.md
+13 -12
View File
@@ -29,12 +29,12 @@
│ └── *** NO proofs/ or jasmin/ ***
│
├── pulsar-mptc/ ← NIST MPTC submission package (this repo)
│ ├── SUBMISSION.md NIST-SUBMISSION.md Submission cover sheets
│ ├── spec-overview.md SUITE.md sync-status.md Companion docs
│ ├── patents.md proof-axiom-inventory.md proof-claims.md
│ ├── fips-204-traceability.md tcb.md
│ ├── HANZO-CRYPTO-SUITE.md information-architecture.md
│ ├── roadmap.md CHANGELOG.md README.md
│ ├── SUBMISSION.md Submission cover sheet (top-level)
│ ├── docs/spec-overview.md docs/suite.md docs/sync-status.md Companion docs
│ ├── docs/patents.md docs/proof-axiom-inventory.md docs/proof-claims.md
│ ├── docs/fips-204-traceability.md docs/tcb.md
│ ├── docs/information-architecture.md
│ ├── docs/roadmap.md CHANGELOG.md README.md
│ ├── docs/ ietf-draft-skeleton, magnetar, evaluation,
│ │ patent-claims, x-wing-sig
│ ├── spec/ pulsar.tex + 3 supplements
@@ -125,12 +125,13 @@ The full NIST-submission documentation package + all formal-method
artifacts:
```
SUBMISSION.md NIST-SUBMISSION.md spec-overview.md SUITE.md sync-status.md
patents.md proof-axiom-inventory.md proof-claims.md fips-204-traceability.md
tcb.md HANZO-CRYPTO-SUITE.md
information-architecture.md roadmap.md CHANGELOG.md
ietf-draft-skeleton.md magnetar.md evaluation.md
patent-claims.md x-wing-sig.md
SUBMISSION.md CHANGELOG.md README.md (top-level)
docs/spec-overview.md docs/suite.md docs/sync-status.md
docs/patents.md docs/proof-axiom-inventory.md docs/proof-claims.md
docs/fips-204-traceability.md docs/tcb.md
docs/information-architecture.md docs/roadmap.md
docs/ietf-draft-skeleton.md docs/magnetar.md docs/evaluation.md
docs/patent-claims.md docs/x-wing-sig.md
proofs/easycrypt/ (28 files; v4-v13 decomposition complete)
proofs/lean-easycrypt-bridge.md
jasmin/lib/ jasmin/ml-dsa-65/ jasmin/threshold/
docs/x-wing-sig.md
+1 -1
View File
@@ -142,7 +142,7 @@ Total to v0.1 IETF draft: ~2 months.
verification.
- LP-134: C-Chain + X-Chain topology — deployment target.
- This document: `pulsar-mptc/docs/x-wing-sig.md`.
- Suite-level inventory: `pulsar-mptc/HANZO-CRYPTO-SUITE.md` §3.
- Suite-level inventory: `pulsar-mptc/docs/suite.md` §3.
## Honest framing