mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
de41e5d072
Retract the fabricated '581M/597ns / 100M+/s / 434M GPU / planet-scale' headline (a time.Sleep sim + x40 fudge that measured nothing) across the corpus. Flagship lux-lightspeed-dex rewritten (decomplected d-chain engine / dexvm atomic proxy / Go wrapper / 0x9010 CLOB facade; measured GB10 104-126M & M4 Max ~250M fills/s byte-parity-gated; Knuth-D division lever; Block-STM settlement; P3Q->starkfri rollup to Z-Chain). Technical papers (precompile-engineering, gpu-crypto-stack, evmgpu-benchmark, p3q-corona, smart-order-routing, fhe-mpc-hybrid) carry the measured impl + cross-ref the flagship. >1B/s framed honestly as N-node aggregation, never single-GPU. All compile.
84 lines
2.6 KiB
TeX
84 lines
2.6 KiB
TeX
\documentclass[11pt,a4paper]{article}
|
|
\usepackage{../shared/luxcover}
|
|
\usepackage[utf8]{inputenc}
|
|
\usepackage[T1]{fontenc}
|
|
\usepackage{amsmath,amssymb,amsfonts,amsthm}
|
|
\usepackage{graphicx}
|
|
\usepackage{hyperref}
|
|
\usepackage{booktabs}
|
|
\usepackage{listings}
|
|
\input{../shared/lstlang}
|
|
\usepackage{xcolor}
|
|
\usepackage{enumitem}
|
|
\usepackage{float}
|
|
\usepackage{multirow}
|
|
|
|
\newtheorem{theorem}{Theorem}
|
|
\newtheorem{definition}{Definition}
|
|
\newtheorem{remark}{Remark}
|
|
|
|
\lstset{
|
|
basicstyle=\small\ttfamily,
|
|
keywordstyle=\color{blue}\bfseries,
|
|
commentstyle=\color{gray},
|
|
stringstyle=\color{red},
|
|
breaklines=true,
|
|
frame=single,
|
|
numbers=left,
|
|
numberstyle=\tiny\color{gray}
|
|
}
|
|
|
|
\hypersetup{
|
|
colorlinks=true,
|
|
linkcolor=blue,
|
|
citecolor=blue,
|
|
urlcolor=blue
|
|
}
|
|
|
|
\title{Engineering EVM Precompiles\\for Cryptographic Primitives}
|
|
\author{
|
|
Zach Kelling \\
|
|
Lux Industries, Inc.\thanks{Corresponding author: [email protected]}\\
|
|
\texttt{[email protected]}
|
|
}
|
|
\date{2025}
|
|
|
|
\begin{document}
|
|
|
|
\luxcoverpage
|
|
|
|
\begin{abstract}
|
|
An EVM precompile is a native function callable from Solidity at a designated address,
|
|
executing outside the EVM interpreter at near-native speed. Precompiles enable
|
|
cryptographic operations that would be prohibitively expensive in EVM bytecode. This paper
|
|
teaches the engineering of precompiles from first principles: the EVM precompile interface,
|
|
address space conventions, input/output ABI design, gas cost modeling based on empirical
|
|
benchmarks, determinism requirements, error handling, and testing methodology. We present
|
|
all 20 precompiles deployed on Lux Network's C-Chain, covering BLS12-381, BN254, batch
|
|
secp256k1, post-quantum signatures (ML-DSA, FALCON), FHE operations, Warp message
|
|
verification, and NTT. For each precompile, we provide the Go implementation, gas cost
|
|
analysis, security considerations, and Solidity interface contract. This is a complete
|
|
guide for blockchain engineers adding native cryptographic capabilities to EVM-compatible
|
|
chains.
|
|
\end{abstract}
|
|
|
|
\tableofcontents
|
|
\newpage
|
|
|
|
%% ============================================================
|
|
|
|
\input{sections/01-what-is-a-precompile}
|
|
\input{sections/02-the-precompile-interface}
|
|
\input{sections/03-input-output-abi}
|
|
\input{sections/04-gas-cost-modeling}
|
|
\input{sections/05-determinism-requirements}
|
|
\input{sections/06-error-handling}
|
|
\input{sections/07-the-20-precompiles}
|
|
\input{sections/08-testing-methodology}
|
|
\input{sections/09-security-considerations}
|
|
\input{sections/10-solidity-interface-contracts}
|
|
\input{sections/11-dex-adapter-precompile}
|
|
\input{sections/99-conclusion}
|
|
|
|
\end{document}
|