Proof obligation · P-PRIV
Transcribed bound: KLPR2022 Lemma 4 Eq. (6) and Eq. (11) (bound P-S2/priv).
s_money_kent_2022_realistic · 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
- S2
- Anchor
- —
- Source file
- proofs/OBLIGATIONS.yaml
Source and theorem
Transcribed bound: KLPR2022 Lemma 4 Eq. (6) and Eq. (11) (bound P-S2/priv). Outstanding obligation: statistical test of issuer location-inference advantage under the defined privacy game.
Citations
Record
Every field of the source record, in file order.
- Protocolprotocol
s_money_kent_2022_realistic
- Gamegame
S2
- Sourcesource
KLPR2022
- Assumptionsassumptions
- As P-S2 Table 6 C-F (reporting strategy leaks nothing about W, z); Alice honest.
- Finite n or asymptoticfinite_n_or_asymptotic
exact (Lemma 4)
- Parametersparameters
beta_E: bias of Alice's bit z M: log2 number of presentation points
- Quantifier over adversariesquantifier_over_adversaries
any strategy of Bob before Alice's presentation, under Table 6 C-F
- Mathematical boundmathematical_bound
Pr[Bob guesses b] <= 2^-M + eps_priv^M
- Numerical methodnumerical_method
closed form
- Verification scriptverification_script
qmint/proofs/finite_size.py (P-S2/priv); empirical privacy-game test pending
- Independent crosscheckindependent_crosscheck
qmint/proofs/checker.py
- Caveatscaveats
- Privacy has NO theorem for W1, W1_CV, S1 (ideal; prose only), D1 (MAC hides merchant; no epsilon stated), A1, C1: the evaluator returns UNSUPPORTED with value None, never 0.
- Statusstatus
UNSUPPORTED