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.
26 lines
1.9 KiB
TeX
26 lines
1.9 KiB
TeX
\section{Introduction}
|
|
|
|
%% +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
|
|
|
Cross-chain interoperability remains one of blockchain's hardest problems. Traditional bridges suffer from:
|
|
\begin{itemize}[leftmargin=1.1em]
|
|
\item \textbf{Security vulnerabilities}: \$2.5B lost in bridge hacks (2022--2024)
|
|
\item \textbf{High costs}: \$10--50 per bridge transaction (Ethereum bridges)
|
|
\item \textbf{Slow finality}: 10--60 minutes for cross-chain confirmation
|
|
\item \textbf{Centralization}: Multi-sig bridges controlled by 5--7 operators
|
|
\item \textbf{Quantum vulnerability}: All production bridges rely on ECDSA or BLS, both vulnerable to Shor's algorithm
|
|
\end{itemize}
|
|
|
|
\paragraph{Our Solution.} Lux Bridge combines optimistic verification with ZK fraud proofs, threshold MPC custody with formally analyzed security margins, and a hybrid classical/post-quantum signature layer. By leveraging Lux's sub-second consensus finality, we achieve cross-chain transfers faster than any competing protocol while providing cryptographic guarantees against both classical and quantum adversaries.
|
|
|
|
\paragraph{Contributions of this revision.}
|
|
\begin{enumerate}[leftmargin=1.1em]
|
|
\item Formal MPC security analysis: CGGMP21 and FROST failure probabilities computed for production parameters (\S\ref{sec:mpc-security}).
|
|
\item Quasar hybrid verification: BLS12-381 + Corona dual-signature finality (\S\ref{sec:quasar}).
|
|
\item TFHE bridge privacy: threshold FHE for confidential cross-chain operations (\S\ref{sec:tfhe}).
|
|
\item Four critical contract security fixes (C-01 through C-04) with Halmos symbolic verification (\S\ref{sec:contract-security}).
|
|
\item Formal verification coverage across Lean~4 (consensus/crypto) and Halmos (Solidity invariants) (\S\ref{sec:formal}).
|
|
\end{enumerate}
|
|
|
|
%% +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|