mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zooqueen
a1f77cacc9
Ringtail (Boschini et al., ePrint 2024/1113) is third-party prior art; Lux's Corona (Ring-LWE = Module-LWE rank-1) builds on it; Pulsar is Module-LWE rank-k. Retired the conflated boschini2024corona/corona2024/coronago/... bib keys to the single canonical ringtail/corona/pulsar/magnetar keys, rewrote \cite + \bibitem by context, and fixed 'Pulsar (Ring-LWE)' mislabels (Corona where corona.metal/ single-ring/Ringtail-derived; Pulsar where Module-LWE rank-k/ML-DSA). Cryptographer-led.
22 lines
1.7 KiB
TeX
22 lines
1.7 KiB
TeX
\section{Conclusion}
|
|
|
|
%% +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
|
|
|
Lux Bridge provides trustless, fast, and cost-effective cross-chain communication via ZK light clients, MPC threshold custody, and optimistic verification. The security model is now rigorously analyzed:
|
|
|
|
\begin{enumerate}[leftmargin=1.1em]
|
|
\item \textbf{MPC security}: CGGMP21 and FROST forgery probability $< 2^{-127}$ at production parameters ($t = 67$, $n = 100$ on secp256k1).
|
|
\item \textbf{Liveness}: $2^{-139.6}$ failure probability with 99.9\% individual node uptime.
|
|
\item \textbf{Quantum resilience}: Quasar hybrid verification (BLS12-381 + Corona) provides 128-bit post-quantum security in Phase 2+.
|
|
\item \textbf{Bridge privacy}: TFHE enables confidential cross-chain transfers with threshold decryption.
|
|
\item \textbf{Formal verification}: 68 Halmos symbolic proofs verify contract invariants (conservation, daily limits, nonce monotonicity, exchange rate monotonicity). 18 Lean~4 files prove cryptographic primitive correctness (BLS aggregation, FROST threshold, Corona LWE).
|
|
\item \textbf{Contract hardening}: Four critical fixes (C-01 through C-04) eliminate unlimited minting, role conflation, timestamp-based nonces, and predictable withdrawal nonces.
|
|
\end{enumerate}
|
|
|
|
With \textbf{sub-500ms finality} on native routes and \textbf{$< \$0.001$ costs}, Lux Bridge enables seamless interoperability across the Lux ecosystem and external blockchains, backed by machine-verified security guarantees.
|
|
|
|
%% +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
|
\appendix
|
|
%% +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
|
|