mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
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.
28 lines
997 B
TeX
28 lines
997 B
TeX
\section{System Model}
|
|
|
|
\label{sec:model}
|
|
|
|
We inherit the standard model: $n$ validators, $f < n/3$ Byzantine, partially
|
|
synchronous network with GST. We augment the model with a notion of network quality.
|
|
|
|
\begin{definition}[Network Quality]
|
|
The \emph{network quality} at round $r$ is characterized by:
|
|
\begin{itemize}[nosep]
|
|
\item $\gamma_r$: effective adversarial fraction (Byzantine + delayed honest validators)
|
|
\item $\Delta_r$: observed round-trip latency
|
|
\item $\sigma_r$: variance in query response counts
|
|
\end{itemize}
|
|
\end{definition}
|
|
|
|
\begin{definition}[Confidence Velocity]
|
|
For color $c$ at round $r$, the confidence velocity is:
|
|
\[
|
|
\nu_c(r) = \frac{d_c(r)}{r} = \frac{\text{total supermajority rounds for } c}{r}
|
|
\]
|
|
where $d_c(r)$ is the cumulative confidence counter from the Wave protocol.
|
|
\end{definition}
|
|
|
|
%% -----------------------------------------------------------------------
|
|
%% 3. THE RAY PROTOCOL
|
|
%% -----------------------------------------------------------------------
|