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.3 KiB
TeX
34 lines
1.3 KiB
TeX
\section{System Model}
|
|
|
|
\label{sec:model}
|
|
|
|
We adopt the standard partially synchronous model from~\cite{dwork1988consensus}.
|
|
The network consists of $n$ validators $V = H \cup B$ where $H$ is honest ($|H| \geq 2n/3 + 1$)
|
|
and $B$ is Byzantine ($|B| < n/3$).
|
|
|
|
\begin{definition}[Conviction Counter]
|
|
For validator $v$ and transaction $t$, the conviction counter $cnt(v, t)$ is a
|
|
non-negative integer that:
|
|
\begin{itemize}[nosep]
|
|
\item Increments by 1 when $v$'s sample returns $\geq \alpha k$ responses matching
|
|
$\text{col}(v, t)$.
|
|
\item Resets to 0 when $v$'s preference switches: $\text{col}(v, t)$ changes.
|
|
\end{itemize}
|
|
\end{definition}
|
|
|
|
\begin{definition}[Certificate]
|
|
Validator $v$ issues a certificate $\text{cert}(v, t, c)$ when $cnt(v, t) = \beta_2$
|
|
for color $c$, attesting that $v$ observed $\beta_2$ consecutive supermajority rounds
|
|
for color $c$. The certificate includes a digital signature over
|
|
$(t, c, \beta_2, \text{round})$.
|
|
\end{definition}
|
|
|
|
\begin{definition}[Skip]
|
|
A skip event $\text{skip}(v, t, r)$ occurs at round $r$ when $v$'s preference for $t$
|
|
changes, resetting $cnt(v, t) \gets 0$.
|
|
\end{definition}
|
|
|
|
%% -----------------------------------------------------------------------
|
|
%% 3. THE FLARE PROTOCOL
|
|
%% -----------------------------------------------------------------------
|