Files
pulsar/docs
zeekayandHanzo Dev 22731aba99 spec: cite Ringtail by its title, and state Corona's licence
references.bib gave ePrint 2024/1113 the title "Corona: Practical Two-Round
Threshold Signatures from Learning with Errors". The paper is "Ringtail:
Practical Two-Round Threshold Signatures from Learning with Errors", by the
six authors the entry already named correctly. A title is the authors' words.
The file's own header asks for exactly this — "verified against
https://eprint.iacr.org... Do not paraphrase or guess".

Ringtail is their scheme. Corona is Lux's implementation over Ring-LWE;
Pulsar retargets the same two-round structure to Module-LWE for FIPS 204.
The prose and the citation key now say so, and this spec is the NIST MPTC
submission, so it is the last place to get it wrong.

patent-notes.tex stated "Corona's open-source repo is Apache-2.0 with no
asserted patent claims". Corona is under the Lux Ecosystem License v1.2,
which reserves commercial use — no Apache grant and no Apache §3 patent
grant. The surrounding paragraph had been flattened by a rename into
"Pulsar ... is derivative of Pulsar" and "Pulsar (and therefore Pulsar) is a
fork"; it now names Corona and Ringtail where each is meant.

Dropped the residual Pulsar-M spelling, including the naming rule that
forbade writing "Pulsar" and required writing "Pulsar".

Co-authored-by: Hanzo Dev <[email protected]>
2026-07-29 11:12:14 -07:00
..
2026-05-31 11:01:48 -07:00

docs/ — Pulsar documentation index

Supporting documentation for the Pulsar NIST MPTC submission. The submission cover sheet (/SUBMISSION.md), BLOCKERS.md, CHANGELOG.md, LICENSE, SECURITY.md, and CONTRIBUTING.md live at the repository root. Everything else is here.

Reviewer reading path

If you have limited time:

  1. proof-claims.md — narrow N1 byte-equality claim; what's proved vs not.
  2. proof-axiom-inventory.md — residual EC axioms with closure plans.
  3. tcb.md — what's trusted (EC / Jasmin / OCaml).
  4. fips-204-traceability.md — op/lemma → FIPS 204 § map.
  5. cryptographer-sign-off.md — independent review (APPROVED WITH GATES).
  6. evaluation.md — performance + correctness evidence.
  7. deployment.md — operator runbook.

Submission-package documents

File Purpose
proof-claims.md Narrow Class N1 byte-equality claim — what is and is not proved.
proof-axiom-inventory.md Per-axiom residual EC trust accounting + closure plans.
tcb.md Trusted computing base — EC / Jasmin / OCaml / Lean layers.
fips-204-traceability.md Reference-impl op + EC lemma → FIPS 204 § map.
evaluation.md Experimental evaluation per NIST IR 8214C §6.
cryptographer-sign-off.md Independent cryptographer review + four pre-publish gates.
deployment.md Operator runbook for the v0.3 algebraic aggregator.
spec-overview.md Text protocol spec mirroring spec/pulsar.tex §§ 1-19.
ietf-draft-skeleton.md IETF / CFRG draft skeleton (draft-hanzo-pulsar-threshold-mldsa-00).
nist-mptc-category.md MPTC class N1 + N4 mapping.
threat-model.md Adversary classes + assumptions.
design-decisions.md Frozen design decisions (DD-001 …).
family-architecture.md Pulsar / Corona / Magnetar primitive split.
magnetar.md Tier 3 SLH-DSA threshold research placeholder.
x-wing-sig.md Proposed hybrid classical+PQ signature wrapper.

Patent + license documents

File Purpose
patents.md Royalty-free patent grant text + defensive termination.
patent-claims.md 21 attorney-prep claim drafts (internal).
licensing-notes.md Apache-2.0 placement in the Lux three-tier IP strategy.

Suite + cross-repo orientation

File Purpose
suite.md Hanzo PQ Threshold Suite index (Tiers 1-4) + broader Lux/Hanzo crypto inventory appendix.
information-architecture.md Cross-repo taxonomy — where each artifact lives.
sync-status.md Cross-repo audit between pulsar, corona, proofs, papers, lps.
single-impl-plan.md Historical: merge plan from pulsar-mptc into pulsar.

Roadmap + status

File Purpose
status.md Live submission-readiness status across NIST / IETF / FIPS / ACVP tracks.
roadmap.md Multi-year roadmap (v0.2 Corona packaging, FIPS 140-3, etc).