mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zooqueen
ebe2ebcb3c
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.
43 lines
1.5 KiB
TeX
43 lines
1.5 KiB
TeX
\section{Future Work}
|
|
|
|
%% +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
|
|
|
\subsection{Post-Quantum Full Migration (Phase 3)}
|
|
|
|
Complete migration to post-quantum cryptography:
|
|
\begin{itemize}[leftmargin=1.1em]
|
|
\item Corona as primary threshold signature (replacing CGGMP21/FROST)
|
|
\item Quantum-resistant P3Q (\texttt{luxfi/p3q}) proofs for fraud proofs
|
|
\item ML-KEM (FIPS 203) for key exchange in relayer network
|
|
\item Target: Phase 3 activation by 2035
|
|
\end{itemize}
|
|
|
|
\subsection{Proactive Secret Sharing}
|
|
|
|
Automatic key rotation without changing aggregate public keys:
|
|
\begin{itemize}[leftmargin=1.1em]
|
|
\item Periodic re-sharing of MPC key shares (30-day cycles)
|
|
\item Mitigates slow key leakage attacks
|
|
\item Maintains backward compatibility with existing bridge contracts
|
|
\end{itemize}
|
|
|
|
\subsection{TFHE Private Bridge V2}
|
|
|
|
Extending confidential transfers with:
|
|
\begin{itemize}[leftmargin=1.1em]
|
|
\item Multi-token private swaps during bridge transfer (lock token $A$, receive token $B$)
|
|
\item Confidential rate limits (rate limiting without revealing individual amounts)
|
|
\item TFHE-accelerated batch settlement
|
|
\end{itemize}
|
|
|
|
\subsection{Cross-VM Bridges}
|
|
|
|
Extending bridge to non-EVM chains:
|
|
\begin{itemize}[leftmargin=1.1em]
|
|
\item Solana via native program verification
|
|
\item Polkadot via XCM adapters
|
|
\item Remaining Lean~4 proof coverage: 15/45 consensus theorems in progress
|
|
\end{itemize}
|
|
|
|
%% +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|