Manuscript Psy04-A@1 · Psy04-A-v1.tex · proposition · d5800e2a

Proposition: Early-query and side-channel counterexamples

The admitted delayed-query experiment › The late query is essential · lines 353–370 · proof included or linked

Psy04-A@1#prop:loopholes

Back to manuscript

The bound need not hold if the storage or access boundary is changed. In particular:

  1. if is known before encoding, one classical bit can store and succeed with probability one;

  2. if a one-bit carrier stores and an uncounted accessible register stores , success is one;

  3. an unrestricted exact-valued classical state can store the entire input and succeed with probability one.

Proof. Use the indicated stored value at decoding.

Nearby in this section