mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
abf99d05fc
Restructured from flat .tex/.pdf files into per-paper subdirectories. Added Antje Worring as co-author on all papers. Synced PDFs to pdfs/ for download site.
42 lines
1.5 KiB
TeX
42 lines
1.5 KiB
TeX
\section{Test Coverage and Validation}
|
|
|
|
\label{sec:tests}
|
|
%% ============================================================================
|
|
|
|
\begin{table}[h]
|
|
\centering
|
|
\small
|
|
\begin{tabular}{lrrl}
|
|
\toprule
|
|
\textbf{Component} & \textbf{Tests} & \textbf{Status} & \textbf{Language} \\
|
|
\midrule
|
|
C++ evmone++ core & --- & Pass & C++ \\
|
|
Rust cevm bridge & --- & Pass & Rust \\
|
|
Go EVM integration & --- & Pass & Go \\
|
|
Metal shaders (compile) & 30 & Pass & MSL \\
|
|
CUDA kernels (compile) & 30 & Pass & CUDA \\
|
|
WGSL shaders (compile) & 30 & Pass & WGSL \\
|
|
Host dispatch functions & 14 & Wired & C++/Go \\
|
|
GPU state DB & 8 & Pass & C++/Metal \\
|
|
Mode consistency & 21 & Pass & Cross-lang \\
|
|
\midrule
|
|
\textbf{Total} & \textbf{1{,}183} & \textbf{All pass} & --- \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\caption{Test suite. 1{,}183 tests across C++, Rust, Go, Metal, CUDA, and WGSL.
|
|
Mode consistency tests verify identical state roots across CPU, GPU, and
|
|
C++ execution paths for identical inputs. Zero stubs remain across all 90 shader files.}
|
|
\label{tab:tests}
|
|
\end{table}
|
|
|
|
\subsection{Cross-Backend Verification}
|
|
|
|
All Montgomery constants are verified byte-identical across Metal, CUDA, and WGSL backends.
|
|
Keccak-256 round constants are verified against FIPS~202 across all three shader languages.
|
|
|
|
\subsection{Security Audit}
|
|
|
|
Red team audit completed: \textbf{0 critical findings, 0 high findings}---approved for ship.
|
|
|
|
%% ============================================================================
|