papers/lux-nist-mptc-submission/reference-impl/impl-pointers.tex

% Lux NIST MPTC Submission — Reference Implementation Pointers
% Per repository policy: papers/, proofs/, audits/ are LaTeX-only.

\documentclass[11pt]{article}
\usepackage[margin=1in]{geometry}
\usepackage{hyperref}
\usepackage{enumitem}
\usepackage{longtable}
\usepackage{booktabs}

\title{Reference Implementation Pointers}
\author{Lux Network}
\date{}

\begin{document}
\maketitle

All reference implementations are at the canonical Go repos under
\verb|github.com/luxfi/|. Every repo carries the freeze tag
\verb|v0.1.0-rc1-pq-consensus-freeze| (Mar-3, 2026). The implementation is
the byte oracle; where this submission and the implementation disagree, the
implementation is the tiebreaker.

\section{Repository map}

\begin{longtable}{p{0.32\textwidth}p{0.42\textwidth}p{0.20\textwidth}}
\toprule
\textbf{Repo} & \textbf{Role} & \textbf{Freeze tag} \\
\midrule
\verb|github.com/luxfi/pulsar| & Pulsar kernel & freeze \\
\verb|github.com/luxfi/lens| & Lens kernel & freeze \\
\verb|github.com/luxfi/threshold| & LSS framework & freeze \\
\verb|github.com/luxfi/consensus| & Quasar engine & v1.22.84 \\
\verb|github.com/luxfi/warp| & Warp 1.x + 2.0 & v1.18.0 \\
\verb|github.com/luxfi/lattice| & Lattigo v7 fork & v7 \\
\bottomrule
\end{longtable}

\section{How to clone and verify}

\begin{verbatim}
git clone https://github.com/luxfi/pulsar && cd pulsar
git checkout v0.1.0-rc1-pq-consensus-freeze
go test -count=1 -short ./...
./scripts/regen-kats.sh --verify
\end{verbatim}

The five core test suites (Pulsar, Lens, Threshold, Consensus, Warp 2.0) all
pass on the freeze tag. KAT regen is byte-equal across runs.

\section{Audit status}

The audit (\verb|papers/AUDIT.pdf|) cites the proof bucket \verb|proofs/| as
the formal-verification companion. Lean mechanizations cover Pulsar SUF-CMA,
reshare correctness, triple consensus (BLS + Pulsar + ML-DSA), and BFT
safety/liveness/finality. TLA+ and Tamarin models pass.

\end{document}