Files
zeekayandHanzo Dev 178febad68 papers: reconcile T-Chain -> M-Chain / F-Chain / B-Chain per LP-134
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]>
2026-07-02 00:57:09 -07:00

29 lines
1.5 KiB
TeX

\section{Introduction}
P3Q (LP-219) is the unified-slot post-quantum verifier framework at
EVM precompile slot \texttt{0x012205}: one slot, one ABI, and a
leading \texttt{kind} byte that dispatches into a per-kind
threshold-signature verifier core. This paper specifies
\emph{kind $0x03$ Magnetar}, the hash-based member of the P3Q family.
For the slot allocation, the kind-byte dispatch ABI, the
\texttt{P3QVerifier} Go interface that registers each kind, and the
cross-family composition into LP-217 cert profile modes, see LP-219.
The sibling kinds are specified in LP-223 (Pulsar / rank-$k$
Module-LWE) and LP-220 (Corona / Module-LWE).
Magnetar reduces to the collision resistance of the SHA-2 / SHA-3
family --- a non-lattice assumption that is independent of the
Module-LWE hardness its sibling kinds (Pulsar and Corona, both
Module-LWE) rest on, and the reason Magnetar is the cross-family
backstop of the LP-217 PQ-heavy posture. It is calibrated at \SI{30000}{gas}. Section~\ref{sec:magnetar-192f-lock}
documents the production parameter-set lock at SLH-DSA-192f, chosen
after the 2026-06-04 Quasar 4-scheme matrix bench measured 192s at
\SI{795}{ms}/sign vs 192f at \SI{36}{ms}/sign on Spark (a
$22\times$ reduction that restores the sub-\SI{1}{s} round budget).
Performance numbers are tagged \textbf{measured} or
\textbf{projected}; the on-chain path reserves Magnetar's dispatch
entry and returns \texttt{abiFalse} via
\texttt{ErrKindNotImplemented} until its threshold library lands,
and GPU dispatch is projected, not measured.