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
2.0 KiB
TeX
34 lines
2.0 KiB
TeX
\section*{Acknowledgments}
|
|
|
|
|
|
We thank the Lux Network community for valuable feedback and the broader consensus research community for foundational work in probabilistic agreement protocols.
|
|
|
|
\begin{thebibliography}{99}
|
|
|
|
\bibitem{castro1999practical}
|
|
Castro, M., \& Liskov, B. (1999). Practical Byzantine fault tolerance. In \textit{Proceedings of the Third Symposium on Operating Systems Design and Implementation} (pp. 173-186).
|
|
|
|
\bibitem{yin2019hotstuff}
|
|
Yin, M., Malkhi, D., Reiter, M. K., Gueta, G. G., \& Abraham, I. (2019). HotStuff: BFT consensus with linearity and responsiveness. In \textit{Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing} (pp. 347-356).
|
|
|
|
\bibitem{popov2021fpc}
|
|
Popov, S., Moog, H., Camargo, D., Capossele, A., Dimitrov, V., Gal, A., ... \& Sanders, W. (2021). FPC-BI: Fast Probabilistic Consensus within Byzantine Infrastructures. \textit{Journal of Parallel and Distributed Computing}, 147, 77-91.
|
|
|
|
\bibitem{muller2020fast}
|
|
Müller, S., Penzkofer, A., Polyanskii, N., Theis, J., Sanders, W., \& Moog, H. (2020). Fast Probabilistic Consensus with Weighted Votes. In \textit{International Conference on Distributed Computing Systems (ICDCS)}.
|
|
|
|
\bibitem{capossele2021robustness}
|
|
Capossele, A., Müller, S., Penzkofer, A., \& Gal, A. (2021). Robustness and Efficiency of Voting Consensus Protocols within Byzantine Infrastructures. \textit{Blockchain: Research and Applications}, 2(1), 100007.
|
|
|
|
\bibitem{rocket2018wave}
|
|
Team Rocket. (2018). Metastable Consensus Protocol Family for Cryptocurrencies. \textit{arXiv preprint arXiv:1906.08936}.
|
|
|
|
\bibitem{baudet2019state}
|
|
Baudet, M., Ching, A., Chursin, A., Danezis, G., Garillot, F., Li, Z., ... \& Sonnino, A. (2019). State machine replication in the Libra blockchain. \textit{The Libra Association Technical Report}.
|
|
|
|
\bibitem{luxformal2025}
|
|
Kelling, Z. \& Bin, W. (2025). Formal Verification of Lux Consensus in Lean~4. \texttt{github.com/luxfi/formal}. Machine-checked proofs of safety, liveness, and BFT tolerance for Wave/FPC consensus.
|
|
|
|
\end{thebibliography}
|
|
|