mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
29e0a40c37
Opens the #9-style consensus-wire follow-up for custody: proxy block/vertex carries DepositAck + WithdrawCommit so validators apply identical credit/debit deterministically (no per-validator divergence); replay protection (consumed-UTXO ∩ seen:<txID>, state-root-committed); activation height H with strict pre-/post-H gating; conservation gate I=A+L+F+E. Design spec only. 14pp, builds.
55 lines
1.0 KiB
BibTeX
55 lines
1.0 KiB
BibTeX
@misc{gray1978,
|
|
author = {Jim Gray},
|
|
title = {Notes on Database Operating Systems},
|
|
year = {1978},
|
|
note = {IBM Research RJ2188; the original two-phase-commit treatment}
|
|
}
|
|
|
|
@misc{lp201,
|
|
author = {{Lux Industries}},
|
|
title = {LP-201: ZAP Universal Wire},
|
|
year = {2026}
|
|
}
|
|
|
|
@misc{lp208,
|
|
author = {{Lux Industries}},
|
|
title = {LP-208: DAG Mempool},
|
|
year = {2026}
|
|
}
|
|
|
|
@misc{lp210,
|
|
author = {{Lux Industries}},
|
|
title = {LP-210: Block-STM Optimistic Parallel Execution},
|
|
year = {2026}
|
|
}
|
|
|
|
@misc{lp211,
|
|
author = {{Lux Industries}},
|
|
title = {LP-211: Cross-Shard Atomic Polaris Cert},
|
|
year = {2026}
|
|
}
|
|
|
|
@misc{lp217,
|
|
author = {{Lux Industries}},
|
|
title = {LP-217: Cert Profile Modes},
|
|
year = {2026}
|
|
}
|
|
|
|
@misc{lp218,
|
|
author = {{Lux Industries}},
|
|
title = {LP-218: ZAP P3Q Post-Quantum Rollup},
|
|
year = {2026}
|
|
}
|
|
|
|
@misc{lp219,
|
|
author = {{Lux Industries}},
|
|
title = {LP-219: P3Q Framework},
|
|
year = {2026}
|
|
}
|
|
|
|
@misc{lp221,
|
|
author = {{Lux Industries}},
|
|
title = {LP-221: STARK-FRI Verifier},
|
|
year = {2026}
|
|
}
|