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.
34 lines
1.1 KiB
TeX
34 lines
1.1 KiB
TeX
\section{Trust Separation Model}
|
|
|
|
|
|
\subsection{P-Chain as Root of Trust}
|
|
|
|
The P-Chain maintains the canonical validator set. Every other chain's security derives from this set.
|
|
|
|
\begin{definition}[Security Inheritance]
|
|
A chain $C$ \emph{inherits security} from the primary network if and only if:
|
|
\begin{enumerate}[leftmargin=2em]
|
|
\item $C$'s validator set is a subset of (or equal to) the P-Chain validator set.
|
|
\item $C$'s consensus protocol requires $>2/3$ of its validator set to finalize blocks.
|
|
\item $C$'s finality is propagated to the primary network within one epoch.
|
|
\end{enumerate}
|
|
\end{definition}
|
|
|
|
\subsection{Separation of Concerns}
|
|
|
|
Each chain maintains independent state but shares the validator trust assumption:
|
|
|
|
\begin{center}
|
|
\begin{tabular}{lll}
|
|
\toprule
|
|
\textbf{Shared} & \textbf{Per-Chain} & \textbf{Cross-Chain} \\
|
|
\midrule
|
|
Validator set & State trie & Warp messages \\
|
|
Staking weight & Transaction pool & Asset transfers \\
|
|
BLS/ML-DSA keys & Gas pricing & Finality proofs \\
|
|
Epoch proofs & VM execution & Nonce tracking \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\end{center}
|
|
|