mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
abf99d05fc
Restructured from flat .tex/.pdf files into per-paper subdirectories. Added Antje Worring as co-author on all papers. Synced PDFs to pdfs/ for download site.
40 lines
1.1 KiB
TeX
40 lines
1.1 KiB
TeX
\section{Future Work}
|
|
|
|
|
|
\subsection{Hardware Acceleration}
|
|
|
|
NTT operations are highly parallelizable:
|
|
\begin{itemize}
|
|
\item \textbf{GPU:} CUDA implementations achieve $<$1ms verification
|
|
\item \textbf{FPGA:} Custom NTT circuits reduce latency to $<$10$\mu$s
|
|
\item \textbf{ASIC:} Dedicated chips (future Ethereum clients)
|
|
\end{itemize}
|
|
|
|
\subsection{Signature Aggregation}
|
|
|
|
Lattice-based signatures support aggregation \cite{boneh2018compact}:
|
|
\begin{itemize}
|
|
\item Combine $n$ FALCON signatures into single proof
|
|
\item Verification cost grows sublinearly: $O(n \log n)$ vs. $O(n)$
|
|
\item Applications: Rollups, batch transactions, consensus
|
|
\end{itemize}
|
|
|
|
\subsection{Threshold Signatures}
|
|
|
|
Multi-party computation for FALCON:
|
|
\begin{itemize}
|
|
\item Distribute secret key across $n$ parties
|
|
\item Require $t$ of $n$ for valid signature
|
|
\item Use cases: Multi-sig wallets, DAO governance
|
|
\end{itemize}
|
|
|
|
\subsection{Formal Verification}
|
|
|
|
Cryptographic proofs in Coq/Lean:
|
|
\begin{itemize}
|
|
\item Machine-checked security proofs
|
|
\item Verified implementations (no bugs)
|
|
\item Integration with formal EVM semantics
|
|
\end{itemize}
|
|
|