Manuscript Hawk01-A@1 · Hawk01-A.tex · section · 11979653

Trusted preparation

Physical message, complete attempts, and the access boundary › Trusted preparation · lines 581–598

Hawk01-A@1#eq:squareensemble

Let $A$ be a two-dimensional internal code carried by a normalized ingoing test-body or field preparation. The labels $x = (x_{1}, x_{2}) \in {0, 1}^{2}$ are uniformly sampled, and

ρ_{x}^{A} = \frac{1}{2} [I + \frac{( - 1 ) ^{x_{1}} σ _{x} + ( - 1 ) ^{x_{2}} σ _{z}}{2}] .

These are pure states. The preparation is a trusted input interface: the decoder does not receive a second copy, a preparation label, or a message-dependent classical side channel.

Displayed formulas in this passage

Hawk01-A@1#eq:squareensemble · line 586
$ρ_{x}^{A} = \frac{1}{2} [I + \frac{( - 1 ) ^{x_{1}} σ _{x} + ( - 1 ) ^{x_{2}} σ _{z}}{2}] .$

Nearby in this section

assumption: Assumption: Degenerate physical code and leakage audit
section: Trusted preparation