In progress · In co-author review
Paper 8 — Convergent Quantum Primitives
Composability, Correctness Bounds, and Adversarial Models in Distributed Verification
Robert Stillwell and Abel Gutu (LedgerWell Corporation)
Abstract
This paper studies the convergence of multiple quantum primitives operating jointly in distributed verification systems. We address the composability question: when several quantum primitives — entangled-source attestation, quantum-secured channels, distributed quantum-randomness beacons — are combined into a single verification stack, what correctness guarantees survive composition, and which fail? We characterise the adversarial models under which composed primitives degrade and offer design rules for verification stacks that preserve provable bounds end-to-end.
Research questions this paper addresses
- Under which adversarial models do composed quantum primitives preserve their individual correctness bounds?
- What composition rules must verification stacks satisfy to retain end-to-end provable guarantees?
- Where does the convergence of classical and quantum primitives create new failure modes that neither has alone?
- How does this framework support multi-jurisdictional verification interoperability?