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.
26 lines
1.6 KiB
TeX
26 lines
1.6 KiB
TeX
\section{Conclusion}
|
|
|
|
\label{sec:conclusion}
|
|
|
|
We have presented Flare, a conviction-based consensus protocol that provides certificate
|
|
finality through the certificate/skip mechanism. The Certificate Skip Exclusivity theorem
|
|
establishes that conflicting certificates cannot form under honest supermajority, with
|
|
failure probability bounded by $e^{-\Omega(k\beta_2)}$. Flare bridges the gap between
|
|
Slush's memoryless sampling and Wave's cumulative counters by providing transferable
|
|
cryptographic proofs of finality.
|
|
|
|
The Flare protocol serves as the second layer in the Lux consensus stack, providing
|
|
certificate-based finality on top of the population convergence dynamics inherited from
|
|
Slush and the confidence tracking inherited from Wave.
|
|
|
|
\begin{thebibliography}{99}
|
|
\bibitem{rocket2019wave} T. Rocket et al., ``Scalable and probabilistic leaderless BFT consensus through metastability,'' 2019.
|
|
\bibitem{kelling2020wave} Z. Kelling, ``Wave protocol: Decision stability and confidence monotonicity,'' Lux Industries, Inc., 2020.
|
|
\bibitem{castro1999practical} M. Castro and B. Liskov, ``Practical Byzantine fault tolerance,'' in \emph{OSDI}, 1999.
|
|
\bibitem{yin2019hotstuff} M. Yin et al., ``HotStuff: BFT consensus with linearity and responsiveness,'' in \emph{PODC}, 2019.
|
|
\bibitem{buchman2016tendermint} E. Buchman, ``Tendermint: Byzantine fault tolerance in the age of blockchains,'' PhD Thesis, 2016.
|
|
\bibitem{dwork1988consensus} C. Dwork, N. Lynch, and L. Stockmeyer, ``Consensus in the presence of partial synchrony,'' \emph{JACM}, 1988.
|
|
\bibitem{nakamoto2008bitcoin} S. Nakamoto, ``Bitcoin: A peer-to-peer electronic cash system,'' 2008.
|
|
\end{thebibliography}
|
|
|