mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zooqueen
a1f77cacc9
Ringtail (Boschini et al., ePrint 2024/1113) is third-party prior art; Lux's Corona (Ring-LWE = Module-LWE rank-1) builds on it; Pulsar is Module-LWE rank-k. Retired the conflated boschini2024corona/corona2024/coronago/... bib keys to the single canonical ringtail/corona/pulsar/magnetar keys, rewrote \cite + \bibitem by context, and fixed 'Pulsar (Ring-LWE)' mislabels (Corona where corona.metal/ single-ring/Ringtail-derived; Pulsar where Module-LWE rank-k/ML-DSA). Cryptographer-led.
51 lines
1.5 KiB
TeX
51 lines
1.5 KiB
TeX
\section{System Architecture}
|
|
|
|
|
|
\subsection{Quasar Consensus Stack}
|
|
|
|
The Quasar family consists of six layered protocols:
|
|
|
|
\begin{table}[h]
|
|
\centering
|
|
\begin{tabular}{@{}lll@{}}
|
|
\toprule
|
|
\textbf{Engine} & \textbf{Purpose} & \textbf{Complexity} \\
|
|
\midrule
|
|
Photon & Binary consensus & O(K $\times$ Beta) \\
|
|
Wave & Threshold consensus & O(K $\times$ choices $\times$ Beta) \\
|
|
Nova & DAG finalization & O(vertices $\times$ K) \\
|
|
Nebula & Full DAG consensus & O(vertices$^2$ $\times$ K) \\
|
|
Prism & Direct voting & O(N) \\
|
|
Quasar & Quantum overlay & O(3N) for triple-proof \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
|
|
\label{tab:engines}
|
|
\end{table}
|
|
|
|
\subsection{Triple-Proof Architecture}
|
|
|
|
\begin{figure}[h]
|
|
\centering
|
|
\begin{verbatim}
|
|
Block Proposal (1ms target)
|
|
|
|
|
|--- BLS Path (per-block) ---------$\blacktriangleright$ 48 bytes aggregated
|
|
| |--$\blacktriangleright$ GPU aggregation (~3ms)
|
|
| |--$\blacktriangleright$ Per-block: hash ref (32 bytes)
|
|
|
|
|
|--- PQ Path (per-epoch, 1s) ------$\blacktriangleright$ 192 bytes Groth16 proof
|
|
| |--$\blacktriangleright$ ML-DSA signing (~495us/validator)
|
|
| |--$\blacktriangleright$ Corona threshold (~7ms)
|
|
| |--$\blacktriangleright$ Groth16 prover (~400ms CPU / ~5-15ms GPU)
|
|
|
|
|
|--- Epoch Cert (every 1000 blocks)
|
|
BLS aggregate: 48 bytes
|
|
ZK proof: 192 bytes (Groth16, circuit-independent)
|
|
Total: ~248 bytes quantum finality
|
|
\end{verbatim}
|
|
|
|
\label{fig:triple-proof}
|
|
\end{figure}
|
|
|