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.
21 lines
1022 B
TeX
21 lines
1022 B
TeX
\section{Related Work}
|
|
|
|
\label{sec:related}
|
|
|
|
Gavin Wood's Ethereum Yellow Paper~\cite{wood2014ethereum} specifies the EVM but does
|
|
not provide a security model or threat analysis. The Bitcoin whitepaper~\cite{nakamoto2008bitcoin}
|
|
provides a probabilistic security argument for proof-of-work but does not address
|
|
quantum threats, economic adversaries, or formal verification.
|
|
|
|
Buterin et al.~\cite{buterin2020combining} analyze the combination of finality
|
|
gadgets with available chains but do not address post-quantum security. The NIST
|
|
post-quantum standardization process~\cite{fips204} provides security proofs for
|
|
individual primitives but does not address their composition in a blockchain context.
|
|
|
|
Our contribution is a \emph{complete} security model that spans all layers,
|
|
addresses all adversary classes, and makes every assumption explicit.
|
|
|
|
%% ========================================================================
|
|
%% 11. CONCLUSION
|
|
%% ========================================================================
|