mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +00:00
zeekayandHanzo Dev
178febad68
Every rendered "T-Chain" / "ThresholdVM" / "teleportvm" reference across the paper corpus is rewritten to the correct canonical chain by concern: threshold signing / MPC / bridge custody / key recovery -> M-Chain (MVM); FHE / encrypted compute / threshold decryption -> F-Chain (FVM); teleport / cross-chain messaging -> B-Chain (bridgevm); consensus Pulsar stays Q-Chain. Section lux-trust-kernel/03-t-chain-threshold-governance.tex renamed -> 03-f-chain-encrypted-policy.tex (with \input + xref fixes). Braided "T-Chain" sections split by concern (M vs F). Only lp-020's chain-separation rationale and the shared lux/chains/thresholdvm library path retain the name, to record the removal. All changed papers rebuilt (pdflatex, rc=0, no undefined refs). ยง09 of lux-dao-governance-framework reframed: fabricated "production deployment" metrics ($50M/$240k/$12M, survey %s, "as of Oct 2024") relabeled as illustrative design configurations with no invented replacements; reality noted (DAO treasury is a 1/1 Safe); conclusion echo + one "first production" overclaim softened. This commit also captures concurrent corpus workstreams on the same tree. Co-authored-by: Hanzo Dev <[email protected]>
61 lines
1.8 KiB
TeX
61 lines
1.8 KiB
TeX
\documentclass[11pt,a4paper]{article}
|
|
\usepackage{../shared/luxcover}
|
|
\usepackage[utf8]{inputenc}
|
|
\usepackage[T1]{fontenc}
|
|
\usepackage{amsmath,amssymb,amsfonts}
|
|
\usepackage{graphicx}
|
|
\usepackage{hyperref}
|
|
\usepackage{booktabs}
|
|
\usepackage{enumitem}
|
|
\usepackage{xcolor}
|
|
\usepackage{siunitx}
|
|
\usepackage{listings}
|
|
|
|
\hypersetup{colorlinks=true,linkcolor=black,citecolor=blue,urlcolor=blue}
|
|
|
|
\lstset{
|
|
basicstyle=\ttfamily\scriptsize,
|
|
breaklines=true,
|
|
frame=single,
|
|
showstringspaces=false,
|
|
}
|
|
|
|
\title{P3Q Pulsar Kind:\\
|
|
Module-LWE Threshold Verify on the Unified Precompile Slot}
|
|
\author{Lux Industries, Inc. \\
|
|
\texttt{[email protected]}}
|
|
\date{2026-06-03}
|
|
|
|
\begin{document}
|
|
\luxcoverpage
|
|
|
|
\begin{abstract}
|
|
This paper specifies \emph{kind $0x01$ Pulsar} of the P3Q
|
|
framework (LP-219): a rank-$k$ Module-LWE threshold verifier over
|
|
FIPS-204 ML-DSA-65. Pulsar is the lowest-gas P3Q kind
|
|
(\SI{50000}{gas}) and the first wired on-chain; it is the
|
|
PQ-fast leg of the LP-217 cert profile ladder. The slot, the
|
|
kind-byte dispatch ABI, and the \texttt{P3QVerifier} registration
|
|
interface are specified in LP-219; this paper gives Pulsar's wire
|
|
layout, its parameter set, and its gas calibration. Pulsar
|
|
reduces to the hardness of rank-$k$ Module-LWE, the assumption
|
|
underlying the FIPS-204 standard. It shares that Module-LWE
|
|
hardness family with its sibling Corona (LP-220) --- construction
|
|
diversity, not hardness-family diversity --- while cross-family
|
|
independence comes only from the hash-collision assumption of
|
|
Magnetar (LP-222). The CPU verifier is
|
|
byte-equal to the FIPS-204 standard and is wired today; GPU
|
|
dispatch is projected, not measured.
|
|
\end{abstract}
|
|
|
|
\tableofcontents
|
|
\newpage
|
|
|
|
\input{sections/01-introduction}
|
|
\input{sections/03-pulsar-kind}
|
|
|
|
\bibliographystyle{plain}
|
|
\bibliography{biblio}
|
|
|
|
\end{document}
|