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.
32 lines
1.3 KiB
TeX
32 lines
1.3 KiB
TeX
\section{Trust Assumptions}
|
|
|
|
\label{sec:trust}
|
|
|
|
We enumerate the explicit trust assumption for each system component.
|
|
|
|
\begin{table}[ht]
|
|
\centering
|
|
\caption{Per-component trust assumptions.}
|
|
\label{tab:trust}
|
|
\begin{tabular}{p{3cm}p{5cm}p{4cm}}
|
|
\toprule
|
|
\textbf{Component} & \textbf{Trust Assumption} & \textbf{Failure Consequence} \\
|
|
\midrule
|
|
Validator set & $< n/3$ validators are Byzantine & Safety violation \\
|
|
Consensus engine & Implementation matches specification & Consensus bugs \\
|
|
BLS library & Correct pairing computation & Signature forgery \\
|
|
ML-DSA library & Correct lattice operations, NIST KATs pass & PQ signature forgery \\
|
|
MPC signers & $< t$ signers are corrupted & Bridge/vault key compromise \\
|
|
Price oracles & $> n/2$ oracle sources are honest & DeFi liquidation manipulation \\
|
|
Chain finality & Finalized blocks are irreversible & Double-spend \\
|
|
EVM implementation & Deterministic execution matches spec & State divergence \\
|
|
RNG (key generation) & System entropy source is unpredictable & Predictable keys \\
|
|
Time source & NTP within $\Delta_{\text{max}}$ of real time & Timestamp manipulation \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\end{table}
|
|
|
|
%% ========================================================================
|
|
%% 7. FORMAL VERIFICATION STATUS
|
|
%% ========================================================================
|