mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
dd93cb41f7
Sweep across the non-Tier-1 paper catalogue (Tier-1 owned by parallel
agent and excluded). All 113 processed papers already had luxcover
wired up; this commit fixes 14 build breakers and produces fresh
PDFs across the catalogue.
Fixes:
- lux-blockchain-scaling-laws: em-dash inside lstlisting -> --
- lux-corona-pq: stale \input pointing at 03-the-corona-scheme renamed
to 03-the-corona-scheme (file already renamed on disk)
- lux-lattice-cryptography-primer: same Corona->Corona rename
- lux-formal-verification-lean4: Lean source uses unicode (×, ∀, ∃, ∈,
∧, ∨, ∩, ≠, ⟨, ⟩, ·, ¬) inside lstlistings. Added a literate map
so listings render the math glyphs without UTF-8 fault.
- lux-id-did-specification: ✓/✗ in tabular replaced with \ding{51}
/ \ding{55} (pifont). Added pifont package.
- lux-ntt-simd-implementation: middle-dot in Go assembly listings;
added literate {·}{\textperiodcentered}.
- lux-ntt-transform: μ, ×, –, — in regular text (no T1 fontenc).
Replaced with $\mu$/$\times$/--/--- via unicode->latex sweep.
- lux-perpetuals-derivatives, lux-quantum-consensus,
lux-quasar-consensus, lux-tee-computing-mesh: same unicode->latex
sweep across body text. Also fixed broken math segment
`$L_{avg} = 10$\times$$` -> `$L_{avg} = 10\times$`.
- lux-zchain: emoji glyphs in roadmap table replaced with
parenthetical text.
- lux-triple-proof-consensus: dropped duplicate \usepackage{geometry}
that clashed with luxcover (geometry option clash).
- pq: defined missing \Rq macro.
PDFs rebuilt for the full Tier-2/3 set.
Excluded (Tier-1, parallel agent): lp-073-pulsar, lp-stricte2epq,
dag-evm-formal, lp-010-quasar-stm-{3,4}, lp-020-quasar-consensus,
lux-institutional-custody, lux-nist-mptc-submission, pqsafe-il5,
pq-rns, plus shared/ and lps/.
62 lines
2.7 KiB
TeX
62 lines
2.7 KiB
TeX
\documentclass[11pt,a4paper]{article}
|
|
\usepackage{../shared/luxcover}
|
|
\usepackage[utf8]{inputenc}
|
|
\usepackage[T1]{fontenc}
|
|
\usepackage{amsmath,amssymb,amsfonts}
|
|
\usepackage{graphicx}
|
|
\usepackage{hyperref}
|
|
\usepackage{cite}
|
|
\usepackage{algorithm}
|
|
\usepackage{algorithmic}
|
|
\usepackage{listings}
|
|
\input{../shared/lstlang}
|
|
\usepackage{xcolor}
|
|
|
|
\lstset{
|
|
basicstyle=\ttfamily\small,
|
|
breaklines=true,
|
|
frame=single,
|
|
language=C
|
|
}
|
|
|
|
\hypersetup{
|
|
colorlinks=true,
|
|
linkcolor=blue,
|
|
filecolor=magenta,
|
|
urlcolor=cyan,
|
|
citecolor=blue
|
|
}
|
|
|
|
\title{\textbf{ETHFALCON: EVM-Optimized Post-Quantum Signatures}\\
|
|
\large{Practical Lattice-Based Cryptography for Ethereum}}
|
|
|
|
\author{
|
|
Zach Kelling\thanks{Corresponding author: [email protected]}\\
|
|
\textit{Lux Industries, Inc.}\\
|
|
\texttt{[email protected]}
|
|
}
|
|
|
|
\date{2024}
|
|
|
|
\begin{document}
|
|
|
|
\luxcoverpage
|
|
|
|
\begin{abstract}
|
|
The emergence of quantum computers poses an existential threat to blockchain networks relying on ECDSA and other classical cryptographic primitives. FALCON (Fast-Fourier Lattice-based Compact Signatures over NTRU) is a NIST-selected post-quantum signature scheme offering strong security guarantees with compact signatures. However, direct deployment on Ethereum Virtual Machine (EVM) faces prohibitive gas costs exceeding 20 million gas per verification. This paper presents ETHFALCON, a suite of EVM-optimized FALCON variants achieving 70-90\% gas cost reduction through strategic cryptographic modifications: (1) FALCON-SOLIDITY replaces SHAKE XOF with Keccak-CTR for native EVM compatibility, (2) EPERVIER introduces public key recovery mode avoiding expensive inverse NTT operations, and (3) custom NTT implementations leverage EVM's 256-bit word architecture. We demonstrate production-ready verification at 1.8-1.9 million gas, enabling post-quantum Account Abstraction (EIP-7702, EIP-4337) and quantum-resistant decentralized applications. Security analysis confirms 128-bit quantum security equivalent to NIST FALCON-512. Benchmarks show 2.8ms off-chain verification and practical deployment on Optimism Sepolia testnet. This work establishes ETHFALCON as the first operationally viable post-quantum signature scheme for Ethereum, bridging the gap between cryptographic theory and blockchain practicality.
|
|
\end{abstract}
|
|
|
|
\input{sections/01-introduction}
|
|
\input{sections/02-falcon-background}
|
|
\input{sections/03-evm-optimization-strategies}
|
|
\input{sections/04-epervier-public-key-recovery}
|
|
\input{sections/05-performance-benchmarks}
|
|
\input{sections/06-security-analysis}
|
|
\input{sections/07-integration-with-ethereum}
|
|
\input{sections/08-comparison-with-alternative-pqc-schemes}
|
|
\input{sections/09-future-work}
|
|
\input{sections/10-conclusion}
|
|
\input{sections/99-acknowledgments}
|
|
|
|
\end{document}
|