mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +00:00
zeekayandHanzo Dev
4c59727726
Design + specification (draft) for collapsing a Lux validator's three
endpoints -- 9630 HTTP-RPC, 9631 Avalanche staking-P2P, 9632 ZAP-RPC --
onto one UDP port carrying QUIC over ZAP, end-to-end post-quantum.
Scope: transport only. Snowman++/Avalanche message set and BFT logic
unchanged byte-for-byte; consensus rides QUIC streams. TCP 9631 stays
as the negotiated, proven fallback until a devnet A/B test proves
byte-identical finality.
Composition over invention -- reuses (all proven/live in tree):
- luxfi/zap QUIC transport + X25519MLKEM768 (IANA 0x11EC) TLS 1.3
- SPEC-ZAP-PQ-v1 ("Z-Wing", LP-9702) hybrid ML-DSA-65 handshake
- luxd's ML-DSA-65 NodeID scheme + PQHandshake
- node2 leaderless BLS vote-mesh + ZAP frame codec
New (labelled [design]): channel-bound ML-DSA identity on QUIC (closes
the shipped transport's unauthenticated-NodeID gap via an RFC-5705
exporter binding), three-class stream demux, luxd Upgrader/EndpointDialer
wiring, capability negotiation for mixed fleets, per-network DNS scheme
(<NN>.lux[-test|-dev].network) + local-fiber join, A/B acceptance
methodology, and an f<n/3 transport-transparency argument.
16 pages, builds clean via repo Makefile (pdflatex; bibtex; pdflatex^2).
Co-authored-by: Hanzo Dev <[email protected]>
192 lines
5.6 KiB
BibTeX
192 lines
5.6 KiB
BibTeX
@misc{rfc9000,
|
|
author = {J. Iyengar and M. Thomson},
|
|
title = {{QUIC}: A {UDP}-Based Multiplexed and Secure Transport},
|
|
howpublished = {RFC 9000, IETF},
|
|
year = {2021},
|
|
doi = {10.17487/RFC9000}
|
|
}
|
|
|
|
@misc{rfc9001,
|
|
author = {M. Thomson and S. Turner},
|
|
title = {Using {TLS} to Secure {QUIC}},
|
|
howpublished = {RFC 9001, IETF},
|
|
year = {2021},
|
|
doi = {10.17487/RFC9001}
|
|
}
|
|
|
|
@misc{rfc8446,
|
|
author = {E. Rescorla},
|
|
title = {The Transport Layer Security ({TLS}) Protocol Version 1.3},
|
|
howpublished = {RFC 8446, IETF},
|
|
year = {2018},
|
|
doi = {10.17487/RFC8446}
|
|
}
|
|
|
|
@misc{rfc5705,
|
|
author = {E. Rescorla},
|
|
title = {Keying Material Exporters for Transport Layer Security ({TLS})},
|
|
howpublished = {RFC 5705, IETF},
|
|
year = {2010},
|
|
doi = {10.17487/RFC5705}
|
|
}
|
|
|
|
@misc{rfc9147,
|
|
author = {E. Rescorla and H. Tschofenig and N. Modadugu},
|
|
title = {The Datagram Transport Layer Security ({DTLS}) Protocol Version 1.3},
|
|
howpublished = {RFC 9147, IETF},
|
|
year = {2022}
|
|
}
|
|
|
|
@misc{fips203,
|
|
author = {{National Institute of Standards and Technology}},
|
|
title = {Module-Lattice-Based Key-Encapsulation Mechanism Standard},
|
|
howpublished = {FIPS 203},
|
|
year = {2024},
|
|
doi = {10.6028/NIST.FIPS.203}
|
|
}
|
|
|
|
@misc{fips204,
|
|
author = {{National Institute of Standards and Technology}},
|
|
title = {Module-Lattice-Based Digital Signature Standard},
|
|
howpublished = {FIPS 204},
|
|
year = {2024},
|
|
doi = {10.6028/NIST.FIPS.204}
|
|
}
|
|
|
|
@misc{fips205,
|
|
author = {{National Institute of Standards and Technology}},
|
|
title = {Stateless Hash-Based Digital Signature Standard},
|
|
howpublished = {FIPS 205},
|
|
year = {2024},
|
|
doi = {10.6028/NIST.FIPS.205}
|
|
}
|
|
|
|
@misc{xwing,
|
|
author = {M. Barbosa and D. Connolly and J. Duarte and A. Kaiser and P. Schwabe and K. Varner and B. Westerbaan},
|
|
title = {{X-Wing}: The Hybrid {KEM} You've Been Looking For},
|
|
howpublished = {IACR ePrint 2024/039},
|
|
year = {2024},
|
|
url = {https://eprint.iacr.org/2024/039}
|
|
}
|
|
|
|
@misc{draft-ietf-tls-hybrid,
|
|
author = {D. Stebila and S. Fluhrer and S. Gueron},
|
|
title = {Hybrid Key Exchange in {TLS} 1.3},
|
|
howpublished = {IETF Internet-Draft draft-ietf-tls-hybrid-design},
|
|
year = {2024}
|
|
}
|
|
|
|
@misc{draft-kwiatkowski-mlkem,
|
|
author = {K. Kwiatkowski and P. Kampanakis and B. Westerbaan and D. Stebila},
|
|
title = {{X25519MLKEM768} Post-Quantum Key Agreement for {TLS} 1.3},
|
|
howpublished = {IETF Internet-Draft; IANA NamedGroup 0x11EC},
|
|
year = {2024}
|
|
}
|
|
|
|
@inproceedings{ghp2018combiners,
|
|
author = {F. Giacon and F. Heuer and B. Poettering},
|
|
title = {{KEM} Combiners},
|
|
booktitle = {Public-Key Cryptography (PKC 2018)},
|
|
series = {LNCS 10769},
|
|
pages = {190--218},
|
|
year = {2018},
|
|
publisher = {Springer}
|
|
}
|
|
|
|
@article{bindel2019hybrid,
|
|
author = {N. Bindel and J. Brendel and M. Fischlin and B. Goncalves and D. Stebila},
|
|
title = {Hybrid Key Encapsulation Mechanisms and Authenticated Key Exchange},
|
|
journal = {Post-Quantum Cryptography (PQCrypto 2019), LNCS 11505},
|
|
pages = {206--226},
|
|
year = {2019}
|
|
}
|
|
|
|
@misc{avalanche2020,
|
|
author = {{Team Rocket} and M. Yin and K. Sekniqi and R. van Renesse and E. G{\"u}n Sirer},
|
|
title = {Scalable and Probabilistic Leaderless {BFT} Consensus through Metastability},
|
|
howpublished = {arXiv:1906.08936},
|
|
year = {2020}
|
|
}
|
|
|
|
@inproceedings{snowman2024,
|
|
author = {S. Buttolph and A. Moin and K. Sekniqi and others},
|
|
title = {Frosty: Bringing strong liveness guarantees to the {Snow} family of consensus protocols},
|
|
booktitle = {arXiv:2404.14250},
|
|
year = {2024}
|
|
}
|
|
|
|
@inproceedings{hotstuff2019,
|
|
author = {M. Yin and D. Malkhi and M. K. Reiter and G. Golan-Gueta and I. Abraham},
|
|
title = {{HotStuff}: {BFT} Consensus with Linearity and Responsiveness},
|
|
booktitle = {ACM PODC},
|
|
year = {2019}
|
|
}
|
|
|
|
@article{dwork1988consensus,
|
|
author = {C. Dwork and N. Lynch and L. Stockmeyer},
|
|
title = {Consensus in the Presence of Partial Synchrony},
|
|
journal = {Journal of the ACM},
|
|
volume = {35},
|
|
number = {2},
|
|
pages = {288--323},
|
|
year = {1988}
|
|
}
|
|
|
|
@inproceedings{boneh2001bls,
|
|
author = {D. Boneh and B. Lynn and H. Shacham},
|
|
title = {Short Signatures from the {Weil} Pairing},
|
|
booktitle = {ASIACRYPT},
|
|
series = {LNCS 2248},
|
|
year = {2001}
|
|
}
|
|
|
|
@misc{langley2015quic,
|
|
author = {A. Langley and others},
|
|
title = {The {QUIC} Transport Protocol: Design and Internet-Scale Deployment},
|
|
howpublished = {ACM SIGCOMM},
|
|
year = {2017}
|
|
}
|
|
|
|
@book{katz2014introduction,
|
|
author = {J. Katz and Y. Lindell},
|
|
title = {Introduction to Modern Cryptography},
|
|
edition = {2nd},
|
|
publisher = {CRC Press},
|
|
year = {2014}
|
|
}
|
|
|
|
@misc{lp200zapstack,
|
|
author = {{Lux Industries, Inc.}},
|
|
title = {{LP-200}: The Lux {ZAP} Stack --- A Decomplected Ten-Layer Blockchain Architecture},
|
|
howpublished = {Lux Proposal LP-200},
|
|
year = {2026}
|
|
}
|
|
|
|
@misc{lp201universalwire,
|
|
author = {{Lux Industries, Inc.}},
|
|
title = {{LP-201}: The {ZAP} Universal Wire Format},
|
|
howpublished = {Lux Proposal LP-201},
|
|
year = {2026}
|
|
}
|
|
|
|
@misc{lp020quasar,
|
|
author = {{Lux Industries, Inc.}},
|
|
title = {{LP-020}: Quasar Consensus},
|
|
howpublished = {Lux Proposal LP-020},
|
|
year = {2026}
|
|
}
|
|
|
|
@misc{lp9702zwing,
|
|
author = {{Lux Industries, Inc.}},
|
|
title = {{LP-9702}: {Z-Wing} --- A Hybrid Post-Quantum Secure Channel},
|
|
howpublished = {Lux Proposal LP-9702},
|
|
year = {2026}
|
|
}
|
|
|
|
@misc{speczappqv1,
|
|
author = {{Lux Industries, Inc.}},
|
|
title = {{SPEC-ZAP-PQ-v1}: Native Post-Quantum Handshake and {AEAD} Framing for {ZAP}},
|
|
howpublished = {\texttt{github.com/luxfi/zap/handshake}},
|
|
year = {2026}
|
|
}
|