Files
papers/lp-221-stark-fri-verifier/biblio.bib
zeekay d43bd27971 docs(papers): ZAP stack + cert profile modes + pitch decks (LP-186..300)
Companion LaTeX papers to luxfi/LPs:
- lp-200-zap-stack: full ZAP-as-substrate paper (10-layer model, deco-
  mplected concerns, performance).
- lp-200-lux-vs-avalanche-diff: code-translation appendix.
- lp-203-gpu-native-verify, lp-205-pipelined-quasar, lp-208-dag-mempool,
  lp-209-mysticeti-ordering, lp-210-block-stm, lp-211-cross-shard-atomic,
  lp-217-cert-profile-modes, lp-218-zap-p3q-pq-rollup,
  lp-220-p3q-corona-magnetar, lp-221-stark-fri-verifier,
  lp-300-schema-registry.

Pitch / outreach decks (luxcover.sty templated):
- blackrock-nahmii-pitch, corporate-dao-stack-analysis,
  nahmii-patent-acquisition, pq-patent-family-future-infringers,
  lux-substrate-platform-pitch, w3a-foundation-membership,
  multi-validator-scale, vfs-archive-cost-study.

Edits aligning to LP-217 / LP-200:
- lp-020-quasar-consensus 02-system-model + 08-performance.
- lp-073-pulsar 11-quasar.
- lp-103-omnichain-explorer 03-chain-support.
- lp-104-graph-engine.
- lp-201-zap-universal-wire/wire-inventory.csv.
- lp-306-lx-social-dex sections/02.
- lux-adoption-roadmap, lux-chain-architecture,
  lux-consensus-engines/08-composition, lux-crypto-agility,
  lux-evm-precompile-engineering/02, lux-fhe-smart-contracts/05,
  lux-quasar-composition/04+06+10, lux-reproducible-builds.
- INDEX.md cross-links the new papers.
2026-06-10 22:35:37 -07:00

122 lines
3.4 KiB
BibTeX

@misc{fips202,
author = {{NIST}},
title = {{FIPS 202}: {SHA-3} Standard: Permutation-Based Hash and Extendable-Output Functions},
year = {2015},
month = aug,
note = {\url{https://csrc.nist.gov/pubs/fips/202/final}}
}
@misc{sp800185,
author = {{NIST}},
title = {{SP 800-185}: {SHA-3} Derived Functions: {cSHAKE}, {KMAC}, {TupleHash}, and {ParallelHash}},
year = {2016},
month = dec,
note = {\url{https://csrc.nist.gov/pubs/sp/800/185/final}}
}
@misc{fips204,
author = {{NIST}},
title = {{FIPS 204}: Module-Lattice-Based Digital Signature Standard ({ML-DSA})},
year = {2024},
note = {\url{https://csrc.nist.gov/pubs/fips/204/final}}
}
@misc{fips205,
author = {{NIST}},
title = {{FIPS 205}: Stateless Hash-Based Digital Signature Standard ({SLH-DSA})},
year = {2024},
note = {\url{https://csrc.nist.gov/pubs/fips/205/final}}
}
@misc{starkeprint,
author = {Eli Ben-Sasson and Iddo Bentov and Yinon Horesh and Michael Riabzev},
title = {Scalable, transparent, and post-quantum secure computational integrity},
year = {2018},
note = {IACR ePrint 2018/046. \url{https://eprint.iacr.org/2018/046}}
}
@inproceedings{frieprint,
author = {Eli Ben-Sasson and Iddo Bentov and Yinon Horesh and Michael Riabzev},
title = {Fast {Reed-Solomon} Interactive Oracle Proofs of Proximity},
booktitle = {45th International Colloquium on Automata, Languages, and Programming ({ICALP} 2018)},
year = {2018},
pages = {14:1--14:17},
publisher = {Schloss Dagstuhl}
}
@misc{plonky3,
author = {{Polygon Zero / Plonky3 contributors}},
title = {{Plonky3}: A toolkit for implementing polynomial-IOP-based zkSNARKs},
year = {2024},
note = {\url{https://github.com/Plonky3/Plonky3}}
}
@misc{goldilocks,
author = {Daniel Lubarov and Brendan Farmer and others},
title = {The {Goldilocks} 64-bit prime field for {STARK} provers},
year = {2022},
note = {Polygon Zero technical note; $p = 2^{64} - 2^{32} + 1$}
}
@misc{hanzocrypto,
author = {{Hanzo AI}},
title = {Hanzo Crypto Suite},
year = {2026},
note = {Section 5.2: P3Q canonical definition (``Post-Quantum Pulsar Proof''); Section B.11: STARK / P3Q rename rationale}
}
@misc{lp078,
author = {{Lux Industries}},
title = {LP-078: {EVM} Precompile Suite},
year = {2026}
}
@misc{lp120,
author = {{Lux Industries}},
title = {LP-0120: Quasar Mainnet Defaults (Precompile Slot Registry)},
year = {2026}
}
@misc{lp203,
author = {{Lux Industries}},
title = {LP-203: {GPU}-Native Verify on {Grace Blackwell}},
year = {2026}
}
@misc{lp204,
author = {{Lux Industries}},
title = {LP-204: Network of Blockchains},
year = {2026}
}
@misc{lp217,
author = {{Lux Industries}},
title = {LP-217: Cert Profile Modes},
year = {2026}
}
@misc{lp218,
author = {{Lux Industries}},
title = {LP-218: {ZAP}-Native PQ Rollups via P3Q},
year = {2026}
}
@misc{lp220,
author = {{Lux Industries}},
title = {LP-220: P3Q Corona + Magnetar Kinds},
year = {2026}
}
@misc{lp300,
author = {{Lux Industries}},
title = {LP-300: The Lux Schema Registry},
year = {2026}
}
@misc{starkfrirepo,
author = {{Lux Industries}},
title = {STARK-FRI verifier precompile reference implementation},
year = {2026},
note = {\texttt{lux/precompile/starkfri/}; 22 tests passing under \texttt{go test -race -count=1 -v ./...} (measured 2026-06-04 on darwin/arm64, 1.376s)}
}