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.
46 lines
1.8 KiB
TeX
46 lines
1.8 KiB
TeX
\section{Direct Voting Fast Path}
|
|
|
|
\label{sec:voting}
|
|
|
|
For uncontested transactions (no conflict), the full metastable sampling process is
|
|
unnecessary. Prism includes a direct voting fast path with $O(n)$ complexity.
|
|
|
|
\begin{algorithm}[H]
|
|
\caption{Prism Direct Voting --- Uncontested Fast Path}
|
|
\label{alg:voting}
|
|
\begin{algorithmic}[1]
|
|
\Function{DirectVote}{transaction $t$}
|
|
\If{$\mathcal{C}(t) = \emptyset$} \Comment{no conflict detected}
|
|
\State Broadcast $\text{vote}(v, t, \text{accept})$ to all validators
|
|
\State Collect votes from $\geq 2n/3$ validators
|
|
\If{all collected votes are accept}
|
|
\State \textbf{finalize} $t$ immediately \Comment{$O(1)$ rounds}
|
|
\Else
|
|
\State Fallback to Photon pipeline for $t$ \Comment{conflict detected}
|
|
\EndIf
|
|
\EndIf
|
|
\EndFunction
|
|
\end{algorithmic}
|
|
\end{algorithm}
|
|
|
|
\begin{proposition}[Fast Path Safety]
|
|
\label{prop:fast-path}
|
|
The direct voting fast path maintains safety: if an honest validator finalizes $t$
|
|
via direct vote, then no conflicting $t'$ can be finalized (via direct vote or Photon).
|
|
\end{proposition}
|
|
|
|
\begin{proof}
|
|
Finalization via direct vote requires $2n/3$ accept votes. Since $f < n/3$, at least
|
|
$n/3 + 1$ of these votes come from honest validators. If a conflicting $t'$ existed,
|
|
honest validators would reject $t$ (detecting the conflict) and not send accept votes.
|
|
Therefore, $2n/3$ accept votes implies no conflict exists, and finalization is safe.
|
|
|
|
If a conflict is discovered after the direct vote begins (but before $2n/3$ votes are
|
|
collected), the transaction falls back to the Photon pipeline, where the conflict is
|
|
resolved through the standard metastable process.
|
|
\end{proof}
|
|
|
|
%% -----------------------------------------------------------------------
|
|
%% 6. THROUGHPUT SCALING
|
|
%% -----------------------------------------------------------------------
|