mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +00:00
zeekay
ced35b03ed
Quasar Horizon (consensus composition over Pulsar / ML-DSA / BLS lanes
under Prism + LSS lifecycle), Warp 2.0 (Pulse-backed cross-chain envelope
with forward-only v1->v2 migration and lattigo ReadUint64Slice DoS fix),
benchmark report (microbench, reshare, activation, Warp 2.0 verify, Prism
composition, GPU headroom, cross-WAN latency), and NIST IR 8214C-style
submission package (spec, parameter sets, domain separation, serialization,
reference-impl pointers, evaluation report, security analysis, side-channel
considerations).
All four deliverables compile cleanly via pdflatex+bibtex and reference
the canonical proof bucket files at proofs/{definitions,pulsar,lss,quasar}.
No duplication of proof bodies; cite by file path.
197 lines
7.1 KiB
BibTeX
197 lines
7.1 KiB
BibTeX
@inproceedings{gelashvili2022blockstm,
|
|
author = {Rati Gelashvili and Alexander Spiegelman and Zhuolun Xiang
|
|
and George Danezis and Zekun Li and Dahlia Malkhi
|
|
and Yu Xia and Runtian Zhou},
|
|
title = {{Block-STM}: Scaling Blockchain Execution by Turning Ordering
|
|
Curse to a Performance Blessing},
|
|
booktitle = {Proceedings of the 28th ACM SIGPLAN Annual Symposium on
|
|
Principles and Practice of Parallel Programming (PPoPP)},
|
|
year = {2023},
|
|
note = {Originally arXiv:2203.06871, 2022},
|
|
url = {https://arxiv.org/abs/2203.06871}
|
|
}
|
|
|
|
@inproceedings{dice2006tl2,
|
|
author = {Dave Dice and Ori Shalev and Nir Shavit},
|
|
title = {Transactional Locking {II}},
|
|
booktitle = {Proceedings of the 20th International Symposium on Distributed
|
|
Computing (DISC)},
|
|
year = {2006},
|
|
pages = {194--208},
|
|
publisher = {Springer},
|
|
series = {Lecture Notes in Computer Science},
|
|
volume = {4167}
|
|
}
|
|
|
|
@inproceedings{yu2016tictoc,
|
|
author = {Xiangyao Yu and Andrew Pavlo and Daniel Sanchez
|
|
and Srinivas Devadas},
|
|
title = {{TicToc}: Time Traveling Optimistic Concurrency Control},
|
|
booktitle = {Proceedings of the 2016 ACM SIGMOD International Conference
|
|
on Management of Data},
|
|
year = {2016},
|
|
pages = {1629--1642},
|
|
doi = {10.1145/2882903.2882935}
|
|
}
|
|
|
|
@inproceedings{cederman2010,
|
|
author = {Daniel Cederman and Anders Gidenstam and Phuong Ha
|
|
and H{\aa}kan Sundell and Marina Papatriantafilou
|
|
and Philippas Tsigas},
|
|
title = {Lock-Free Concurrent Data Structures and Transactional Memory
|
|
for Many-Core Architectures},
|
|
booktitle = {Proceedings of the 2010 IEEE International Symposium on
|
|
Parallel \& Distributed Processing, Workshops and PhD Forum
|
|
(IPDPSW)},
|
|
year = {2010}
|
|
}
|
|
|
|
@inproceedings{holey2014,
|
|
author = {Anup Holey and Antonia Zhai},
|
|
title = {Lightweight Software Transactions on {GPUs}},
|
|
booktitle = {Proceedings of the 43rd International Conference on Parallel
|
|
Processing (ICPP)},
|
|
year = {2014},
|
|
pages = {461--470},
|
|
doi = {10.1109/ICPP.2014.55}
|
|
}
|
|
|
|
@inproceedings{lu2020aria,
|
|
author = {Yi Lu and Xiangyao Yu and Lei Cao and Samuel Madden},
|
|
title = {{Aria}: A Fast and Practical Deterministic {OLTP} Database},
|
|
booktitle = {Proceedings of the VLDB Endowment},
|
|
year = {2020},
|
|
volume = {13},
|
|
number = {12},
|
|
pages = {2047--2060}
|
|
}
|
|
|
|
@techreport{adya2000essn,
|
|
author = {Atul Adya and Barbara Liskov and Patrick O'Neil},
|
|
title = {Generalized Isolation Level Definitions},
|
|
institution = {MIT Laboratory for Computer Science},
|
|
year = {2000},
|
|
note = {Foundational treatment of MVSG-based serializability;
|
|
ESSN safe-net later derived in subsequent literature.}
|
|
}
|
|
|
|
@techreport{quasar2025,
|
|
author = {Zach Kelling},
|
|
title = {{LP-105}: {Quasar Consensus} --- Chain Separation for
|
|
Threshold Cryptography and {QuasarCert} Soundness},
|
|
institution = {Lux Industries},
|
|
year = {2025},
|
|
note = {Lux research paper, December 2025 spec freeze.}
|
|
}
|
|
|
|
@techreport{lp132-quasarexec,
|
|
author = {Lux Core Team},
|
|
title = {{LP-132}: {QuasarGPU} Execution Adapter},
|
|
institution = {Lux Industries},
|
|
year = {2025},
|
|
note = {GPU-native execution adapter for Quasar-certified rounds:
|
|
wave-tick scheduler, device-resident rings, EVM fibers,
|
|
MVCC Block-STM, async cold-state, per-lane cert
|
|
verification.}
|
|
}
|
|
|
|
@techreport{lp010-quasarstm,
|
|
author = {Lux Core Team},
|
|
title = {{LP-010}: {Block-STM 3.0} --- {QuasarSTM}},
|
|
institution = {Lux Industries},
|
|
year = {2025},
|
|
note = {Living LP. Adaptive-evolution roadmap (3.1, 3.2, 4.0)
|
|
referenced as research, out of scope for 3.0 spec.}
|
|
}
|
|
|
|
@inproceedings{aft2025conflictspec,
|
|
author = {AFT 2025 Authors},
|
|
title = {Conflict Specifications for Block Transactional Memory},
|
|
booktitle = {Advances in Financial Technologies (AFT)},
|
|
year = {2025},
|
|
note = {Declared access information accelerates Block-STM via
|
|
ConflictSpec ABI; oracle-driven scheduling with
|
|
Block-STM as fallback.}
|
|
}
|
|
|
|
@misc{nemo2025,
|
|
author = {NEMO Authors},
|
|
title = {{NEMO}: Lane-Class Execution for High-Skew Blockchain
|
|
Workloads},
|
|
year = {2025},
|
|
howpublished = {Manuscript},
|
|
note = {Owned / shared / hot-shared / commutative lane class
|
|
separation; owned-objects fast path + shared-objects
|
|
validated path.}
|
|
}
|
|
|
|
@misc{rapidlane2025,
|
|
author = {RapidLane Authors},
|
|
title = {{RapidLane}: Deferred-Object Execution for Contended
|
|
Blockchain Workloads},
|
|
year = {2025},
|
|
howpublished = {Manuscript},
|
|
note = {${\sim}12{\times}$ throughput improvement on contended
|
|
workloads via deferred conflicting computation.}
|
|
}
|
|
|
|
@misc{foresight2025,
|
|
author = {ForeSight Authors},
|
|
title = {{ForeSight}: Predictive Scheduling for Deterministic
|
|
{OLTP}},
|
|
year = {2025},
|
|
howpublished = {Manuscript},
|
|
note = {Conflict prediction, multiversion optimisation, and
|
|
light reordering before execution; avoids blind
|
|
execute-then-abort.}
|
|
}
|
|
|
|
@misc{chiron2025,
|
|
author = {Chiron Authors},
|
|
title = {{Chiron}: Execution Hints for Catch-Up Acceleration},
|
|
year = {2025},
|
|
howpublished = {Manuscript},
|
|
note = {Up to 30\% speedup on catch-up paths via execution
|
|
hint roots; safety does not depend on hints.}
|
|
}
|
|
|
|
@misc{multiverse2026,
|
|
author = {Multiverse Authors},
|
|
title = {{Multiverse}: Dynamic Versioning for Mixed-Contention
|
|
Workloads},
|
|
year = {2025},
|
|
howpublished = {Manuscript},
|
|
note = {Always-on multiversioning is expensive; mix versioned
|
|
and unversioned transactions to keep the common case
|
|
fast.}
|
|
}
|
|
|
|
@inproceedings{csmv,
|
|
author = {CSMV Authors},
|
|
title = {{CSMV}: Collaborative Multi-Version {STM} on {GPUs}},
|
|
booktitle = {GPU Computing and Applications},
|
|
year = {2024},
|
|
note = {GPU client/server commit separation; collaborative
|
|
on-chip metadata.}
|
|
}
|
|
|
|
@inproceedings{motor2024,
|
|
author = {Motor Authors},
|
|
title = {{Motor}: One-{RDMA-Round-Trip} {MVCC} on Disaggregated
|
|
Memory},
|
|
booktitle = {Proceedings of the USENIX Symposium on Operating Systems
|
|
Design and Implementation (OSDI)},
|
|
year = {2024},
|
|
note = {VersionBlock layout: consecutive tuples for likely-visible
|
|
read in one RDMA trip.}
|
|
}
|
|
|
|
@misc{vmvcc,
|
|
author = {vMVCC Authors},
|
|
title = {{vMVCC}: Machine-Checked {MVCC} Linearisation},
|
|
year = {2024},
|
|
howpublished = {Manuscript},
|
|
note = {Formally verified MVCC reference; subtle linearisation
|
|
corner cases.}
|
|
}
|