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.
37 lines
1.6 KiB
TeX
37 lines
1.6 KiB
TeX
\section{Architecture}
|
|
|
|
%% +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
|
|
|
\subsection{Bridge Components}
|
|
|
|
\begin{itemize}[leftmargin=1.1em]
|
|
\item \textbf{Light Client Verifiers}: On-chain contracts verifying block headers via ZK-SNARKs
|
|
\item \textbf{Relayer Network}: Decentralized operators submitting cross-chain proofs
|
|
\item \textbf{MPC Threshold Signers}: Distributed validator set with CGGMP21 (ECDSA), FROST (Schnorr/EdDSA), and Corona (post-quantum) threshold signatures
|
|
\item \textbf{Bridge Contracts}: Lock/mint contracts on source/destination chains, hardened with daily limits, role separation, and monotonic nonces
|
|
\item \textbf{Fraud Proof System}: ZK-SNARK proofs of invalid state transitions
|
|
\item \textbf{Quasar Verifier}: Hybrid BLS12-381 + Corona finality certificates
|
|
\item \textbf{TFHE Gateway}: Threshold FHE for confidential bridge operations
|
|
\end{itemize}
|
|
|
|
\subsection{Supported Bridge Types}
|
|
|
|
\begin{table}[h]
|
|
\centering
|
|
\begin{tabular}{lll}
|
|
\toprule
|
|
Bridge Type & Finality & Trust Model \\
|
|
\midrule
|
|
Lux L1 $\leftrightarrow$ L2 & 400ms & Native (Warp + BLS) \\
|
|
L2 $\leftrightarrow$ L3 & 300ms & Native (Warp + BLS) \\
|
|
L3 $\leftrightarrow$ L3 & 350ms & Native (Warp + BLS) \\
|
|
Lux $\leftrightarrow$ Ethereum & 8 minutes & Optimistic + ZK + MPC \\
|
|
Lux $\leftrightarrow$ Bitcoin & 20 minutes & FROST threshold + MuSig2 \\
|
|
Lux $\leftrightarrow$ Cosmos & 6 seconds & IBC light client \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\caption{Bridge finality times and security models}
|
|
\end{table}
|
|
|
|
%% +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|