mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
98343d238e
Quasar Horizon (consensus composition over Pulsar / ML-DSA / BLS lanes
under Prism + LSS lifecycle), Warp 2.0 (Pulse-backed cross-chain envelope
with forward-only v1->v2 migration and lattigo ReadUint64Slice DoS fix),
benchmark report (microbench, reshare, activation, Warp 2.0 verify, Prism
composition, GPU headroom, cross-WAN latency), and NIST IR 8214C-style
submission package (spec, parameter sets, domain separation, serialization,
reference-impl pointers, evaluation report, security analysis, side-channel
considerations).
All four deliverables compile cleanly via pdflatex+bibtex and reference
the canonical proof bucket files at proofs/{definitions,pulsar,lss,quasar}.
No duplication of proof bodies; cite by file path.
53 lines
1.8 KiB
TeX
53 lines
1.8 KiB
TeX
\section{Conclusion}
|
|
|
|
|
|
The Quantum Consensus Protocol establishes that Eisenstein series
|
|
provide a mathematically rich structure for consensus proof
|
|
construction, with provable convergence bounds and natural
|
|
difficulty adjustment via amplitude amplification. The asymmetry
|
|
between quantum-accelerated proposal and classical verification is a
|
|
desirable property for any computation-based consensus mechanism.
|
|
|
|
The production Lux Network adopted QCP's philosophical commitments---
|
|
lattice-based security, leaderless architecture, classical
|
|
verifiability---while choosing a more conservative implementation path
|
|
in Quasar. The Eisenstein approach remains a valid research direction
|
|
for future consensus protocols that can assume ubiquitous quantum
|
|
hardware.
|
|
|
|
\bibliographystyle{plain}
|
|
\begin{thebibliography}{99}
|
|
|
|
\bibitem{grover1996}
|
|
L.~K.~Grover, ``A fast quantum mechanical algorithm for database
|
|
search,'' \textit{STOC}, pp.~212--219, 1996.
|
|
|
|
\bibitem{nielsen2010}
|
|
M.~A.~Nielsen and I.~L.~Chuang, \textit{Quantum Computation and
|
|
Quantum Information}, 10th Anniversary Ed., Cambridge University
|
|
Press, 2010.
|
|
|
|
\bibitem{zagier2008}
|
|
D.~Zagier, ``Elliptic Modular Forms and Their Applications,'' in
|
|
\textit{The 1-2-3 of Modular Forms}, Springer, pp.~1--103, 2008.
|
|
|
|
\bibitem{miyake1989}
|
|
T.~Miyake, \textit{Modular Forms}, Springer-Verlag, 1989.
|
|
|
|
\bibitem{lp105}
|
|
Z.~Kelling, ``LP-020: Quasar---Hybrid BLS + Lattice Consensus for
|
|
Post-Quantum Finality,'' Lux Industries, 2026.
|
|
|
|
\bibitem{shor1999}
|
|
P.~W.~Shor, ``Polynomial-time algorithms for prime factorization and
|
|
discrete logarithms on a quantum computer,'' \textit{SIAM Review},
|
|
vol.~41, no.~2, pp.~303--332, 1999.
|
|
|
|
\bibitem{brassard2002}
|
|
G.~Brassard, P.~H\o yer, M.~Mosca, and A.~Tapp, ``Quantum amplitude
|
|
amplification and estimation,'' \textit{Contemporary Mathematics},
|
|
vol.~305, pp.~53--74, 2002.
|
|
|
|
\end{thebibliography}
|
|
|