mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zooqueen
ebe2ebcb3c
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.6 KiB
TeX
51 lines
1.6 KiB
TeX
\section{Security Considerations}
|
|
|
|
|
|
\subsection{Byzantine Fault Tolerance}
|
|
|
|
Q-Chain maintains safety under standard Byzantine assumptions:
|
|
|
|
\begin{theorem}[Safety]
|
|
If $f < n/3$ validators are Byzantine and the network delay $\Delta < \Delta_{max}$, then no two honest validators finalize conflicting blocks.
|
|
\end{theorem}
|
|
|
|
\begin{proof}
|
|
For a block to finalize, it requires:
|
|
\begin{enumerate}
|
|
\item BLS signatures from $\geq 2n/3$ validators
|
|
\item Corona shares from $\geq 2n/3$ validators
|
|
\item Confidence $\geq \beta$ in Lux voting
|
|
\end{enumerate}
|
|
|
|
With $f < n/3$ Byzantine nodes, at least $n - f > 2n/3$ honest nodes exist. Two conflicting blocks cannot both obtain $2n/3$ signatures from honest validators.
|
|
\end{proof}
|
|
|
|
\subsection{Liveness}
|
|
|
|
\begin{theorem}[Liveness]
|
|
If $f < n/3$ validators are Byzantine and network delay $\Delta < \Delta_{max}$, then all valid transactions eventually finalize.
|
|
\end{theorem}
|
|
|
|
\begin{proof}
|
|
Honest validators always prefer valid transactions. With $>2n/3$ honest validators and bounded network delay, the Lux consensus mechanism guarantees that valid preferences reach confidence threshold $\beta$ within finite rounds.
|
|
\end{proof}
|
|
|
|
\subsection{Slashing Conditions}
|
|
|
|
\begin{table}[h]
|
|
\centering
|
|
\begin{tabular}{@{}lll@{}}
|
|
\toprule
|
|
\textbf{Reason} & \textbf{Evidence} & \textbf{Penalty} \\
|
|
\midrule
|
|
Double Sign & Two conflicting block sigs & 100\% stake \\
|
|
Missing PQ Cert & No Corona signature & 50\% stake \\
|
|
Invalid Signature & Malformed signature & 75\% stake \\
|
|
Extended Downtime & >99\% missed blocks & 25\% stake \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
|
|
\label{tab:slashing}
|
|
\end{table}
|
|
|