Proof obligation · P-S3
Spacetime/locality invariant of KLPR2022 Tables 1-3 (stage I in the intersection of the causal pasts of all Q_i; valida…
s_money_kent_2022_ideal_2site · A. Kent, D. Lowndes, D. Pitalua-Garcia, J. Rarity. Practical quantum tokens without quantum memories and experimental tests. npj Quantum Information 8, 28 (2022). doi:10.1038/s41534-022-00524-4
- Status
- UNSUPPORTEDNo theorem or evidence supports this obligation yet.
- Game
- S1
- Anchor
- —
- Source file
- proofs/OBLIGATIONS.yaml
Source and theorem
Spacetime/locality invariant of KLPR2022 Tables 1-3 (stage I in the intersection of the causal pasts of all Q_i; validation at Q_b without cross-checking). Not an epsilon bound.
Citations
Record
Every field of the source record, in file order.
- Protocolprotocol
s_money_kent_2022_ideal_2site
- Gamegame
S1
- Sourcesource
KLPR2022
- Assumptionsassumptions
- Secure synchronisation to a common frame (paper Discussion p.9)
- Agents' classical channels secure and authenticated
- Finite n or asymptoticfinite_n_or_asymptotic
n/a (causal-order property)
- Quantifier over adversariesquantifier_over_adversaries
n/a
- Mathematical boundmathematical_bound
none (invariant over simulated event DAGs)
- Numerical methodnumerical_method
property test of causal event ordering
- Verification scriptverification_script
pending lane G (qmint/networks)
- Independent crosscheckindependent_crosscheck
pending
- Caveatscaveats
- Security of the token schemes does not rely on spacetime constraints (paper Discussion); the invariant is required only for the instant-validation advantage.
- Statusstatus
UNSUPPORTED