mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
36 lines
1.6 KiB
TeX
36 lines
1.6 KiB
TeX
\section{Formal Verification Status}
|
|
|
|
\label{sec:verification}
|
|
|
|
\begin{table}[ht]
|
|
\centering
|
|
\caption{Verification status of security-critical components.}
|
|
\label{tab:verification}
|
|
\begin{tabular}{p{3.5cm}lp{4cm}}
|
|
\toprule
|
|
\textbf{Component} & \textbf{Status} & \textbf{Evidence} \\
|
|
\midrule
|
|
Lux consensus safety & [Proven] & Formal proof in~\cite{rocket2020scalable} \\
|
|
BLS EUF-CMA security & [Proven] & ROM proof in~\cite{boneh2001bls} \\
|
|
ML-DSA EUF-CMA security & [Proven] & NIST FIPS 204~\cite{fips204} \\
|
|
CGGMP21 UC security & [Proven] & UC proof in~\cite{canetti2021uc} \\
|
|
FROST unforgeability & [Proven] & ROM proof in~\cite{komlo2020frost} \\
|
|
Pulsar EUF-CMA & [Proven] & ROM proof under Module-LWE \\
|
|
Hybrid sig. composition & [Proven] & Section~4 of this document \\
|
|
NTT correctness & [Tested] & 100\% NIST KAT, $10^9$ random vectors \\
|
|
FHE bootstrapping & [Tested] & Comparison against reference implementation \\
|
|
EVM determinism & [Tested] & Ethereum test suite, Lux-specific fuzzing \\
|
|
Gas metering accuracy & [Tested] & Benchmark calibration, variance $< 5\%$ \\
|
|
P2P authentication & [Tested] & Integration tests, simulated MITM \\
|
|
Lattice hardness (128-bit) & [Assumed] & Lattice-estimator, no known attack \\
|
|
Hash collision resistance & [Assumed] & No known practical attacks \\
|
|
DLP hardness (classical) & [Assumed] & 40+ years of cryptanalysis \\
|
|
Quantum timeline (>2030) & [Assumed] & Published vendor roadmaps \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\end{table}
|
|
|
|
%% ========================================================================
|
|
%% 8. TRIPLE-PROOF QUANTUM FINALITY
|
|
%% ========================================================================
|