mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
30 lines
1.1 KiB
TeX
30 lines
1.1 KiB
TeX
\section{Bugs Found}
|
|
|
|
|
|
\begin{table}[H]
|
|
\centering
|
|
\small
|
|
\begin{tabular}{@{}llll@{}}
|
|
\toprule
|
|
\textbf{Bug} & \textbf{Component} & \textbf{Technique} & \textbf{Severity} \\
|
|
\midrule
|
|
NTT coefficient overflow at $q-1$ & Pulsar & Go fuzz & High \\
|
|
INTT missing final reduction & NTT engine & Go fuzz & High \\
|
|
Montgomery mul wrong for $a=0$ & NTT engine & Go fuzz & Medium \\
|
|
Polynomial add modular wrap & Polynomial lib & Go fuzz & Medium \\
|
|
FHE noise undercount for $n=1$ & FHE core & Go fuzz & High \\
|
|
Vault share rounding to zero & Yield vault & Foundry fuzz & Critical \\
|
|
AMM fee bypass at max uint & AMM pool & Foundry fuzz & High \\
|
|
Bridge nonce gap on revert & Teleport & Foundry invariant & High \\
|
|
Staking reward overflow & Staking & Foundry fuzz & Medium \\
|
|
Token approve race condition & ERC-20 & Halmos & Low \\
|
|
\multicolumn{4}{c}{\ldots 13 more findings \ldots} \\
|
|
\midrule
|
|
\textbf{Total} & & & \textbf{23} \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\caption{Selected bugs found by fuzzing and property-based testing.}
|
|
\end{table}
|
|
|
|
%% ============================================================
|