Research
The scientific foundations of the Lux stack. Every paper is open-access, open-source, and reproducible — consensus, cryptography, AI, DeFi, and formal proofs across Lux, Hanzo, and Zoo.
Consensus
Byzantine-fault-tolerant consensus protocols, metastable sampling, and physics-inspired finality.
Post-Quantum Cryptography
NIST-standardized lattice cryptography, hybrid certificates, and quantum-secure asset custody.
Threshold / MPC
Multi-party computation for custody, omnichain signing, and distributed key generation.
FHE / Privacy
Fully homomorphic encryption, encrypted execution environments, and privacy-preserving compute.
Bridge & Interop
Trustless cross-chain asset transfer, light-client verification, and omnichain messaging.
DeFi & Exchange
On-chain trading infrastructure, market making, lending, and derivatives.
Securities & ATS
Regulated digital securities, transfer agent operations, and compliance architecture.
EVM & Execution
Custom precompiles, GPU-accelerated execution, formal VM analysis.
Networking & ZAP
Zero-allocation protocols, secure messaging, and photon-speed transport.
Security & Formal Verification
Symbolic execution, model checking, and Lean4 proofs for core protocols.
AI Infrastructure
LLM gateways, agent frameworks, multimodal models, and AI-native inference.
DeSci & Conservation
Decentralized science, federated wildlife research, and open coordination protocols.
Read the source, run the proofs
Every repo is public. Every PDF rebuilds from LaTeX. Every proof checks in Lean4, TLA+, or Tamarin.