Files
zeekay abf99d05fc papers: reorganize into per-paper dirs, add Antje Worring as co-author
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.
2026-04-18 21:50:07 -07:00

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
%% -----------------------------------------------------------------------